Solidity 0.7.0 所涉及的更新的概述
2020年7月28日,Solidity编译器的次要版本升至0.7.0. 变更日志上包含32个修改要点。 在 Solidity 文档上也用了一整页介绍0.7.0的突破性更新。
因此值得花一些时间深入研究以下其中的变更内容,并思考这些更改在实践中如何影响Solidity智能合约代码。
下面,我将综合上面提到的变更日志和文档中的重大更新,重新陈述相关类型,尽量尝试澄清和做有益的补充,同时,我会尝试按变化程度进行分组排序。
外部函数调用和合约创建使用新语法。不再使用 contract.function.gas(1000).value(2 ether)(arg1,arg2)
,新语法是contract.function{gas:1000, value:2 ether}(arg1,arg2)
。对于使用过Web3.js的Soldity开发人员来说,应该不会感到陌生。
构造函数的可见性(public
/external
)现在被省略,因此不再需要指定。解析器现在将对此发出警告。为了防止合约部署,可以在合约上标记关键字abstract
(例如,abstract Contract {}
)。
不再允许使用全局变量now
,而推荐使用block.timestamp
。这已经是一段时间以来推荐的使用方法,因为它有助于避免now
一词产生的误导性(指的是区块时间而不是当前时间)。
现在禁止对非公共状态变量使用NatSpec注释。实际上,这意味着现有的隐式或显式@notice
NatSpec注释(例如/// 注释
或/// @notice 注释
)会转换为显式@dev
注释(例如/// @dev 注释
)或简单的行内注释(例如// 注释
)。
现在可以使用 gwei
关键字,因此gwei
不能再作为变量或函数名称。在0.6.x
版本中,gwei 即可用作面额*,还可以用作标识符,这会让人产生困惑,如下面不好的示例:
// 以前的行为
uint gwei = 5;
uint value = gwei * 1 gwei; // value: 5000000000
现在这样与gwei
造成的混淆,会触发编译器的解析错误提示。
与此相关的是,关键字finney
和szabo
已停用,因此,现在可以将其用作标识符。 (尽管建议不要立即使用它们,以免造成潜在的混乱。)
字符串常量包含非ASCII字符和各种转义序列内容时,会触发解析器错误。
现在,如果需要表达比ASCII更多的字符串文字应该显式以unicode
前缀标识(例如,unicode"Text, including emoji! 🤓"
)。
派生合约不再继承通过 using 声明的类型的库方法,(例如,using SafeMath for uint)。如果需要使用相应的库方法,需要在每个希望使用该类型的库的派生合约中重复进行声明。
相同继承层次结构中的事件不再允许使用相同的名称和参数类型。
使用var
关键字声明变量,用来隐式分配类型,已在多个版本中弃用了,现在完全禁止使用,只能使用显式声明类型的变量。
函数状态的可变性现在可以在继承后更加严格。因此,具有默认可变性的public函数可以被view函数或pure函数重写。如果被继承的函数被标记为view
,那么它可以被pure
函数重写。
// 现在的写法
contract Parent {
function show() public virtual returns(uint){
return 100;
}
}
contract Child is Parent {
function show() public pure override returns(uint){ // 可以用 pure 重写
return 25;
}
}
250 << x
或250 ** x
中,使用 x 的类型)。现在,将使用uint256
(用于非负常量)或int256
(用于负常量)来执行操作。// 之前
uint8 x = 2;
uint shift = 250 << x; // shift: 232
uint exp = 250 ** x; // exp: 36
// 现在
uint8 x = 2;
uint shift = 250 << x; // shift: 1000
uint exp = 250 ** x; // exp: 62500
注意之前如何将两个结果隐式转换为x
类型,即 uint8,因此会发生溢出。
现在,两个结果均为uint256
类型,因此在此案例中避免溢出。
不再允许有符号类型移位(例如,amount 为有符号类型,shiftThis >> amount
和 shiftThis << amount
)。以前,允许负移,但会在运行时回退。
解析器将不再建议对虚拟函数进行严格的可变性声明,但是推荐重载的函数使用。
库函数不能再标记为virtual
。因为库事实上是无法继承的,这实际上说的通。
内联汇编不再支持用.
( period )的用户定义标识符,除非在 Solidity Yul-only 模式下运行。
存储指针变量的插槽和偏移量现在可以使用点符号.
访问(例如stor.slot
和stor.offset
),而不再使用下划线_(例如stor_slot和stor_offset)。
- 禁止在标识符中使用
.
。- Yul:禁止EVM指令pc。
你可能想知道什么是pc
指令?如黄皮书中所定义,它应该:在与该指令相对应的增量之前获取程序计数器的值。
Solidity 0.7 还有一些不影响编码的修改和 Bug 的修复。
如你所见,Solidity 在往更加明确的语义前进。这对于智能合约的安全性是绝对有利,保持升级Solidity也是成为熟练的Soldity开发人员的重要组成部分。
如果你需要更新代码,可以看看突破性更新中提到的技巧,并推荐你使用solidity-upgrade工具。
本翻译由 Cell Network 赞助支持。
如果觉得我的文章对您有用,请随意打赏。你的支持将鼓励我继续创作!