基本概念

在 Solidity 中，错误处理和控制报错是智能合约开发中的关键部分。Solidity 提供了几种机制来控制错误和异常：

1. require：用于检查条件是否为真，如果条件为假，则会抛出异常并回滚交易。
2. assert：用于检查不应该为假的条件，用于捕捉代码中的严重错误。
3. revert：用于在特定条件下回滚交易，可以提供错误消息。
4. 自定义错误：从 Solidity 0.8.4 开始，引入了自定义错误类型，用于节省 Gas 并提供更加具体的错误信息。

require

require 语句用于确保条件为真，否则会抛出异常并回滚所有状态更改。通常用于输入参数验证和执行前检查。

function withdraw(uint amount) public {
    require(amount <= balance, "Insufficient balance");
    balance -= amount;
    payable(msg.sender).transfer(amount);
}

• 如果 amount 大于 balance，则交易会回滚并抛出 "Insufficient balance" 的错误信息。

assert

assert 语句用于检查内部错误和不变量。它主要用于验证代码逻辑的正确性。如果条件为假，则会抛出异常并回滚交易。

function transfer(address to, uint amount) public {
    balance[msg.sender] -= amount;
    balance[to] += amount;
    assert(balance[msg.sender] >= 0);
}

• 如果 balance[msg.sender] 小于 0，assert 会抛出异常，表示代码逻辑存在问题。

revert

revert 语句用于手动触发异常并回滚交易。可以带有错误消息。

function withdraw(uint amount) public {
    if (amount > balance) {
        revert("Insufficient balance");
    }
    balance -= amount;
    payable(msg.sender).transfer(amount);
}

• 如果 amount 大于 balance，revert 会回滚交易并抛出 "Insufficient balance" 的错误信息。

自定义错误

自定义错误类型在 Solidity 0.8.4 版本引入，用于提供更详细和节省 Gas 的错误信息。

// 声明自定义错误
error InsufficientBalance(uint requested, uint available);

contract Example {
    uint public balance = 100;

    function withdraw(uint amount) public {
        if (amount > balance) {
            revert InsufficientBalance({
                requested: amount,
                available: balance
            });
        }
        balance -= amount;
    }
}

• 如果 amount 大于 balance，会回滚交易并抛出 InsufficientBalance 错误，带有请求的金额和可用余额的详细信息。

比较

总结

在 Solidity 中，错误控制机制包括 require、assert、revert 以及自定义错误。这些机制提供了不同的方式来验证条件、捕捉错误和回滚交易。选择哪种机制取决于具体的应用场景和需要的错误信息详细程度。