在以下情况下,为什么不需要对依赖类型使用typename?


10

我一直在这里阅读有关删除类型引用的信息

它给出以下示例:

#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 ?
}

特征中的types std::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呢?

Answers:


22

特征中的types std::remove_reference是从属类型。

不,它们不是此处的从属名称。模板参数已经被明确指定为intint&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是一个类型,因为您的表达式现在取决于template参数T


5

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

std::remove_reference<int>::type

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

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

foo::type是一种类型。但是,如果有人按照

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

现在type不是类型而是int。现在,当您在模板中使用foo时:

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

您必须确保编译器foo<T>::type确实是类型,而不是其他类型,因为仅查看bar(和主模板foo)编译器就无法知道该类型。

然而,在你mainstd::remove_reference<int>::type不依赖于模板参数,因此编译器可以很容易地检查它是否是一个类型。


0

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

By using our site, you acknowledge that you have read and understand our Cookie Policy and Privacy Policy.
Licensed under cc by-sa 3.0 with attribution required.