solidity 异常处理

条件异常

Solidity 是通过回退状态的方式来处理异常错误。发生异常时会撤消当前调用及其所有子调用所改变的状态，同时给调用者返回一个错误标识。
常见的异常处理

• require:require 函数用来输入变量或合约状态变量是否满足条件以及验证调用外部合约返回值。可以有返回值 require(condition, ‘Something bad happened’);
• assert:assert 函数用来检查（测试）内部错误。
  同样作为判断一个条件是否满足的函数，require 会退回剩下的 gas，而 assert 会消耗所有的 gas。

pragma solidity ^0.8.0;

contract GuessChallenge {
    bool public flag;
    function setFlag() external {
        //判断调用者的发送地址 是否等于当前地址，成立则继续运行。
        require(msg.sender == address(this));
        flag = true;
    }

触发异常

提供了revert，throw 来触发异常：

• throw：关键字抛出异常（从 0.4.13 版本，throw关键字已被弃用），回滚所有状态改变，返回”无效操作代码错误”，而且消耗掉剩下的 gas；
• revert：函数可以用来标记错误并回退当前调用，允许返回一个数值，将剩余 gas 返还调用者。

传统处理异常的方式 if…throw 模式，即 if(msg.sender != owner) { throw; }

等价于：

• if(msg.sender != owner) { revert(); } // 如果不等则异常
• assert(msg.sender == owner); // 校验是否等于
• require(msg.sender == owner);

选择问题

require() 函数用于：

• 确认有效条件，例如输入；
• 确认合约声明变量是一致的；
• 从调用到外部合约返回有效值。

revert() 函数用于 :

• 处理与 require() 同样的类型，但是需要更复杂处理逻辑的场景；
• 如果有复杂的 if/else 逻辑流，那么应该考虑使用 revert() 函数而不是require()。

assert() 函数用于：

• 预防本不该发生的事情，如果发生就意味着合约中存在需要修复的bug（比如assert(1 > 2)）；
• 一般地，尽量少使用 assert 调用，一般assert 应该在函数结尾处使用。

try…catch

我们在当前合约发起对外部合约调用的话，如果外部合约调用执行失败被 revert，外部合约状态会被回滚，当前合约状态也会被回滚。

但有时候我们并不想这样，要是能够捕获外部合约调用异常，然后根据情况做自己的处理不是更好吗？所以，这种场景下适应于使用 try…catch 语句。