Solidity 0.6.0 版本突破性变化

本节强调了 Solidity 0.6.0 版本中引入的主要突破性变化，以及这些变化背后的原因和如何更新受影响的代码。对于完整的列表，请查看版本更新日志。

编译器可能不会发出警告的变化

本节列出了一些变化，在这些变化中，您的代码的行为可能会发生变化，而编译器不会告诉您。

指数运算的结果类型是基数的类型。就像对称运算一样，它曾经是可以同时容纳基数类型和指数类型的最小类型。此外，指数化的基数允许是有符号的类型。

显性要求

这一节列出了代码现在需要更显式的更改，但是语义没有改变。对于大多数主题，编译器会提供建议。

现在，只有当函数被标记为 virtual 关键字或被定义在一个接口中时，才能被重载。在接口之外没有实现的函数必须被标记为 virtual。当重载一个函数或修改器时，必须使用新的关键字 override。当重载一个定义在多个并行基类的函数或修改器时，所有基必须在关键字后面的括号中列出，像这样： override(Base1, Base2)。
成员对数组的 length 的访问现在总是只读的，即使是存储数组。不再可能通过给存储数组的长度分配一个新值来调整其大小。使用 push()， push(value) 或 pop() 代替，或者分配一个完整的数组，当然这将覆盖现有内容。这背后的原因是为了防止巨大的存储阵列的存储碰撞。
新的关键字 abstract 可以用来标记合约为抽象的。如果一个合约没有实现它的所有功能，就必须使用这个关键字。抽象合约不能用 new 操作符创建，在编译过程中也不可能为其生成字节码。
库合约必须实现其所有功能，而不仅仅是内部功能。
在内联汇编中声明的变量名称不能再以 _slot 或 _offset 结尾。
内联汇编中的变量声明不能再影射内联汇编块外的任何声明。如果变量名称中包含一个点，那么它的前缀到点的部分不能与内联汇编块外的任何声明冲突。
在内联汇编中，不带参数的操作码现在表示为“内置函数”而不是独立标识符。所以 gas 现在是 gas()。
现在不允许影子状态变量。一个派生合约只能声明一个状态变量 x，如果在它的任何基类合约中都没有同名的可见状态变量。

语义和语法变化

这一部分列出了您必须修改您的代码，而之后它又做了一些别的事情的变化。

现在不允许从外部函数类型转换为 address 类型。相反，外部函数类型有一个叫做 address 的成员，类似于现有的 selector 成员。
动态存储数组的函数 push(value) 不再返回新的长度（它什么也不返回）。
通常被称为 "回退函数" 的无名函数被拆分为一个新的回退函数，该函数使用 fallback 关键字定义，并使用 receive 关键字定义一个接收以太的函数。
- 如果存在，每当调用数据为空时（无论是否收到以太），都会调用接收以太函数 receive。此函数是隐式的 payable。
- 当没有其他函数匹配时，就会调用新的回退函数（如果接收以太的函数receive不存在，则包括调用数据为空的调用）。您可以让这个函数是 payable 函数或不是。如果它不是 payable 函数，那么不匹配任何其他发送价值的函数的交易将恢复。只有在采用升级或代理模式时，才需要实现新的回退函数。

新功能

本节列出了在Solidity 0.6.0之前不可能实现或很难实现的事情。

try/catch语句允许您对失败的外部调用做出反应。
struct 和 enum 类型可以在文件级别声明。
数组切片可以用于calldata数组，例如 abi.decode(msg.data[4:], (uint, uint)) 是对函数调用有效负载进行解码的低级方法。
Natspec在开发者文档中支持多个返回参数，执行与 @param 相同的命名检查。
Yul 和内联汇编有一个新的语句，叫做 leave，可以退出当前函数。
现在可以通过 payable(x) 将 address 转换为 address payable，其中 x 必须是 address 类型。

接口变化

本节列出与语言本身无关但对编译器接口有影响的更改。这些可能会改变您在命令行上使用编译器的方式，例如，您如何使用它的可编程接口，或者您如何分析它产生的输出。

新的错误报告器

引入一个新的错误报告器，其目的是在命令行上产生更易访问的错误消息。它在默认情况下是启用的，但是通过 --old-reporter 可以返回到弃用的旧错误报告器。

元数据哈希选项

编译器现在默认将元数据文件的 IPFS 哈希值附加到字节码的末尾（详见合约元数据）文档。在0.6.0之前，编译器默认附加了 Swarm 哈希值，为了仍然支持这种行为，引入了新的命令行选项 --metadata-hash。它允许您通过传递 --metadata-hash 命令行选项的 ipfs 或 swarm 值来选择要产生和附加的哈希。传递 none 则可以完全删除哈希。

这些变化也可以通过标准JSON接口使用，并影响编译器生成的元数据JSON。

读取元数据的推荐方法是读取最后两个字节，以确定CBOR编码的长度，并对该数据块进行适当的解码，这在元数据部分中有所解释。

Yul 优化器

与传统的字节码优化器一起，Yul 优化器现在在用 --optimize 参数调用编译器时默认启用。可以通过 --no-optimize-yul 参数在调用编译器时禁用它。这主要影响到使用ABI coder v2的代码。

C API 变化

使用 libsolc 的C API的客户端代码现在可以控制编译器使用的内存。为了使这一变化保持一致， solidity_free 被重新命名为 solidity_reset，增加了函数 solidity_alloc 和 solidity_free， solidity_compile 现在返回一个必须通过 solidity_free() 显式释放的字符串。

如何更新您的代码

本节详细说明了如何为每一个突破性变化更新先前的代码。

将 address(f) 改为 f.address，因为 f 是外部函数类型。
用 receive() external payable { ... }， fallback() external [payable] { ... } 或这两个函数一起来替换 function () external [payable] { ... }。只要有可能，最好只使用 receive 函数。
将 uint length = array.push(value) 改为 array.push(value);。新的长度可以通过 array.length 访问。
将 array.length++ 改为 array.push() 来增加数组长度，使用 pop() 来减少存储数组的长度。
在一个函数的 @dev 文档中，为每个命名的返回参数定义一个 @return 条目，将参数的名称作为第一个词。例如，如果您有定义为 function f() public returns (uint value) 的函数 f()，并且有 @dev 注释，那么记录它的返回参数如下： @return value The return value.。您可以混合使用命名的和未命名的返回参数文档，只要这些声明是按照它们在元组返回类型中出现的顺序即可。
为内联汇编中的变量声明选择唯一的标识符，不与内联汇编块外的声明冲突。
在每一个您打算重载的非接口函数上添加 virtual。在所有没有具体实现的接口之外的函数上添加 virtual。对于单继承，在每个重载的函数上添加 override。对于多重继承，添加 override(A, B, ..)，在括号中列出所有定义了重载函数的合约。当多个基类定义同一个函数时，继承的合约必须重载所有冲突的函数。
在内联汇编中，将 () 添加到所有不接受参数的操作码后。例如，将 pc 更改为 pc()，将 gas 更改为 gas()。