如何使用 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 提供的简单条件检查的范围。