В солидности,Обработка исключений это очень важно,Потому что это помогает разработчикам гарантировать, что смарт-контракт работает должным образом.,и возможность корректно завершить выполнение в случае ошибки. Solidity предоставляет несколько способов обработки ошибок.,включатьrequire
、assert
и Пользовательское сообщение об ошибке(проходитьerror
заявление)。Функции этих ключевых слов объяснены ниже.ииспользоватьсцена:
require
require
Используется для проверки истинности определенного условия.,Если условия не выполнены,затем откатывает текущую транзакцию и выдает исключение。Обычно используется для проверки того, соответствуют ли параметры функции или переменные состояния требованиям контракта.。require
Выполняется в начале вызова функции,Если условие не выполнено,Последующий код не будет выполнен.
Пример:
function deposit(uint256 amount) public payable {
require(msg.value == amount, "Deposit amount mismatch");
// Дальше логика...
}
assert
assert
Также используется для проверки истинности определенного условия.,Но в основном он используется для внутренних ошибок,То есть ошибки, которые теоретически не должны возникать。когдаassert
при неудаче,Транзакция также будет отменена.,Но сrequire
Разница в том,,Он не возвращает вызывающей стороне полезную информацию об ошибках. поэтому,assert
В основном используется для целей отладки,Убедитесь, что программа работает должным образом.
Пример:
uint256 total = _balances[msg.sender] + amount;
assert(total >= amount); // Всегда должно быть истинно, если не переполнено
_balances[msg.sender] = total;
error
)Из Solidity версия 0.8.0,ты можешь использоватьerror
заявление Приходитьопределение Пользовательское сообщение об Деньги. Это позволяет вам устанавливать определенные коды ошибок в смарт-контракте, что упрощает понимание и обработку этих ошибок внешними абонентами.
Пример:
error InsufficientBalance(uint256 required, uint256 available);
function withdraw(uint256 amount) public {
uint256 balance = _balances[msg.sender];
if (balance < amount) revert InsufficientBalance({required: amount, available: balance});
// Дальше логика...
}
В этом примере,Если баланс пользователя недостаточен,Будет вызвана пользовательская ошибкаInsufficientBalance
。Таким образом, внешние абоненты могутпроходитьпоймать эту ошибку Приходить Получите больше контекстной информации。
require
чтобы проверить, действителен ли ввод, предоставленный вызывающим абонентом;assert
обнаруживать невозможные ситуации в логике программы;error
Приходить Пользовательское сообщение об Нужен для упрощения отладки и обработки ошибок.