stl hash_map - 修改键

Question

我有一个哈希映射定义为

class KeyType {
    int key;
    mutable bool flag;
    KeyType(int key) : key(key), flag(false) {}
    void setFlag() const { flag = true; }
};

struct KeyType_hasher {
    size_t operator()(const KeyType& s) const {
        return static_cast<size_t> key;
    }
};

struct KeyType_equal {
    size_t operator()(const KeyType& s1, const KeyType& s2) const {
        return s1.key == s2.key;
    }
};

typedef hash_map<KeyType , ValueType, KeyType_hasher, KeyType_equal > KeyValueMap;

稍后在代码中我有一个地方必须循环遍历映射并将函数应用于我找到的每个值。根据函数的结果，我还必须修改迭代器上的键。

KeyValueMap theMap;
// theMap[key1] = value1;
// theMap[key2] = value2;
// theMap[key3] = value3;
for(KeyValueMap::iterator i = theMap.begin(); i != theMap.end(); ++i) {
    if(true == ValueFunction(i->second))
        i->first.setFlag();
}

我的问题是，如果必须的话，这是修改密钥的正确方法吗？ 它有什么不良副作用吗？

Answer 1

您必须从容器中删除该元素并使用新密钥重新添加它。

C++ 关联容器都不支持以显着方式更改密钥（其中“显着”意味着更改会更改散列容器中的散列结果或有序容器中的比较结果）。

如果您确实修改了密钥（通过以某种方式规避 const 正确性系统），您将从查找中获得不可预测的结果。

Answer 2

您不仅不能更改密钥，因为它是 pair 的 const 成员，而且您也无法在没有更改的情况下将成员删除或插入到 hash_map 中。使迭代器 i 无效。当 i 无效时，您无法增加它以从容器中获取下一个项目。

可能有（而且可能是）更好的算法，但我认为您需要做的是将您想要更改键的元素的元素（或只是键）的副本存储在其他临时容器中在你的 for 循环中。然后遍历临时容器并使用其中的信息来：

• 获取要在原始 hash_map 容器中更改其键的元素
• erase() 从原始容器中删除该元素
• insert() 将带有新键和原始值的新元素放回 hash_map

然后您可以转储临时容器。