模板内的 C++ value_type::second_type 编译器错误

Question

在模板函数中使用 decltype 时出现编译器错误。示例非常不言自明。帮忙？

template<class T>
void foo(T&& m)
{
    auto t = (decltype(m)::value_type::second_type::value_type*)3; // compiler error
}

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

Answer 1

如果在函数中使用m，需要去掉引用（并添加typename）：

例子：

typename std::remove_reference_t<decltype(m)>::value_type::second_type::value_type* t;

或者干脆使用T:

typename T::value_type::second_type::value_type* t;