Solidity 0.8升级探索

Solidity 0.8升级探索

如何将你的合约升级到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

SafeMath Meme

没错，你不需要再导入 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。