Solidity语言详解——view和pure函数的使用区别

Solidity 语言有两类和状态读写有关的函数类型，一类是 view 函数（也称为视图函数），另一类是 pure 函数（也称为纯函数）。他们的区别是 view 函数不修改状态，pure 函数即不修改状态也不读取状态。

view 函数

可以将函数声明为 view 函数类型，这种情况下函数保证不修改状态。

如果编译器的 EVM 目标是拜占庭或更新的(默认)，则在调用 view 函数时使用操作码 STATICCALL，这将强制状态在执行EVM时保持不变。对于库 view 函数使用了 DELEGATECALL，因为没有组合 DELEGATECALL 和STATICCALL。这意味着库 view 函数没有防止状态修改的运行时检查。这应该不会对安全性产生负面影响，因为库代码通常在编译时已知，而静态检查器执行编译时检查。

下面的语句被认为是在修改状态：

1. 修改状态变量；
2. 触发事件；
3. 创建其他合约；
4. 使用 selfdestruct；
5. 通过调用发送以太币；
6. 调用任何未标记 view 或 pure 的函数；
7. 使用低级调用；
8. 使用包含某些操作码的内联汇编。

// SPDX-License-Identifier: GPL-3.0
pragma solidity >=0.5.0 =0.5.0