10

我一直在阅读关于删除类型的引用，here。

它给出了以下示例：

#include <iostream> // std::cout
#include <type_traits> // std::is_same

template<class T1, class T2>
void print_is_same() {
  std::cout << std::is_same<T1, T2>() << '\n';
}

int main() {
  std::cout << std::boolalpha;

  print_is_same<int, int>();
  print_is_same<int, int &>();
  print_is_same<int, int &&>();

  print_is_same<int, std::remove_reference<int>::type>(); // Why not typename std::remove_reference<int>::type ?
  print_is_same<int, std::remove_reference<int &>::type>();// Why not typename std::remove_reference<int &>::type ?
  print_is_same<int, std::remove_reference<int &&>::type>();// Why not typename std::remove_reference<int &&>::type ?
}

特征中的typesstd::remove_reference是依赖类型。

可能的实施

template< class T > struct remove_reference      {typedef T type;};
template< class T > struct remove_reference<T&>  {typedef T type;};
template< class T > struct remove_reference<T&&> {typedef T type;};

但是为什么不使用typename std::remove_reference</*TYPE*/>::type呢？

4

3 回答 3

22

特征中的typesstd::remove_reference是依赖类型。

不，它们在这里不是从属名称。模板参数已明确指定为int和。因此，此时类型是已知的。int&int&&

另一方面，如果您使用std::remove_reference模板参数，例如

template <typename T>
void foo() {
    print_is_same<int, typename std::remove_reference<T>::type>();
}

那么你必须用它typename来判断它std::remove_reference<T>::type是一个类型，因为你的表达式现在取决于模板参数T。

于 2019-10-29T09:28:02.430 回答
4

简而言之，您需要typename确保编译器

std::remove_reference<int>::type

真的是一种类型。让我们考虑一些其他模板

template <typename T>
struct foo {
    using type = int;
};

这foo::type是一种类型。但是，如果有人提供沿着以下方向的专业化呢？

template <> struct foo<int> {
    int type;
};

nowtype不是一个类型，而是一个int. 现在，当您在模板中使用 foo 时：

template <typanem T> 
struct bar {
    using type = typename foo<T>::type;
};

您必须确保编译器foo<T>::type确实是一种类型，而不是其他类型，因为仅查看bar（和主模板foo）编译器无法知道这一点。

但是，在您main的std::remove_reference<int>::type中不依赖于模板参数，因此编译器可以轻松检查它是否是一种类型。

于 2019-10-29T09:33:24.463 回答
0

关键字typename用于帮助编译器解析源代码。它指出 id 是类型名称，而不是变量名称或方法名称。但在上述情况下，编译器可以自行判断，因此不需要此关键字。

于 2019-10-29T11:09:02.813 回答