Solidity 中 revert(), assert() 和 require()

函数assert和require可以用于检查条件，如果条件不满足则抛出异常。

assert()：

函数只能用于测试内部错误，检查不变量，正常的函数代码永远不会产生Panic, 甚至是基于一个无效的外部输入时。如果发生了，那就说明出现了一个需要你修复的 bug。如果使用得当，语言分析工具可以识别出那些会导致 Panic 的 assert 条件和函数调用。

想象为一个过于自信的实现方式，即使有错误，也会执行并扣除 gas。

下列情况将会产生一个Panic异常：提供的错误码编号，用来指示Panic的类型。

0x01: 如果你调用 assert 的参数（表达式）结果为 false 。
0x11: 在``unchecked { … }``外，如果算术运算结果向上或向下溢出。
0x12; 如果你用零当除数做除法或模运算（例如 5 / 0 或 23 % 0 ）。
0x21: 如果你将一个太大的数或负数值转换为一个枚举类型。
0x22: 如果你访问一个没有正确编码的存储byte数组.
0x31: 如果在空数组上 .pop() 。
0x32: 如果你访问 bytesN 数组（或切片）的索引太大或为负数。(例如： x[i] 而 i >= x.length或 i < 0).
0x41: 如果你分配了太多的内内存或创建了太大的数组。
0x51: 如果你调用了零初始化内部函数类型变量。

require()：

想象为一个更有礼貌些的实现方式，会发现错误，不扣除 gas。

函数要么创建一个 Error(string) 类型的错误，或者没有错误数据的错误并且 require函数应该用于确认条件有效性，例如输入变量，或合约状态变量是否满足条件，或验证外部合约调用返回的值。

下列情况将会产生一个 Error(string) （或没有数据）的错误：

如果你调用 require 的参数（表达式）最终结果为 false 。
如果你在不包含代码的合约上执行外部函数调用。
如果你通过合约接收以太币，而又没有 payable 修饰符的公有函数（包括构造函数和 fallback 函数）。
如果你的合约通过公有 getter 函数接收 Ether 。

在下面的情况下，来自外部调用的错误数据（如果提供的话）被转发，这意味可能 Error 或 Panic 都有可能触发。

如果 .transfer() 失败。
如果你通过消息调用调用某个函数，但该函数没有正确结束（例如, 它耗尽了 gas，没有匹配函数，或者本身抛出一个异常），不包括使用低级别 call ， send ， delegatecall ， callcode或 staticcall 的函数调用。低级操作不会抛出异常，而通过返回 false 来指示失败。
如果你使用 new 关键字创建合约，但合约创建没有正确结束。

可以给 require 提供一个消息字符串，而 assert 不行。在下例中，你可以看到如何轻松使用``require`` 检查输入条件以及如何使用 assert 检查内部错误.

revert()：

revert 函数是另一个可以在代码块中处理异常的方法, 可以用来标记错误并回退当前的调用。revert 调用中还可以包含有关错误信息的参数，这个信息会被返回给调用者，并且产生一个 Error(string) 错误。

https://blog.csdn.net/tianlongtc/article/details/80261757

https://learnblockchain.cn/docs/solidity/control-structures.html#assert-require-revert

Solidity 中 revert(), assert() 和 require()相关推荐

Solidity 中 revert(), assert() 和 require() 的使用方法
转载自:https://ethfans.org/posts/when-to-use-revert-assert-and-require-in-solidity Solidity 0.4.10 版本发布 ...
Solidity 中的对数计算
背景在进行 solidity 开发时,某些场景可能需要进行对数的计算.对数计算虽然在通用编程领域已经有成熟的解决方案(几乎所有编程语言都有相关的内置库或者第三方库来实现).但是在 solidity ...
c++ 数组引用_在 Solidity中使用值数组以降低 gas 消耗
背景我们Datona Labs在开发和测试Solidity数据访问合约(S-DAC:Smart-Data-Access-Contract)模板过程中,经常需要使用只有很小数值的小数组(数组元素个数少 ...
C++中#error/assert/static_assert的区别及使用
C++ 语言支持可帮助您调试应用程序的三个错误处理机制:#error 指令.static_assert 关键字和 assert (CRT) 宏.所有的三种机制都会发出错误消息. #error可看做预编 ...
使用编译器——Solidity中文文档（8）
写在前面:HiBlock区块链社区成立了翻译小组,翻译区块链相关的技术文档及资料,本文为Solidity文档翻译的第八部分<使用编译器>,特发布出来邀请solidity爱好者.开发者做公开 ...
java中的assert
Java陷阱之assert关键字一.概述在C和C++语言中都有assert关键,表示断言. 在Java中,同样也有assert关键字,表示断言,用法和含义都差不多. 二.语法在Java中,ass ...
已知bug列表——Solidity中文文档（12）
写在前面:HiBlock区块链社区成立了翻译小组,翻译区块链相关的技术文档及资料,本文为Solidity文档翻译的第十二部分<已知bug列表>,特发布出来邀请solidity爱好者.开发者 ...
Ruby中的require_relative和require有什么区别？
本文翻译自:What is the difference between require_relative and require in Ruby? Ruby中的require_relative和re ...
junit4 assert类中的assert方法总结
junit中的assert方法全部放在Assert类中,总结一下junit类中assert方法的分类. 1.assertTrue/False([String message,]boolean cond ...

Solidity 中 revert(), assert() 和 require()

Solidity 中 revert(), assert() 和 require()相关推荐

最新文章

热门文章