C++模板函数内用decltype访问value_type::second_type出现编译错误

• 函数参数用了万能引用T&&，当传入左值对象时，decltype(m)推导得到的是左值引用类型，引用类型本身不存在value_type这类嵌套成员，直接访问会触发编译错误。而main函数中的m是无引用修饰的容器对象，decltype(m)直接对应容器本身的类型，所以可以正常访问嵌套类型。
• C++模板规则中，访问依赖模板参数的嵌套类型时，必须显式加typename关键字标注该标识符是类型，否则编译器会默认将::后的标识符识别为值，也会导致编译失败。

只需要做两处修改即可解决问题：

1. 用标准库的std::decay_t去除decltype(m)的引用、cv限定符，拿到原始的容器类型
2. 在依赖模板参数的嵌套类型前添加typename关键字

修改后的可正常编译的代码如下：

#include <unordered_map>
#include <map>
#include <type_traits>

template<class T>
void foo(T&& m)
{
    auto t = (typename std::decay_t<decltype(m)>::value_type::second_type::value_type*)3;
}

int main()
{
    std::unordered_map<int, std::map<float, double>> m;
    foo(m);
    auto t = (decltype(m)::value_type::second_type::value_type*)3;
}

如果你使用的是C++20及以上版本，也可以用std::remove_cvref_t替代std::decay_t，效果完全一致，语义更直观。

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