Solidity 编译器升级：字节码差异和合约存储布局

Solidity 编译器升级可能改变优化器输出和诊断。对可升级合约而言，存储布局尤其不能凭直觉判断。

固定编译器与优化参数

将编译器版本、优化器开关和运行次数纳入构建配置。比较升级前后的 ABI、字节码和源映射，而不是只看源码能否通过。

单独审查代理合约

若使用代理模式，检查实现合约的存储变量顺序、初始化函数与升级脚本。部署前在分叉或测试网络执行完整升级演练。