智能合约状态变量的存储体现

GAMBLISME

于 2024-05-06 14:37:20 发布

阅读量1k

点赞数 9

文章标签：区块链

本文链接：https://blog.csdn.net/qq_46082367/article/details/138494421

版权

本文详细解释了智能合约中状态变量如何在存储中组织，包括固定大小和动态大小类型的存储规则，以及keccak256哈希函数在数组和映射中的应用。通过实例展示了变量如何分配和占据存储槽，以及EVM中的实际操作过程。

摘要由CSDN通过智能技术生成

存储规则

智能合约的所有状态变量 - 或持久性变量 - 都驻留在合约的存储中。合约的存储是一个大型数组，组织成大小为32字节（256位）的槽，每个槽由一个唯一的索引标识，范围从0到$2^{256}-1$。对于每个给定的状态变量，存储槽索引必须以确定性的方式计算，以确保对存储数据的一致访问。事实上，这种存储槽中状态变量的布局由编译器确定，编译器考虑源代码中变量的声明顺序(Solidity 编译器为例)。

固定大小的变量类型。基本类型，如uint（32字节）、地址（20字节）和布尔值（1字节）以连续的方式存储在32字节的槽中，从槽0x0开始。值得注意的是，需要少于32字节的多个连续项被打包到单个存储槽中以节省空间，根据以下规则进行打包：

存储槽中的第一项始终与到最低有效字节对齐。
固定大小的类型仅使用所需的字节来存储它们。
如果变量不适合存储槽的剩余部分，则将其存储在下一个存储槽中。

动态大小的变量类型。动态类型，如数组和映射，始终存储在新的槽中（基槽），它们的元素根据以下规则存储：

基槽存储数组的长度，或者在映射的情况下，它被留空。
每个数组元素（具有索引：INDEX）存储在槽keccak256(BASE)+INDEX中。
映射的每个元素（具有键：KEY）存储在通过连接KEY和BASE并将结果值用作keccak256函数的输入计算得到的槽中（即，keccak256(KEY.BASE)）。

注意

状态变量在存储中的位置是通过声明状态变量来分配空间的（占坑的）。

通过简单合约举例：

// SPDX-License-Identifier: MIT 
pragma solidity ^0.8.0;  

 struct Values {  
        uint8 a;   
        address b;  
        bytes4 c;  
    }      

contract Test { 
  
    Values value;        
    uint8 balance;
    bytes4 data;
    address addr;
    uint8[] uint8Array;
    mapping(address => uint256) isMapping;  

     constructor(){
        balance = 8;
        addr = 0x358AA13c52544ECCEF6B0ADD0f801012ADAD5eE3; 
        uint8Array.push(1);
        uint8Array.push(2);
        isMapping [addr] = 123;
    }

}

Values结构体总体大小为25字节大小，第一个声明Values value;占用 Slot 0 这个坑，哪怕没对value进行赋值。

balance占用8字节，因此无法完全存储在slot 0 剩余大小的空间中，因此balance开始存储在slot 1的低位。data占用4字节，存储在slot 1中，而addr占用20字节，也存储在slot 1中。在构造函数中，被赋值的只有balance和addr。

slot1 在remix调试显示结果是：