Solidity中数组使用赋值运算符出现交易回滚错误问题求助

问题根源 #

你的合约里uint256[] public n是一个动态长度数组，初始状态下它的长度为0。当调用pl函数执行n[x] = a时（x初始值为0），你试图访问数组的第0个元素，但此时数组根本没有任何元素，这触发了Solidity的数组越界检查，直接导致交易回滚。

Solidity vs JavaScript数组的核心差异 #

虽然Solidity和JS语法相似，但数组行为有本质区别：

• JavaScript中，给数组超出当前长度的索引赋值时，JS会自动扩展数组长度，同时填充中间未赋值的位置为undefined，不会报错。
• Solidity中，动态数组的长度是严格受控的：
  • 必须通过push()方法添加元素（自动增加长度），或者手动设置n.length扩展数组长度，才能访问新的索引位置。
  • 直接访问超出当前长度的索引会触发断言失败，导致交易回滚（这是Solidity的安全机制，防止非法内存访问）。

修复方案 #

有两种常见的修复方式：

方式1：使用push()添加元素 #

这是最常用的方式，push()会自动把元素添加到数组末尾，同时更新数组长度，无需手动维护索引变量：

//SPDX-License-Identifier: MIT
pragma solidity 0.8.16;
contract arr {
    uint256[] public n;

    function pl(uint256 a) public {
        n.push(a);
    }
}

方式2：手动扩展数组长度再赋值 #

如果需要手动控制索引位置，可以先扩展数组长度，再进行赋值：

//SPDX-License-Identifier: MIT
pragma solidity 0.8.16;
contract arr {
    uint256[] public n;
    uint256 x = 0;

    function pl(uint256 a) public {
        n.length++; // 先扩展数组长度
        n[x] = a;
        x++;
    }
}

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