我的代码的一个最小化示例显示了这个问题：

#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;
}

Godbolt
输出如下：

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

当变量模板引用相同的类型（bool）时，为什么我不能使用decltype访问变量模板？
为了记录在案，我还试图不使用结构化绑定，并在对中的第一个上使用decltype，结果相同。
然而，如果我创建一个实际的bool变量，就像这样...

bool b;
std::cerr << settings_map<decltype(b)>.size() << "\n";

......它起作用了。