Solidity 语言有两类和状态读写有关的函数类型,一类是 view 函数(也称为视图函数),另一类是 pure 函数(也称为纯函数)。他们的区别是 view 函数不修改状态,pure 函数即不修改状态也不读取状态。
view 函数可以将函数声明为 view
函数类型,这种情况下函数保证不修改状态。
如果编译器的 EVM 目标是拜占庭或更新的(默认),则在调用 view
函数时使用操作码 STATICCALL
,这将强制状态在执行EVM时保持不变。对于库 view
函数使用了 DELEGATECALL
,因为没有组合 DELEGATECALL
和STATICCALL
。这意味着库 view
函数没有防止状态修改的运行时检查。这应该不会对安全性产生负面影响,因为库代码通常在编译时已知,而静态检查器执行编译时检查。
下面的语句被认为是在修改状态:
- 修改状态变量;
- 触发事件;
- 创建其他合约;
- 使用
selfdestruct
; - 通过调用发送以太币;
- 调用任何未标记
view
或pure
的函数; - 使用低级调用;
- 使用包含某些操作码的内联汇编。
// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0 =0.5.0
关注
打赏