Heterogeneous lookup with std::unordered_map of std::reference_wrapper keys

近日，C++标准库迎来一项重要更新：std::unordered_map 正式支持对 std::reference_wrapper 键的异构查找（heterogeneous lookup）。这一改进将显著提升代码的灵活性与运行时性能，尤其适用于需要跨类型比较或避免不必要复制的场景。

什么是异构查找？

在传统C++的无序容器（如 std::unordered_map）中，查找操作要求键的类型与容器中存储的键类型完全一致。例如，若容器使用 std::string 作为键，则查找时只能传入 std::string 对象或其引用，若尝试用 const char* 或 std::string_view 进行查询，编译器会报错或触发隐式类型转换，导致额外内存分配与复制。

异构查找允许在查找时使用与键类型不同的“等价键”，只要两者之间定义了可比较的哈希函数与相等比较器。此前，std::map 和 std::set 等有序容器已支持异构查找（C++14引入的透明比较器），但无序容器因依赖哈希函数，迟迟未能实现。此次更新填补了最后一片空白。

引用包装键的特殊性

std::reference_wrapper 是C++标准库中用来包装引用、使其可被复制和存储的工具。在无序容器中使用引用包装作为键，通常是为了避免复制大型对象，或将对象身份（地址）而非值作为哈希依据。然而，传统实现中存在一个痛点：std::reference_wrapper 并未直接提供与底层类型之间的哈希与比较支持，导致异构查找无法直接使用。

新的更新在 std::hash 和 std::equal_to 的特化中引入了针对 std::reference_wrapper 的透明操作。具体来说，当使用 std::unordered_map<std::reference_wrapper<T>, V> 时，现在可以用 T 类型的对象、T 的引用或 const ref 直接查找，无需显式创建 reference_wrapper。例如：

std::unordered_map<std::reference_wrapper<std::string>, int> map;
std::string key = "hello";
map[key] = 42;

// 传统方式要求：map.find(std::ref(key))，现在可以直接：
auto it = map.find(key);      // 合法
const char* cstr = "hello";
auto it2 = map.find(cstr);    // 合法，透明比较

这一变化依赖于标准库对 std::hash<std::reference_wrapper<T>> 的底层转发：当计算引用包装的哈希值时，实际调用 std::hash<T> 作用于被引用的对象；而 std::equal_to 则直接比较底层指针或值（取决于模板参数）。更重要的是，当查找的键类型与被引用类型不同时，编译器能自动使用 std::hash<> 和 std::equal_to<> 的透明特化，前提是用户提供的哈希器和比较器支持异构。

如何启用异构查找？

与有序容器的透明比较器类似，无序容器的异构查找需要用户指定支持异构的哈希对象与相等比较器。标准库提供了 std::hash 的内置特化（如字符串、整数等），但不保证跨类型的透明度。因此，使用 std::unordered_map 的异构查找时，需要显式声明使用 std::hash 和 std::equal_to 的透明特化（如 std::hash<void> 或 std::equal_to<void>），或者自定义仿函数。

std::equal_to<void> 早已支持异构比较，而 std::hash<void> 在C++17中引入，可接受任意类型并调用其特化的 hash。结合引用包装，只需如下声明：

auto my_hash = [](const auto& v) { 
    return std::hash<std::decay_t<decltype(v)>>{}(v); 
};
// 或者直接使用 std::hash<void>

但更简洁的做法是利用 std::unordered_map 的 hasher 和 key_equal 模板参数，例如：

using Key = std::reference_wrapper<std::string>;
std::unordered_map<Key, int, std::hash<Key>, std::equal_to<Key>> map;

遗憾的是，标准库当前并未为 std::unordered_map 提供默认的透明哈希器，因此用户需要手动指定。一些第三方库如 Abseil 的 flat_hash_map 已原生支持异构查找，但C++标准库的跟进将使这一特性更广泛可用。

实际影响与最佳实践

这一特性的主要受益者包括：

字符串密集型应用：当键是 std::string 但查找常用 string_view 时，可避免临时的 std::string 构造，提升缓存命中率与性能。
以对象身份作为键：使用 reference_wrapper 关联对象本身而非其副本，且希望以值或子对象进行查找，例如用 int ID 直接查找 reference_wrapper<Foo> 容器中的元素。
泛型代码：模板函数中，当键类型未知时，异构查找允许传入任何可比较类型，减少模板实例化约束。

需要注意，异构查找要求哈希器和相等比较器必须对输入类型“透明”，即不能有隐式状态依赖。此外，若键类型为 reference_wrapper，务必确保被引用的对象在整个容器生命周期内保持有效，避免悬垂引用。

结语

随着C++版本迭代，标准库对异构查找的支持日趋完善。从有序容器到无序容器，从原始键到引用包装，这一演进反映了现代C++对性能与表达力的追求。尽管当前实现仍需用户额外配置，但未来C++版本很可能提供默认透明的哈希器，进一步降低使用门槛。对于追求极致性能的C++开发者而言，现在正是拥抱这一新特性的最佳时机。

什么是异构查找？

引用包装键的特殊性

如何启用异构查找？

实际影响与最佳实践

结语

相关阅读