Solidity合约报错：含嵌套映射的结构体无法构造问题排查

问题背景 #

需初始化6个候选人，满足以下要求：

• 使用合约内预定义的6个头像
• 候选人编号对应1-6
• 初始已确认票数为0，投票者记录为空
• 投票阶段仅更新票数和投票者信息，编号与头像保持不变

当前合约执行初始化时触发报错：

TypeError: Struct containing a (nested) mapping cannot be constructed.
  --> contracts/Token.sol:44:20:
   |
44 |             candidates.push(Candidate({
   |                             ^ (Relevant source part starts here and spans across multiple lines).

报错原因 #

1. 含映射的结构体无法直接构造：Solidity规则限制，包含mapping类型的结构体不能通过Struct({ ... })的语法直接构造实例——映射是合约存储区的特殊类型，无法在内存中临时构造后推入数组。
2. 固定数组操作错误：candidates是固定长度为6的数组（Candidate[6]），但代码中使用了仅适用于动态数组的push方法，固定长度数组不支持该操作。
3. 循环边界越界：for(uint256 index = 0; index <= candidates.length; index++)的条件会导致索引越界，固定数组长度为6时，有效索引范围是0-5，index <=6会访问超出数组范围的索引。

解决方案 #

修改_createCandidates函数，直接通过索引给固定长度数组赋值，规避构造含映射结构体的操作：

//SPDX-License-Identifier: UNLICENSED
pragma solidity >=0.7.0 <0.9.0;

enum VotingOption {
    Confirmed,
    Abstention
}

struct Votes {
    uint256 total;
    uint256 totalPercentage;
}

struct Elector {
    address wallet;
    VotingOption votingOption;
}

struct Candidate {
    uint256 number;
    string avatar;
    Votes confirmedVotes;
    mapping(address => Elector) electorsWhoVoted;
}

contract ElectronicVotingMachine {
    Votes abstentionVotes = Votes({ total: 0, totalPercentage: 0 });
    Elector[] electors;
    Candidate[6] candidates;
    string[6] candidateAvatar = [
        "https://raw.githubusercontent.com/thiagosaud/dApp-superior-electoral-court/main/temp/imgs/candidate-1.png",
        "https://raw.githubusercontent.com/thiagosaud/dApp-superior-electoral-court/main/temp/imgs/candidate-2.png",
        "https://raw.githubusercontent.com/thiagosaud/dApp-superior-electoral-court/main/temp/imgs/candidate-3.png",
        "https://raw.githubusercontent.com/thiagosaud/dApp-superior-electoral-court/main/temp/imgs/candidate-4.png",
        "https://raw.githubusercontent.com/thiagosaud/dApp-superior-electoral-court/main/temp/imgs/candidate-5.png",
        "https://raw.githubusercontent.com/thiagosaud/dApp-superior-electoral-court/main/temp/imgs/candidate-6.png"
    ];

    function _createCandidates() private {
        for(uint256 index = 0; index < candidates.length; index++) {
            // 直接通过索引访问数组元素，赋值非映射字段
            candidates[index].number = index + 1;
            candidates[index].avatar = candidateAvatar[index];
            candidates[index].confirmedVotes = Votes({ total: 0, totalPercentage: 0 });
            // 映射类型默认处于空状态，无需额外初始化
        }
    }

    constructor() {
        _createCandidates();
    }
}

关键修改说明 #

• 移除push操作，直接通过索引candidates[index]操作固定数组元素
• 将循环条件改为index < candidates.length，避免索引越界
• 逐个赋值结构体的非映射字段，映射类型默认是空集合，无需手动初始化

内容的提问来源于stack exchange，提问作者THIAGO DE BONIS