为什么 `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 以来不再需要。

在某些情况下，只有类型名称才能有效出现。在这些 在上下文中，假定从属限定名称命名一个类型并且没有 typename 为必填项：

• ...

• 出现在type-id 中的限定名称，其中最小的封闭type-id 是：

  • ...
  • alias declaration 中的 type-id；
  • ...