此版本包含了所有计划在 0.5.0 版本中进行的、可以向后兼容的剩余重大更改。 Solidity 现在可以使用控制流分析检测未初始化的存储指针。现在可以将函数中的多个返回值分配给新声明的变量，并且 SMT 检查器能够与简单的存储变量一起工作。 衷心感谢所有为此次版本发布做出贡献的人员！ 下载 Solidity 新版本这里.