如何在Solidity中遍历address=>uint256类型的mapping而不暴力遍历地址空间？

Solidity的mapping本身没有内置的键集合遍历功能，直接暴力遍历所有地址会造成极高的Gas浪费，可行的方案是额外维护一个地址数组，主动追踪所有持有余额的地址，具体实现如下：

1. 新增地址数组变量 #

在合约中定义一个数组，专门存储所有有余额的地址：

mapping(address => uint256) public balances;
address[] public holders; // 新增：存储所有有余额的地址

2. 在修改余额的逻辑中维护数组 #

所有会改变balances的操作（比如转账、 mint、销毁、转入等），都需要同步更新holders数组：

• 当地址从余额0变为非0时，将其加入数组；
• 当地址余额从非0变为0时，将其从数组中移除（用swap-and-pop方式减少Gas消耗）。

示例转账函数的实现：

function transfer(address to, uint256 amount) public {
    require(balances[msg.sender] >= amount, "Insufficient balance");

    // 处理转出方余额
    balances[msg.sender] -= amount;
    if (balances[msg.sender] == 0) {
        _removeHolder(msg.sender);
    }

    // 处理转入方余额
    uint256 prevToBalance = balances[to];
    balances[to] += amount;
    if (prevToBalance == 0) {
        holders.push(to);
    }

    // 其他转账逻辑（如事件触发等）
}

// 内部函数：用swap-and-pop移除地址，降低Gas消耗
function _removeHolder(address addr) internal {
    for (uint256 i = 0; i < holders.length; i++) {
        if (holders[i] == addr) {
            // 将最后一个元素移到当前位置，再缩短数组
            holders[i] = holders[holders.length - 1];
            holders.pop();
            break;
        }
    }
}

3. 高效遍历所有有余额的地址 #

现在只需遍历holders数组，就能获取所有有余额的地址，比如你的分红计算逻辑可以修改为：

function calculateDividends() public {
    uint256 totalTokens = ...; // 合约总代币量
    uint256 _totalDividends = ...; // 待分配的总分红额

    for (uint256 i = 0; i < holders.length; i++) {
        address holder = holders[i];
        uint256 balance = balances[holder];
        // 双重保险：防止数组中存在余额已变为0的地址
        if (balance > 0) {
            uint256 dividendOwing = _totalDividends.mul(balance).div(totalTokens);
            _dividendBalances[holder] = _dividendBalances[holder].add(dividendOwing);
        }
    }
}

关键说明 #

• Solidity目前（0.8.x版本及以下）不支持for (address addr in balances)这类映射迭代语法，必须手动维护地址集合；
• 使用swap-and-pop而非直接删除数组元素，是为了避免移动大量数组元素带来的高额Gas成本；
• 遍历数组时建议增加balance > 0的判断，防止因逻辑遗漏导致数组中存在余额为0的地址。

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