Solidity 异常处理

Question

Solidity 使用状态恢复异常来处理错误。 这种异常将撤销对当前调用（及其所有子调用）中的状态所做的所有更改，并且还向调用者标记错误。 方法 assert 和 require 可用于检查条件，并在条件不符合时抛出异常。

assert 方法只能用于测试内部错误，并检查常量。 应使用 require 方法来确保满足有效条件（例如输入或合约状态变量），或者验证从调用到外部合同的返回值。 如果使用得当，分析工具可以评估您的合约，以确定将达到失败 assert 的条件。 正确运行的代码不应该满足失败的 assert 语句; 如果发生这种情况，应该修复合约中的错误。

还有两种其他方式可以触发异常：revert 可用于标记错误并恢复当前的 call。 可以提供一个字符串消息，其中包含有关将传回给调用者的错误的详细信息。 不推荐使用关键字 throw。

异常一般会由子调用向上传递。但是 send 和底层调用 call、delegatecall、callcode 除外，它们只会返回 false（注意：如果被调用账户不存在，call、delegatecall 和 callcode 返回 true）。

revert 、assert 、 require 的不同

首先，为了更好理解，可以将 assert 想象为一个过分自信的坏蛋，他们窃取你所有的 gas。 然后设想 require 作为一种礼貌的管理者，他会调用你的错误，给你改过自新的机会。

1. revert 会有返回值，会退还剩余 gas，并回滚到调用前的状态。
2. assert 适合测试代码。
3. 字节码不同。assert 是 0xfe opcode，require 是 0xfd opcode。在开发过程中，会经常遇到 invalid opcode

error，这是因为没有定义该错误对应的字节码，这是 bug。

使用 require

• 校验用户输入：require(input<20);
• 校验外部合约调用返回值：require(external.send(amount));
• 最经常使用
• 在方法开头使用

使用 revert

• 适用于比 require 更复杂的逻辑。比如：很多的 if else 情况

使用 assert

• 校验上溢下溢：c = a+b; assert(c > b);
• 检验常量：assert(this.balance >= totalSupply);
• 消耗掉所有的 gas，防止或者惩罚恶意攻击
• 校验改动之后的结果
• 在方法末尾使用。确保一种可能却不发生