Solidity代理、多重继承与存储槽的升级约束问询

问题背景 #

多重父（基）合约继承场景：

contract Base1 {
    // do something
    uint256[1000] private __gap;
}

contract Base2 {
    // do something
    uint256[1000] private __gap;
}

contract Child is Base1, Base2 {
    uint256 testVariable = 123;
}

技术问询 #

• 若预留了较大的存储间隙(__gap)，理论上是否可将Base2替换为两个新合约（如Base2A和Base2B），只要两者（含间隙）占用的存储总量等于原Base2预留的总间隙？
• 在合约实现升级时，因旧实现的存储变量无法移除，但可缩减字节码（如移除Base2的代码），而代理升级仍受最大合约尺寸限制。明确来说，可用字节码空间为24576 bytes - 待替换合约尺寸。那么原Base2遗留的存储变量占用存储槽，是否会消耗升级时的可用字节码空间？即即便预留了大间隙，也无法无限替换父合约，因为每次替换都会留下无法移除的存储变量占用合约尺寸？

旨在深入了解该场景下的可选性约束。

问题解答 #

替换父合约的可行性 #

理论上可行，但必须严格遵守存储布局兼容性规则：

• 原Base2的存储槽范围是固定的（继承顺序中紧跟Base1之后的1000个槽位），新的Base2A和Base2B的存储变量（含各自的__gap）总占用槽数必须完全匹配原Base2的总槽数，且单个变量的存储位置不能与原Base2已使用的槽位冲突。
• 若原Base2仅包含__gap无自定义变量，可直接将这1000个槽位拆分给Base2A和Base2B，只要两者的变量加__gap的总槽数之和为1000即可；若原Base2有自定义变量，新合约必须保持这些变量的类型、存储顺序完全一致，仅能利用__gap的空闲槽位拆分逻辑。

遗留存储对字节码空间的影响 #

原Base2遗留的存储变量（包括__gap）不会消耗升级时的可用字节码空间，核心逻辑如下：

• 存储槽是链上状态的一部分，字节码是合约的执行逻辑代码，二者完全分离。升级时的字节码尺寸限制仅针对新合约的字节码大小，与链上已存储的状态变量无关。
• 旧合约的存储变量会保留在链上状态中，但新实现合约可选择不再使用这些槽位（需保证存储布局兼容）。移除旧Base2的代码只会减小新合约的字节码体积，不会影响链上存储占用，也不会占用新合约的字节码空间。
• 无法无限替换父合约的限制并非来自遗留存储，而是存储布局兼容性的硬性要求：每次替换必须保证新合约的存储布局与旧合约已用槽位无冲突，否则会导致状态错乱；此外，多次替换可能使新合约字节码逐渐增大至24576 bytes上限，但这是新代码本身的体积问题，与旧存储无关。

内容的提问来源于stack exchange，提问作者adamcuc