solidity中assert()和require()的区别浅析


共同点

在看差别之前,我们先了解他们之间的共同点:

  • assert()require()语句都需要满足括号中的条件,才能进行下面的操作
  • 若不满足则抛出错误

以下三个语句的功能完全相同:

if(msg.sender != owner) { revert(); }

assert(msg.sender == owner);

require(msg.sender == owner);

差异化分析

gas效率

assert(false)编译为0xfe,这是一个无效的操作码,故将消耗掉所有剩余的gas,并恢复所有的操作

require(false)编译为0xfd,这是revert()的操作码,它将退还所有剩余的gas,同时可以返回一个值(自定义的报错信息)

字节码输出分析

require()函数应用于满足输入或合约状态变量等有效条件,或验证调用外部合约的返回值等,总之require()语句的失败报错应该被看作一个正常的判断语句流程不通过的事件,而assert()语句的失败报错,意味着发生了代码层面的错误事件,很大可能是合约中有一个bug需要修复。

故此,使用require()的情况有:

  • 验证用户输入,例如require(input_var>100);
  • 验证外部合约的调用结果,例如require(external.send(amount));
  • 在执行状态更改操作之前验证状态条件,例如require(block.number > 49999)require(balance[msg.sender]>=amount)

一般来说,使用require()的频率更多,通常应用于函数的开头

使用assert()的情况有:

  • 检查溢出(上溢出或者下溢出)
  • 检查不变量
  • 更改后验证状态
  • 预防永远不会发生的情况

一般来说,使用assert()的频率较少,通常用于函数的结尾

基本上,require()应该是您检查条件的功能,assert()只是为了防止发生任何非常糟糕的事情,但条件不应该等于为false.

另外,不能盲目的使用require()去检查溢出问题,只有在你认为之前的检查过程中(require()或if语句)不会产生溢出的情况下使用。


参考资料:

https://ethereum.stackexchange.com/questions/15166/difference-between-require-and-assert-and-the-difference-between-revert-and-thro


免责声明!

本站转载的文章为个人学习借鉴使用,本站对版权不负任何法律责任。如果侵犯了您的隐私权益,请联系本站邮箱yoyou2525@163.com删除。



 
粤ICP备18138465号  © 2018-2025 CODEPRJ.COM