Solidity数组移除元素函数执行报错：VM revert问题排查求助

报错原因分析 #

你的代码存在以下关键问题，导致交易回滚：

• 代码结构混乱：第一个for循环的闭合大括号位置错误，移动数组元素和pop()的逻辑被嵌套在第一个循环的每次迭代中，同时嵌套的for循环重复使用变量i，引发逻辑冲突。
• 未处理目标地址不存在的场景：如果数组中没有找到指定的_account，index会保持初始值0，此时会错误地执行数组元素移动和pop()操作，破坏原有数组结构，甚至在数组为空时触发异常。
• 语法错误：代码末尾多余两个闭合大括号，不符合Solidity语法规范。

修复后的代码 #

function removeAccount(address _account) external {
    uint counter = arrayOfAccounts.length;
    uint index = counter; // 初始化为数组长度，表示未找到目标地址

    // 遍历数组查找目标地址的索引
    for(uint i = 0; i < counter; i++) {
        if(arrayOfAccounts[i] == _account){
            index = i;
            break;
        }
    }

    // 仅当找到目标地址时执行移除操作
    if(index < counter) {
        // 将目标地址之后的元素依次向前移动一位
        for(uint i = index; i < counter - 1; i++) {
            arrayOfAccounts[i] = arrayOfAccounts[i + 1];
        }
        arrayOfAccounts.pop();
    } else {
        // 可选：未找到地址时抛出自定义错误
        // revert("Account not found");
    }
}

修复说明 #

1. 调整代码结构：将查找索引的逻辑与移除操作分离，确保只有找到目标地址后才执行元素移动和pop()。
2. 处理未找到的情况：初始化index为数组长度，通过index < counter判断是否找到目标，避免无意义的数组操作。
3. 修复语法问题：移除末尾多余的闭合大括号，保证代码符合Solidity语法要求。
4. 可选异常提示：如果需要明确告知调用者未找到目标地址，可以取消注释revert语句，返回自定义错误信息。

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