Solidity 教程系列11 - 视图函数、虚函数讲解


(tester) #1

视图函数(View Functions)

一个函数如果它不修改状态变量,应该声明为view函数,不过下面几种情况认为是修改了状态:

  • 写状态变量
  • 触发事件(events)
  • 创建其他的合约
  • call调用附加了以太币
  • 调用了任何没有view或pure修饰的函数
  • 使用了低级别的调用(low-level calls)
  • 使用了包含特定操作符的内联汇编
    看一个例子:
pragma solidity ^0.4.16;

contract C {
    uint public data = 0;

    function f(uint a, uint b) public view returns (uint) {
        return a * (b + 42) + now;
    }

    // 错误做法,虽然可以编译通过
    function df(uint a) public view  {
        data = a;
    }
}

有几个地方需要注意一下:

  1. 声明为view 和声明为constant是等价的,constant是view的别名,constant在计划Solidity 0.5.0版本之后会弃用(constant这个词有歧义,view 也更能表达返回值可视)。
  2. 访问函数都被标记为view。
    当前编译器并未强制要求声明为view,但建议大家对于不会修改状态的函数的标记为view。

纯函数(Pure Functions)

函数可以声明为view,表示它即不读取状态,也不修改状态,除了上一节介绍的几种修改状态的情况,以下几种情况被认为是读取了状态:

  1. 读状态变量
  2. 访问了 this.balance 或 \
  3. .balance
  4. 访问了block, tx, msg 的成员 (msg.sig 和 msg.data除外).
  5. 调用了任何没有pure修饰的函数
  6. 使用了包含特定操作符的内联汇编
    看一个例子:
pragma solidity ^0.4.16;

contract C {
    function f(uint a, uint b) public pure returns (uint) {
        return a * (b + 42);
    }
}

尽管view 和 pure 修饰符编译器并未强制要求使用,view 和 pure 修饰也不会带来gas 消耗的改变,但是更好的编码习惯让我们跟容易发现智能合约中的错误。

参考文献

官方文档-函数

作者:@xilibi2003