如何使用 require、assert 和 revert 處理錯誤檢查？

了解 Solidity 中的錯誤處理機制

在區塊鏈開發領域，特別是在以太坊生態系統中，編寫安全可靠的智能合約至關重要。確保合同完整性的核心方面之一涉及正確的錯誤處理。 Solidity 提供了幾個內置函數來管理錯誤： require 、 revert和assert 。每個都有不同的目的，並在特定情況下使用，以保持邏輯正確性並防止意外行為。

使用 require 進行輸入和條件驗證

require語句主要用於在執行關鍵操作之前驗證輸入、外部條件或狀態要求。它確保滿足某些先決條件，例如足夠的餘額、正確的發件人角色或有效的時間戳。如果 require 語句內的條件計算結果為 false，則事務將被還原，並且執行期間所做的任何更改都將被撤消。重要的是，要求將未使用的天然氣退還給調用者，從而有效地驗證用戶輸入。

1. 使用 require 檢查函數參數，例如地址或數值。
2. 通過確認 msg.sender 具有適當的角色來驗證訪問控制。
3. 確保滿足基於時間的條件，例如根據截止日期檢查 block.timestamp。
4. 在轉移資產之前確認代幣配額或餘額。
5. 在 require 語句中包含描述性字符串以闡明失敗的原因。

利用恢復進行自定義錯誤處理

與 require 相比， revert提供了對錯誤消息和條件更精細的控制。雖然 require 在條件失敗時自動恢復，但恢復允許開發人員在代碼中的任何點使用可選的自定義錯誤消息觸發恢復。從 Solidity 0.8.4 開始，開發人員可以使用error關鍵字定義自定義錯誤類型，這比字符串消息更有效地編碼錯誤，從而節省了 Gas 費用。

1. 使用 error 關鍵字定義自定義錯誤，以減少恢復時的 Gas 成本。
2. 當複雜邏輯確定無效狀態時顯式調用 revert。
3. 為了清楚起見，請使用 InvalidAddress() 或 InsufficientFunds(uint) 等結構化錯誤類型。
4. 在檢測到需求未涵蓋的意外邊緣情況後觸發恢復。
5. 將 revert 與修飾符結合起來，跨多個函數集中驗證邏輯。

應用斷言進行內部不變檢查

斷言保留用於檢查內部不變量——如果代碼正確實現，這些條件永遠不應該為假。如果觸發，則表明合約中存在錯誤。與 require 不同，assert 在失敗時會消耗所有剩餘的 Gas，並且只能用於檢測不可恢復的錯誤，例如算術溢出（Solidity 0.8 之前的版本）或存儲數據中的意外更改。使用較新版本的 Solidity，許多算術問題都會自動處理，從而減少了手動斷言的需要。

1. 使用斷言來驗證變量的值在計算後是否仍在預期範圍內。
2. 檢查關鍵存儲變量在執行過程中沒有被損壞。
3. 使用assert(false) 確認無法訪問的代碼路徑確實無法訪問。
4. 避免使用斷言進行輸入驗證或外部條件——它是為了內部一致性。
5. 了解斷言失敗表示需要代碼修復的嚴重錯誤，而不是用戶更正。

常見問題解答

當 require 失敗時，gas 會發生什麼？當 require 語句失敗時，事務將被還原，並且所有狀態更改都將回滾。未使用的天然氣將返回給調用者，從而最大限度地降低提交無效輸入的用戶的成本。

我可以在 require 中使用自定義錯誤嗎？不，require 只接受布爾條件和可選字符串消息。要使用通過 error 關鍵字定義的自定義錯誤類型，您必須使用 revert。

Solidity 0.8+ 中斷言還需要嗎？由於 Solidity 0.8 及更高版本中的自動溢出檢查，它的使用量已經減少。但是，它對於驗證指示編程錯誤的自定義不變量或意外邏輯狀態仍然很有用。

為什麼選擇恢復而不是要求？當您需要在決定中止執行之前執行複雜的評估或利用自定義錯誤以獲得更好的可讀性和更低的 Gas 成本時，請選擇恢復。它提供的靈活性超出了 require 提供的簡單條件檢查的範圍。