Solidity中能否创建动态内存与存储数组？附扩容实现疑问

你的代码逻辑风险分析 #

先看你提供的这段代码：

uint DEFAULT_SIZE = 20;
byte256[] arr = new byte256[](DEFAULT_SIZE);

function push(byte256 item) public {
  bool isTimeToResize = arr[arr.length - 1] != 0;
  if (isTimeToResize) {
    byte256[] temp = new byte256[](arr.length + DEFAULT_SIZE);
    arr = copyOldArrayIntoBiggerOne(arr, temp);
  }
} 

明确结论：你的代码不会覆盖原数组默认大小以内的内存，但逻辑本身存在严重错误。

核心错误点 #

• 扩容判断逻辑完全失效：用arr[arr.length -1] !=0判断数组是否填满，既无法区分“未使用的默认0”和“用户存入的合法0”，还会导致初始状态下第一次调用push就触发扩容，完全违背先填满20个元素再扩容的预期。
• 缺失核心的元素添加逻辑：代码里没有任何将item写入数组的步骤，无论是否扩容，元素都无法被存入。

Solidity数组内存分配关键规则 #

针对你关心的内存覆盖、边界检查问题，必须明确Solidity中内存（Memory）数组和存储（Storage）数组的本质差异：

1. 内存数组 #

• 内存数组是一次性分配连续内存块的，创建后长度不可变。注意：如果是函数外定义的数组（状态变量），默认会存在存储而非内存，只有函数内部的临时变量才会使用内存。
• 越界访问的处理：内存数组越界访问会直接触发交易回滚（抛出panic错误），不会允许写入非法内存地址，不存在“覆盖代码区域”的情况——代码存储在合约字节码区域，和内存完全隔离。

2. 存储数组 #

• 存储数组分为固定长度和动态长度两种，动态存储数组是Solidity原生支持扩容的（可通过push()、pop()或手动修改length实现），不需要自行实现内存管理逻辑。
• 存储的分配逻辑：存储采用键值对结构（类似哈希表），数组元素的存储位置通过哈希计算得到，不存在连续内存块的概念，因此绝对不会出现“覆盖下方代码区域”的问题——代码区和存储区物理隔离。

3. 基本类型与结构体数组的差异 #

• 基本类型数组（如byte256[]）：无论内存还是存储，每个元素占用固定大小的空间。
• 结构体数组：存储中的结构体数组，每个字段会通过“数组索引+字段偏移”计算独立存储位置；内存中的结构体数组则是连续存储，结构体的所有字段按顺序排列在内存块中。

正确的实现方式 #

如果你想实现自动扩容的动态数组，直接使用Solidity原生的动态存储数组即可，无需手动管理内存：

uint constant DEFAULT_SIZE = 20;
// 定义动态存储数组，初始长度为0
byte256[] arr;

function push(byte256 item) public {
    // 当数组长度达到DEFAULT_SIZE的倍数时（除初始0长度），执行扩容
    if (arr.length % DEFAULT_SIZE == 0 && arr.length != 0) {
        // 手动修改length，Solidity会自动处理存储分配
        arr.length += DEFAULT_SIZE;
    }
    // 用原生push添加元素
    arr.push(item);
}

如果不需要固定步长扩容，直接使用原生push()即可，Solidity会自动按需扩容（默认扩容逻辑为长度翻倍，性能更优）：

byte256[] arr;

function push(byte256 item) public {
    arr.push(item);
}

关于Solidity内存管理的补充 #

• 你提到的“无垃圾回收”是正确的：存储中的数据会永久保留，直到被主动覆盖；内存中的数据则是临时的，函数执行结束后会被EVM自动清空。
• “内存数组逐个分配”是误解：内存数组是一次性分配整个连续内存块，比如new byte256[](20)会直接分配20*32字节的连续内存，所有元素初始化为0。

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