如何處理堅固的錯誤？ （需要，恢復，斷言）

了解牢固處理錯誤

Solidity是以太坊智能合約的主要編程語言，為錯誤處理提供了多種機制。這些機制對於確保在發生意外或無效的情況時可以預測，安全地行事至關重要。 require ， revert和assert可用於實體性錯誤處理的主要工具。這些功能中的每一個都具有不同的目的，應根據情況適當使用。

使用require輸入驗證

require函數主要用於在執行函數的核心邏輯之前驗證輸入和條件。如果提供的條件require評估為false ，則將恢復交易，並且對狀態進行的任何更改都會回滾。此外， require允許開發人員提供自定義錯誤消息。

例子：

 function transfer(address to, uint amount) public { require(amount > 0, 'Amount must be greater than zero'); require(balance[msg.sender] >= amount, 'Insufficient balance'); balance[msg.sender] -= amount; balance[to] += amount;

}

在此示例中， require確保發件人具有足夠的餘額，並且要轉移的金額是有效的。如果兩種條件失敗，則交易將帶有明確的錯誤消息恢復。

採用自定義錯誤條件的revert

通過允許開發人員在函數內的任何時刻恢復執行， revert功能的靈活性比require更大的靈活性。當處理複雜的邏輯或多種條件時，單個require語句可能無法輕易處理，這一點特別有用。

例子：

 function withdraw(uint amount) public { if (amount > balance[msg.sender]) { revert('Insufficient funds for withdrawal'); } if (block.timestamp < lockTime[msg.sender]) { revert('Funds are locked until a later time'); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);

}

在這種情況下，還使用revert處理兩個不同的條件，這些條件可以防止退出。每個條件分別評估，並在情況失敗時返回一條特定的消息。

利用assert進行內部錯誤檢測

assert功能旨在檢查不變性和在正常情況下永遠不會發生的內部錯誤。與require和revert不同，使用assert會消耗觸發時交易中提供的所有氣體。因此，應該保留在懷疑關鍵錯誤的情況下。

例子：

 function calculateSum(uint a, uint b) internal pure returns (uint) { uint sum = a + b; assert(sum >= a); return sum;

}

在此功能中， assert確保加法操作不會導致底流或溢出。如果發生這樣的異常，則交易會恢復，表明代碼中有潛在的錯誤。

require ， revert和assert之間的差異

了解require ， revert和assert之間的區別對於有效地處理堅固的錯誤至關重要：

• 氣體消耗： require和revert僅消耗氣體到錯誤點，而assert會消耗所有提供的氣體。
• 用例：最適require輸入驗證， revert自定義條件，並assert內部邏輯檢查。
• 錯誤消息： require和revert允許自定義錯誤消息； assert沒有提供一種返回舊版本的固體（0.8.0之前）中的自定義消息的方法。

選擇適當的錯誤處理方法可確保您的智能合約既安全又有效。

堅固的自定義錯誤

從實體0.8.0開始，開發人員可以定義自定義錯誤類型，這些類型比基於字符串的錯誤消息更具氣體和可讀性。自定義錯誤是使用error關鍵字定義的，可以與revert結合使用。

例子：

 error InsufficientBalance(uint requested, uint available); error FundsLocked(uint releaseTime, uint currentTime);函數提取（UINT金額）public {



if (amount > balance[msg.sender]) { revert InsufficientBalance(amount, balance[msg.sender]); } if (block.timestamp < lockTime[msg.sender]) { revert FundsLocked(lockTime[msg.sender], block.timestamp); } balance[msg.sender] -= amount; payable(msg.sender).transfer(amount);
 }

通過使用自定義錯誤，開發人員可以提供結構化的錯誤信息，這些信息既易於理解，既易於理解又有效。

常見問題

問：我可以使用assert進行輸入驗證嗎？答：不， assert不應用於輸入驗證。它是為內部檢查而設計的，僅應用於檢測無法到達的代碼或關鍵錯誤。

問：與字符串消息相比，自定義錯誤如何保存氣體？答：自定義錯誤被編碼為四字節選擇器，類似於功能簽名，它們比完整的字符串消息短得多。當觸發錯誤時，這會導致氣體成本較低。

問：如果我不處理合同中的錯誤會發生什麼？答：如果錯誤無法正確處理，則無效或意外情況可能會導致狀態變化，資金損失或攻擊者可能利用的漏洞。

問：我可以在相同的功能中結合require並revert嗎？答：是的， require和revert可以在相同的功能中一起使用。 require用於簡單條件檢查，而revert用於更複雜或以後的有條件恢復。