unordered_map中operator[]插入时值未变,因键不存在会默认构造临时副本赋值;应改用insert()或try_emplace();find()返回end()表示未找到;自定义key需特化std::hash和重载==;rehash时迭代器失效。

unordered_map 插入数据时为什么值没变?
因为 operator[] 在键不存在时会默认构造 value 并返回引用,后续赋值只作用于这个临时构造的副本,而不是你预期的容器内对象。常见于自定义类型或指针类型场景。
正确做法是用 insert() 或 try_emplace()(C++17 起)避免默认构造:
-
map.insert({key, value})—— 安全,已存在则忽略 -
map.try_emplace(key, args...)—— 更高效,直接在容器内构造,不拷贝value - 避免对非 trivial 类型反复用
map[key] = xxx,尤其当xxx构造开销大时
查找失败时返回什么?怎么判断是否找到?
find() 返回 iterator,查不到就是 end();at() 会抛 std::out_of_range;operator[] 则自动插入默认值——这常是 bug 源头。
推荐统一用 find() 判断再取值:
立即学习“C++免费学习笔记(深入)”;
auto it = map.find(key);
if (it != map.end()) {
use(it->second);
}
- 不用
count()再调一次find(),白费一次哈希+查找 - 别依赖
operator[]的返回值真假判断存在性,int/bool 等类型默认值是 0/false,和“真值为 0”冲突 -
at()适合明确知道 key 存在、且想让不存在时 crash 的调试场景
自定义类型作 key 一定要重载 hash 和 == 吗?
是。否则编译不过:error: call to implicitly-deleted default constructor of 'std::hash<mytype>'</mytype>。
必须提供两个东西:
- 一个可调用对象(函数对象或 lambda),满足
std::hash<T>概念,接受const T&,返回size_t - 一个等价谓词(通常是
operator==),用于哈希冲突时逐个比较
最简写法是特化 std::hash:
namespace std {
template<> struct hash<MyStruct> {
size_t operator()(const MyStruct& s) const {
return hash<int>()(s.a) ^ (hash<string>()(s.b) << 1);
}
};
}
- 异或 + 移位只是基础混合,实际中建议用
std::hash成员组合,避免低比特坍缩 - 如果 key 是
std::pair或std::tuple,C++17 起标准已提供默认hash,无需手动写 - 别忘了
operator==必须与 hash 逻辑一致:相等的 key 必须有相同 hash 值
迭代器失效的边界在哪?
只有两种操作会令所有迭代器失效:rehash(扩容)和容器销毁。单次 insert/erase 不影响其他迭代器,这点和 map 不同。
- 插入导致 size > bucket_count × max_load_factor 时触发 rehash,全部迭代器失效
- 可用
reserve(n)预分配桶数,减少 rehash 次数;max_load_factor(0.5)可换空间换稳定性 - 删除单个元素仅使指向该元素的迭代器失效,其他仍有效——可安全遍历时 erase:
it = map.erase(it) - 多线程读写必须加锁,它不是线程安全容器
string 当 key 没问题,但换成自己拼的结构体,不看 hash 实现就跑,大概率掉进性能陷阱里。










