错误处理(3种):
assert(bool condition):不满足条件,将抛出异常
assert(msg.sender == owner);
require(bool condition):不满足条件,将抛出异常
require(bool condition, string message):如果条件不满足则撤销状态更改 - 用于检查由输入或者外部组件引起的错误,可以同时提供一个错误消息。
require(msg.sender == owner);
revert() 抛出异常
revert(string reason):终止运行并撤销状态更改,可以同时提供一个解释性的字符串。
if(msg.sender != owner) { revert(); }
1.条件检查
Solidity提供了assert和require来进行
- require: require函数来检查输入变量或合约状态变量是否满足条件以及验证调用外部合约返回值。可以有返回值require(condition, 'Something bad happened');
- assert: assert函数通常用来检查(测试)内部错误
注:同样作为判断一个条件是否满足的函数,require会退回剩下的gas,而assert会消耗所有的gas。
2.触发异常
Solidity提供了revert,throw来触发异常:
- throw:关键字抛出异常(从0.4.13版本,throw关键字已被弃用,将来会被淘汰。)回滚所有状态改变,返回”无效操作代码错误”,而且消耗掉剩下的gas
- revert:函数可以用来标记错误并回退当前调用,允许返回一个数值,将剩余gas返还调用者
3.如何选择
require()函数用于:
(1).确认有效条件,例如输入,
(2).确认合约声明变量是一致的
(3).从调用到外部合约返回有效值
revert()函数用于 :
处理与 require() 同样的类型,但是需要更复杂处理逻辑的场景
如果有复杂的 if/else 逻辑流,那么应该考虑使用 revert() 函数而不是require()。
assert()函数用于:预防本不该发生的事情,如果发生就意味着合约中存在需要修复的bug(比如assert(1 > 2))。一般地,尽量少使用 assert 调用,一般assert 应该在函数结尾处使用