为何无法用decltype访问bool类型的变量模板实例？

复现代码 #

#include <cassert>
#include <iostream>
#include <map>
#include <string>

template <typename T>
const std::map<std::string, T> smap;

template <>
const std::map<std::string, bool> smap<bool>{{"a", false}};

int main() {
    std::map<bool, std::string> rmap{{false, "x"}};

    for (const auto& [key, val] : rmap) {
        std::cerr << typeid(bool).hash_code() << "\n";
        std::cerr << typeid(decltype(key)).hash_code() << "\n";

        std::cerr << smap<bool>.size() << "\n";
        std::cerr << smap<decltype(key)>.size() << "\n";

        assert((std::is_same_v<bool, decltype(key)>));
    }

    return 0;
}

运行输出 #

10838281452030117757
10838281452030117757
1
0
example.cpp:22: int main(): Assertion `(std::is_same_v<bool, decltype(key)>)' failed.

问题描述 #

明明decltype(key)的typeid哈希值与bool完全一致，为何无法通过smap<decltype(key)>访问到已特化的smap<bool>实例？即使不使用结构化绑定，直接对pair的first成员取decltype也会得到相同结果，但创建实际bool变量后用decltype(b)访问却能正常工作。

解答 #

核心原因在于模板特化的类型匹配是严格的，而typeid会忽略类型的cv（const/volatile）限定符：

1. std::map<bool, std::string>中存储的元素是std::pair<const bool, std::string>——map的key是不可修改的，因此其first成员是const bool类型。结构化绑定中的key引用的就是这个成员，所以decltype(key)的实际类型是const bool，而非bool。
2. typeid(const bool)与typeid(bool)返回的是同一个std::type_info对象，因此它们的哈希值完全相同，但这只是typeid的特性，不代表两种类型等价。
3. 模板特化smap<bool>只匹配非const的bool类型，smap<decltype(key)>实际是实例化smap<const bool>，使用的是模板的默认定义（空map），因此size为0。
4. std::is_same_v<bool, const bool>的结果是false，这就是断言失败的直接原因——两种类型并不等价。

如果要让smap<decltype(key)>匹配到特化版本，有两种常见方案：

// 方案1：添加const bool的特化
template <>
const std::map<std::string, const bool> smap<const bool>{{"a", false}};

// 方案2：使用std::remove_const_t移除const限定
smap<std::remove_const_t<decltype(key)>>.size()

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