c++ - 为什么 `std::remove_cv<_Iter>::type` 不是一个类型？

Question

我有两个版本的功能，但 gcc 说版本 1 有效，而版本 2 给出了

expected a type, got 'std::remove_cv<_Iter>::type'

我不太明白这个错误，因为我预计using语句需要一个类型，并且不会自动提升 'std::remove_cv<_Iter>::type'到别的东西？

有人可以解释一下这里发生了什么吗？

template<typename U,typename V> constexpr inline auto is_same_rcv() noexcept
{
    //version 1 works
    using u_underlying = std::remove_cv<U>::type;
    using v_underlying = std::remove_cv<V>::type;
    return std::is_same<u_underlying,v_underlying>::value;
}

和

template<typename U,typename V> constexpr inline auto is_same_rcv() noexcept
{
    //version 2 doesn't work
    using u_underlying = std::remove_cv<U>::type;
    return std::is_same<u_underlying,std::remove_cv<V>::type>::value;
}

关联godbolt

为了好玩而编辑，看起来 clang 和 gcc 对 using 关键字的解释不同(参见 https://godbolt.org/z/P9Pcn6 )

Answer 1

您需要使用关键字 typename 告诉 dependent names std::remove_cv<V>::type是一种类型。

return std::is_same<u_underlying, typename std::remove_cv<V>::type>::value;
//                                ^^^^^^^^

在 using声明typename自 C++20 起不再需要。

In some contexts, only type names can validly appear. In thesecontexts, a dependent qualified name is assumed to name a type and notypename is required:

• ...

• A qualified name that appears in type-id, where the smallest enclosing type-id is:

  • ...
  • the type-id in an alias declaration;
  • ...