Solidity是通过回退状态的方式来处理异常错误(有点像事务回滚)。发生异常时会撤消当前调用(及其所有子调用)所改变的状态,同时给调用者返回一个错误标识。注意捕捉异常是不可能的,因此没有try catch。
1.条件检查
Solidity提供了assert
和require
来进行
* require
: require函数来检查输入变量或合约状态变量是否满足条件以及验证调用外部合约返回值。可以有返回值require(condition, 'Something bad happened');
* assert
: assert函数通常用来检查(测试)内部错误
注:同样作为判断一个条件是否满足的函数,require会退回剩下的gas,而assert会消耗所有的gas。
2.触发异常
提供了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);
3.如何选择
require()函数用于:
(1).确认有效条件,例如输入,
(2).确认合约声明变量是一致的
(3).从调用到外部合约返回有效值
revert()函数用于 :
处理与 require() 同样的类型,但是需要更复杂处理逻辑的场景
如果有复杂的 if/else 逻辑流,那么应该考虑使用 revert() 函数而不是require()。
assert()函数用于:预防本不该发生的事情,如果发生就意味着合约中存在需要修复的bug(比如assert(1 > 2))。一般地,尽量少使用 assert 调用,一般assert 应该在函数结尾处使用