零点课堂 | 详解以太坊虚拟机（EVM）的数据存储机制（2）

下图（图1）显示了如何对智能合约的地址和传递给它的位置值进行GetStorageAt调用。图1左侧的数字是变量的位置。对于基类型（uint、string等），可以将此位置传递到GetStorageAt以获取变量值。对于数组，位置将返回数组的长度。

通过将Keccack哈希传递给索引为0的GetStorageAt来解码数组索引。数组的每个后续索引位于与位置求和的哈希值处。可以认为这是访问数组的指针并增加其位置以查找每个元素，类似于C或C ++。

传递给每个键的GetStoragetAt的位置值是键的keccack哈希值和映射声明的位置。对于多维映射，将密钥和变量位置递归调用Keccack哈希值。参见图1中的示例进行说明。

接下来，我们来看一个发生变量打包的示例。打包要记住的是：

1. 它仅按出现顺序适用于基本变量类型（uint128，string，int等）。EVM将按照代码中列出的顺序在256位空间中打包尽可能多的变量。
2. 每个映射和数组变量将占用一个新的插槽。
3. 数组变量映射将遵循打包规则。也就是说，如果一个元素小于256位，则阵列的多个索引将占用存储阵列中的单个插槽。

图2显示并提供了发生的打包的说明。当类型的长度小于256位时，EVM尝试将其他变量打包到插槽中。EVM按列出的顺序选择要打包的变量。映射和数组始终出现在新位置。但是打包规则仍适用于解码数组索引，打包规则仍适用于存储在映射中的结构。

有关这种情况下如何存储变量的说明，请参见图2。

继承

关于继承的说明。当智能合约继承其他智能合约时，基本智能合约的存储变量将按继承顺序占据存储阵列的第一个插槽。子类的存储变量将随后出现。

本文由 零点财经 作者：tao 发表，其版权均为 零点财经 所有，文章内容系作者个人观点，不代表 零点财经 对观点赞同或支持。如需转载，请注明文章来源。