智能合约变量储存机制详解

最新推荐文章于 2024-08-31 07:30:00 发布

「已注销」

最新推荐文章于 2024-08-31 07:30:00 发布

阅读量1.7k

点赞数

文章标签：区块链智能合约以太坊

本文链接：https://blog.csdn.net/SierraW/article/details/120529442

版权

本文深入探讨了以太坊智能合约中变量的存储机制，包括值类型和引用类型，如布尔型、整型、地址类型等，并通过实例分析了数组、字符串、结构体和映射类型的存储方式。文章强调了存储优化原则，并提供了解题练习，帮助读者理解智能合约在EVM上的存储布局。

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

前言

在以太坊上，我们可以通过部署智能合约来实现我们需要的功能，合约代码中我们往往需要定义一些变量，这就涉及到了智能合约变量的存储机制。

这篇文章我们将根据 solidity 的所有的变量命名的类型来讲解智能合约的存储机制。

存储机制

每个在以太坊虚拟机（EVM）中运行的智能合约的状态都在链上永久地存储着。这些值存储在一个巨大的数组中，数组的长度为 2^256，下标从零开始且每一个数组能够储存 32 字节(256个比特)长度的值。并且存储是稀疏的，并没有那么密集。

变量类型

Solidity 的数据变量类型分为两类：
-值类型- value type
-引用类型- reference type

值类型

布尔型 (bool) 2bit(0/1)
整型 (int/uint) 根据关键字的不同表示不同长度，int8 表示 8bits 有符号
定长浮点型 (fixed/ufixed) Solidity 还没有完全支持定长浮点型。可以声明
定长浮点型的变量，但不能给它们赋值或把它们赋值给其他变量
定长字节数组 (byte[1]/bytes[1]) 定义数组时定义长度
地址类型 (adress) 160bits
地址类型成员变量(balance,transfer…)
balance uint256(256bits)
transfer() uint256(256bits)

引用类型

不定长字节数组类型 (bytes[]/byte[],string,uint[]…)
结构体 (struct)
映射 (mapping)

简单分析

写一个简单值类型的合约

pragma solidity ^0.4.25;

contract TEST{
   
   bool a=false;
   bool b=true;
   int16 c=32767;
   uint16 d=0x32;
   byte e=10;
   bytes1 f=11;
   bytes2 g=22;
   uint h=0x1; //uint是uint256的简称
   address i=0xbc6581e11c216B17aDf5192E209a7F95a49e6837;
}

优化存储原则：如果下一个变量长度和上一个变量长度加起来不超过 256bits，它们就会存储在同一个插槽里。
在这里插入图片描述

根据交易查询到的存储在以太坊虚拟机上面的值，下面进行分析。

0x0000000000000000000000000000000000000000000000160b0a00327fff0100 slot0
//0x00 a false
//0x01 b true
//0x7fff c 32767
//0x0032 d 0x32
//0x0a e 10
//0x0b f 11
//0x0016 g 22
0x0000000000000000000000000000000000000000000000000000000000000001 slot1
// h 0x1
0x000000000000000000000000bc6581e11c216b17adf5192e209a7f95a49e6837 slot2
// i 0x2

从上面可以看出以下几点：

各个类型的存储长度
存储顺序从后往前
存储优化原则
byte.lengthbytes1.length8bits

数组类型

定长数组

pragma solidity ^0.4.25;

contract TEST{
   

   bytes8[5] a = [byte(0x6a),0x68,0x79,0x75];
   bool b=true;
}

在这里插入图片描述

可以看到虽然规定了了长度为 5，但是实际上只用了 4 个，所以就只是用了四个 bytes8 的空间。

是不是可以加一个，编译器会报错。
在这里插入图片描述

变长数组

pragma solidity ^0.4.25;

contract TEST{
   
   uint[] a=[0x77,0x88,0x99];
   function add(){
   
       a.push(0x66);
  }
}
We1c0me_t0_th3_w0_
rd1d_o7_bl0ck6hain

在这里插入图片描述

根据交易查询到的存储在以太坊虚拟机上面的值，下面进行分析

0x0000000000000000000000000000000000000000000000000000000000000003 slot0
//存储的是数组a的长度3
0x0000000000000000000000000000000000000000000000000000000000000077 slotx
//a[0]
0x0000000000000000000000000000000000000000000000000000000000000088 slot(x+1)
//a[1]
0x0000000000000000000000000000000000000000000000000000000000000099 slot(x+2)
//a[2]

Storage Address 的由来 x=keccak_256(slot) slot 是指数组长度存储的位置，此处对应的就是 0，对应的值就是

0x0000000000000000000000000000000000000000000000000000000000000000

import sha3
import binascii
def byte32(i):
   return binascii.unhexlify('%064x'%i) #计算时需要进行填充

a

最低0.47元/天解锁文章