Solidity返回嵌套数组报错：索引表达式不可省略，求排查解决

嘿，我来帮你搞定这个Solidity的报错问题！你遇到的TypeError: Index expression cannot be omitted是因为返回数组的语法写错了，还有几个其他小问题，咱们一步步拆解：

先看你的报错信息 #

browser/HISTORYMultipleStateMach.sol:22:16: TypeError: Index expression cannot be omitted. return myArray[]; ^-------^

你的原代码 #

enum State{ A, B, C }
State[] curState;
State[][] myArray;
uint i=0;
constructor(uint Machines)public{
    for(i=0;i<Machines;i++){
        curState.push(State.A);
        myArray.push(curState);
    }
}
function historyOfStateMachine() public{
    return myArray[];
}
function historyOfStateMachine() public{
    return myArray[];
}

问题分析 #

1. 返回数组的语法错误：Solidity里返回整个数组时，不需要加[]，直接写数组变量名就行。你写的return myArray[];会被编译器当成“省略了索引的数组访问表达式”，这是不允许的，所以触发了这个报错。
2. 函数未声明返回值类型：你的historyOfStateMachine函数要返回嵌套数组，但完全没写returns (State[][])，编译器根本不知道你要返回什么类型的数据。
3. 重复定义函数：你写了两个一模一样的historyOfStateMachine函数，Solidity不允许同一个合约里存在签名完全相同的函数，这会导致额外的重复定义错误。
4. 数组引用复用的逻辑问题：你的全局变量curState是一个存储数组，每次循环往里面加元素再push到myArray里，这样myArray里的所有元素其实都是指向同一个curState数组的引用——也就是说，所有状态机的历史记录都会是同一个数组，这大概率不是你想要的多状态机独立记录的效果。

修正后的代码 #

enum State{ A, B, C }
// 去掉全局的curState，改成在循环内创建独立数组
State[][] myArray;

constructor(uint Machines) public {
    for(uint i = 0; i < Machines; i++) {
        // 每次循环创建一个新的临时存储数组，每个状态机对应独立的初始状态
        State[] storage tempState;
        tempState.push(State.A);
        myArray.push(tempState);
    }
}

// 修正函数：声明返回值类型，正确返回数组
function historyOfStateMachine() public view returns (State[][]) {
    return myArray;
}

关键知识点总结 #

• 返回整个数组时，直接使用数组变量名即可，不要加[]；只有访问数组中某个元素时才需要用[索引]的写法。
• Solidity函数必须明确声明返回值类型，用returns (类型)语法写在函数参数后面。
• 同一个合约里不能有重复签名的函数，要删掉多余的定义。
• 存储数组是引用类型，如果要让每个元素都是独立的数组，不要复用同一个全局数组，而是在循环内创建新的临时数组。

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