Solidity中如何在函数内对动态大小数组执行push操作？

报错原因说明 #

1. 最初声明的uint32[] xList默认是memory类型的动态数组，Solidity中memory数组不支持push()动态扩容方法，必须在初始化时指定固定长度，通过下标赋值。
2. 直接声明uint32[] storage xList属于未赋值的存储指针，Solidity要求storage指针必须指向合约中已存在的状态变量，未赋值直接使用会出现未定义行为，因此触发报错。

方案1：预计算长度初始化memory数组（优先推荐，gas成本低） #

如果构建的数组仅作为临时参数传递，不需要持久化存储到链上，提前计算好数组需要的总长度，直接初始化对应长度的memory数组，用下标赋值替代push操作即可。
代码示例：

function autoMintBatch(...) {
    // 预计算数组所需长度
    uint256 xLen = idList.length;
    uint256 yLen = 1; // 根据实际需要的元素数量调整长度

    // 初始化固定长度的memory数组
    uint32[] memory xList = new uint32[](xLen);
    uint32[] memory yList = new uint32[](yLen);

    // 下标赋值替代push
    yList[0] = y;

    uint32 currentX = x;
    for (uint256 i = 0; i < idList.length; i++) {
        xList[i] = currentX++;
    }

    // 后续可直接将xList、yList作为参数传入其他函数
}

方案2：使用合约级storage数组（适合需要持久化存储的场景） #

如果数组需要动态扩容且内容需要持久化存储在链上，将数组声明为合约的状态变量，就可以正常使用push方法。
代码示例：

// 合约状态变量，默认storage类型
uint32[] public xList;
uint32[] public yList;

function autoMintBatch(...) {
    // 每次调用前清空历史数据，按需添加
    delete xList;
    delete yList;

    yList.push(y);

    for (uint256 i = 0; i < idList.length; i++) {
        xList.push(x++);
    }

    // 后续可直接将数组传入其他函数
}

补充说明 #

如果无法提前准确计算数组长度，可以先初始化一个足够大的memory数组，完成所有元素赋值后，再将实际用到的元素拷贝到一个长度匹配的新memory数组中即可，该方案仅会产生少量拷贝的gas开销。

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