如何优化Solidity中删除数组指定索引元素的智能合约函数？

你当前实现的数组元素删除依赖循环移动后续元素，当数组规模较大时，多次存储写入会导致Gas成本飙升。以下是两种更高效的优化方案，可根据业务需求选择：

方案一：无顺序要求时的最优解（仅2次存储操作） #

如果你的业务场景不需要保持数组元素的原有顺序，直接用数组最后一个元素覆盖待删除位置，再移除最后一个元素，这是Gas成本最低的方案：

library ArrayLibrary {
    function remove(uint[] storage _arr, uint _removedIndex) public returns(uint[] memory){
        require(_arr.length > 0, "No element in Array.");
        require(_removedIndex < _arr.length, "Index out of bounds.");
        
        // 仅当待删除元素不是最后一位时，执行覆盖操作
        if (_removedIndex != _arr.length - 1) {
            _arr[_removedIndex] = _arr[_arr.length - 1];
        }
        // 删除最后一位元素（仅1次存储操作）
        _arr.pop();
        return _arr;
    }
}

优势 #

• 完全避免循环，无论数组多大，仅需最多2次存储写入操作，Gas成本几乎固定。
• 代码逻辑简洁，出错概率低。

方案二：需保持顺序时的循环优化 #

如果必须严格保留数组元素的顺序，可以优化循环逻辑，减少无意义的遍历：

library ArrayLibrary {
    function remove(uint[] storage _arr, uint _removedIndex) public returns(uint[] memory){
        require(_arr.length > 0, "No element in Array.");
        require(_removedIndex < _arr.length, "Index out of bounds.");
        
        // 直接从待删除索引开始，将后续元素向前移动一位
        for(uint i = _removedIndex; i < _arr.length - 1; i++){
            _arr[i] = _arr[i + 1];               
        }
        _arr.pop();
        return _arr;
    }
}

优化点 #

• 原代码循环从索引0开始，对小于_removedIndex的元素做无效判断；优化后直接从_removedIndex开始循环，减少了不必要的遍历和条件判断，能降低一定Gas开销（尤其当待删除索引靠前时）。

通用注意事项 #

• 必须添加_removedIndex < _arr.length的边界检查，原代码缺少该判断，会导致索引越界的安全问题。
• 操作storage数组时，尽量避免不必要的内存拷贝（比如你的TestLibrary中如果直接操作合约内的storage数组，可省去calldata转storage的步骤）。

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