如何将你的合约升级到Solidity 0.8?
我们离 Solidity 1.0 的发布越来越近了(当然除非 0.9 之后是 0.10)。Solidity0.8
[4]
在0.7 发布
[5]
之后仅 5 个月就发布了!
登链社区正在同步翻译 Solidity 0.8 的文档 [6]
今天我们就来探讨一下如何把合约迁移升级到 0.8 版本... ...
0.8 新功能和如何使用
我们来看看两个大的新功能:集成的 SafeMath 和新的错误处理。
1. 集成 SafeMath
没错,你不需要再导入 Openzeppelin SafeMath
[7]
了。最重要的是,你不需要做任何事情就可以激活 Solidity 集成的 SafeMath。只要写上
a+b
,就会在溢出时自动回退交易。
你可能会在 Remix 等工具中看到如下错误提示,因为 0.8 还没有完全支持。比如溢出还没有给出确切的原因。
transact to Solidity08.test errored: VM error: revert. revert
但这种情况在未来应该会有所改变。
如果你确实就希望代码能够溢出呢?还是非常在意 Gas 费了?
则通过
unchecked
形式包装语句来停用 SafeMath:
contract Solidity08 {
function test() external pure returns(uint256) {
// 默认使用 SafeMath ,此时会回退
uint256 x = 0;
x--;
return x;
}
}
contract Solidity08 {
function test() external pure returns(uint256) {
// 不使用SafeMath,返回 type(uint256).max
uint256 x = 0;
unchecked { x--; }
return x;
}
}
2. 无效的操作码被还原取代
到目前为止,某些操作会导致
INVALID
操作码的执行。这个操作码的问题是,它消耗掉所有剩余的 Gas。这显然是不好的且没必要。为什么要浪费 Gas,把它捐给矿工?
更多细节,在这里
[8]
查看
revert
和
assert
的区别。
现在 Solidity 使用
revert
操作码。为了区分常规 revert 和系统内部错误(panic),Solidity 在返回数据前加上一个标识符:
-
常规 Revert 错误 以
keccak256(Error(string))
的前四个字节开始,等于0x08c379a0
。 -
**系统内部错误(Panic)**以
keccak256(Panic(uint256))
的前四个字节开始,等于0x4e487b71
。
Panic 有一个额外的错误标识。目前可用的 Panic 有:
-
0x01 : 使用
asset
; -
0x11 : SafeMath 的溢出。
-
0x12 : 除以 0。
-
0x21 : 转换为不存在的枚举类型。
-
0x22 : 存储字节数组编码错误。
-
0x31 : 在一个空数组上
pop()
。 -
0x32 : 索引超长度异常。
-
0x41 : 分配过多的内存或创建过大的数组。
-
0x51 : 调用未初始化的内部函数类型的变量。
更多细节请参见文档中新的错误处理部分这里 [9] 。
如何迁移到 Solidity 0.8
在大多数情况下,迁移应该是非常直接的。只有在一些情况下,你做奇怪的类型转换可能会变得更加困难。
你必须为迁移做出的改变包括:
-
ABIEncoderV2
现在是默认自动激活。从 0.6 开始,Encoder 就不再是实验性的了,只是因为遗留的原因,保留了pragma experimental
这个名字。现在你不需要再加这行了。 -
移除任何 Openzeppelin SafeMath,你不再需要它了。
-
可能需要进行一些类型转换。
-
msg.sender
和tx.origin
默认不属于 payable 类型。将msg.sender.transfer
改为payable(msg.sender).transfer
。 -
只有在符合给定类型的情况下,才允许类型转换,所以
uint256(-1)
将不再工作。使用type(uint256).max
代替。 -
当多次改变符号时,类型转换在某些情况下会受到限制,因为类型转换的顺序可能会对结果产生影响。你现在会看到一个类似 TypeError 的错误。不允许从
int256
到bytes32
进行显示的类型转换,得先手动转换为 uint256。 -
修饰组合
-
myContract.functionCall{gas: 10000}{value: 1 ether }()
改为: -
myContract.functionCall{gas: 10000, value: 1 ether }()
。 -
将
x**y**z
改为(x**y)**z
,因为默认的执行顺序改变了。 -
将
byte
类型改为byte1
。
我省略了一些细节,关于完整的变更日志和所有变更的细节,请查看文档这里 [10] 。
来源:https://soliditydeveloper.com/solidity-0.8
参考资料
[1]
登链翻译计划: https://github.com/lbc-team/Pioneer
[2]
翻译小组: https://learnblockchain.cn/people/412
[3]
Tiny 熊: https://learnblockchain.cn/people/15
[4]
Solidity0.8: https://blog.soliditylang.org/2020/12/16/solidity-v0.8.0-release-announcement/
[5]
0.7发布: https://blog.soliditylang.org/2020/07/28/solidity-v0.7.0-release-announcement/
[6]
Solidity 0.8 的文档: https://learnblockchain.cn/docs/solidity/
[7]
SafeMath: https://github.com/OpenZeppelin/openzeppelin-contracts/blob/master/contracts/math/SafeMath.sol
[8]
这里: https://medium.com/blockchannel/the-use-of-revert-assert-and-require-in-solidity-and-the-new-revert-opcode-in-the-evm-1a3a7990e06e
[9]
这里: https://docs.soliditylang.org/en/latest/control-structures.html#panic-via-assert-and-error-via-require
[10]
这里: https://docs.soliditylang.org/en/latest/080-breaking-changes.html
[11]
Cell Network: https://www.cellnetwork.io/?utm_souce=learnblockchain
-
译文出自:登链翻译计划 [1]
-
译者:翻译小组 [2]
-
校对:Tiny 熊 [3]