這是Solidity教程系列文章第9篇介紹Solidity 錯誤處理。 Solidity系列完整的文章列表請查看分類-Solidity。
寫在前面
Solidity 是以太坊智能合約編程語言,閱讀本文前,你應該對以太坊、智能合約有所瞭解, 如果你還不瞭解,建議你先看以太坊是什麼
歡迎訂閱區塊鏈技術專欄閱讀更全面的分析文章。
什麼是錯誤處理
錯誤處理是指在程序發生錯誤時的處理方式,Solidity處理錯誤和我們常見的語言不一樣,Solidity是通過回退狀態的方式來處理錯誤。發生異常時會撤消當前調用(及其所有子調用)所改變的狀態,同時給調用者返回一個錯誤標識。注意捕捉異常是不可能的,因此沒有try ... catch...。
爲什麼Solidity處理錯誤要這樣設計呢? 我們可以把區塊鏈理解爲是全球共享的分佈式事務性數據庫。全球共享意味着參與這個網絡的每一個人都可以讀寫其中的記錄。如果想修改這個數據庫中的內容,就必須創建一個事務,事務意味着要做的修改(假如我們想同時修改兩個值)只能被完全的應用或者一點都沒有進行。 學習過數據庫的同學,應該理解事務的含義,如果你對事務一詞不是很理解,建議你搜索一下“數據庫事務“。 Solidity錯誤處理就是要保證每次調用都是事務性的。
如何處理
Solidity提供了兩個函數assert和require來進行條件檢查,如果條件不滿足則拋出異常。assert函數通常用來檢查(測試)內部錯誤,而require函數來檢查輸入變量或合同狀態變量是否滿足條件以及驗證調用外部合約返回值。 另外,如果我們正確使用assert,有一個Solidity分析工具就可以幫我們分析出智能合約中的錯誤,幫助我們發現合約中有邏輯錯誤的bug。
除了可以兩個函數assert和require來進行條件檢查,另外還有兩種方式來觸發異常:
- revert函數可以用來標記錯誤並回退當前調用
- 使用throw關鍵字拋出異常(從0.4.13版本,throw關鍵字已被棄用,將來會被淘汰。)
當子調用中發生異常時,異常會自動向上“冒泡”。 不過也有一些例外:send,和底層的函數調用call, delegatecall,callcode,當發生異常時,這些函數返回false。
注意:在一個不存在的地址上調用底層的函數call,delegatecall,callcode 也會返回成功,所以我們在進行調用時,應該總是優先進行函數存在性檢查。
在下面通過一個示例來說明如何使用require來檢查輸入條件,以及assert用於內部錯誤檢查:
pragma solidity ^0.4.0;
contract Sharer {
function sendHalf(address addr) public payable returns (uint balance) {
require(msg.value % 2 == 0); // 僅允許偶數
uint balanceBeforeTransfer = this.balance;
addr.transfer(msg.value / 2); // 如果失敗,會拋出異常,下面的代碼就不是執行
assert(this.balance == balanceBeforeTransfer - msg.value / 2);
return this.balance;
}
}
我們實際運行下,看看異常是如何發生的:
-
首先打開Remix,貼入代碼,點擊創建合約。如下圖:
-
運行測試1:附加1wei (奇數)去調用sendHalf,這時會發生異常,如下圖:
- 運行測試2:附加2wei 去調用sendHalf,運行正常。
- 運行測試3:附加2wei以及sendHalf參數爲當前合約本身,在轉賬是發生異常,因爲合約無法接收轉賬,錯誤提示上圖類似。
assert類型異常
在下述場景中自動產生assert類型的異常:
- 如果越界,或負的序號值訪問數組,如i >= x.length 或 i < 0時訪問x[i]
- 如果序號越界,或負的序號值時訪問一個定長的bytesN。
- 被除數爲0, 如5/0 或 23 % 0。
- 對一個二進制移動一個負的值。如:5<<i; i爲-1時。
- 整數進行可以顯式轉換爲枚舉時,如果將過大值,負值轉爲枚舉類型則拋出異常
- 如果調用未初始化內部函數類型的變量。
- 如果調用assert的參數爲false
require類型異常
在下述場景中自動產生require類型的異常:
- 調用throw
- 如果調用require的參數爲false
- 如果你通過消息調用一個函數,但在調用的過程中,並沒有正確結束(gas不足,沒有匹配到對應的函數,或被調用的函數出現異常)。底層操作如call,send,delegatecall或callcode除外,它們不會拋出異常,但它們會通過返回false來表示失敗。
- 如果在使用new創建一個新合約時出現第3條的原因沒有正常完成。
- 如果調用外部函數調用時,被調用的對象不包含代碼。
- 如果合約沒有payable修飾符的public的函數在接收以太幣時(包括構造函數,和回退函數)。
- 如果合約通過一個public的getter函數(public getter funciton)接收以太幣。
- 如果**.transfer()**執行失敗
當發生require類型的異常時,Solidity會執行一個回退操作(指令0xfd)。 當發生assert類型的異常時,Solidity會執行一個無效操作(指令0xfe)。 在上述的兩種情況下,EVM都會撤回所有的狀態改變。是因爲期望的結果沒有發生,就沒法繼續安全執行。必須保證交易的原子性(一致性,要麼全部執行,要麼一點改變都沒有,不能只改變一部分),所以需要撤銷所有操作,讓整個交易沒有任何影響。
注意assert類型的異常會消耗掉所有的gas, 而require從大都會版本(Metropolis, 即目前主網所在的版本)起不會消耗gas。
參考視頻
我們也推出了目前市面上最全的視頻教程:深入詳解以太坊智能合約語言Solidity 目前我們也在招募課程體驗師,可以點擊鏈接瞭解。
參考文獻
☛ 我的知識星球爲各位解答區塊鏈技術問題,歡迎加入討論。 ☛ 關注公衆號“深入淺出區塊鏈技術”第一時間獲取區塊鏈技術信息,系統學習區塊鏈,打造最好的區塊鏈技術文章。