跳转至

item9：优先考虑别名声明而非typedef

item9
  • typedef不支持模板化，但是别名声明支持。
  • 别名模板避免了使用“::type”后缀，而且在模板中使用typedef还需要在前面加上typename
  • C++14提供了C++11所有type traits转换的别名声明版本

typename 关键字

用来澄清模板内部的一个标识符，代表的是某种类型

Reference

《C++模板（第二版）》P62 《C++ Primer》P593

当编译器遇到类似T::xxx这样的代码时，它不知道xxx是一个类型成员还是一个数据成员，直到实例化时自己才知道。 但是为了处理模板，编译器必须知道名字是否表示一个类型，默认情况下C++会假定通过作用域运算符访问的名字不是类型

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
struct test1 {
  static int SubType;
};
template <typename T>
class MyClass {
 public:
  void foo1() {
    int ptr = 10;
    T::SubType *ptr;
  }
  void foo2() { typename T::SubType *ptr; }
};

// main
MyClass<test1> class1;
class1.foo1();
// class1.foo2(); // 运行错误
对于foo1函数中的 T::SubType *ptr; *会解释成乘运算符，T::SubType 是一个数据成员

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
struct test2 {
  typedef int SubType;
};
template <typename T>
class MyClass {
 public:
  void foo2() { typename T::SubType *ptr; }
};

MyClass<test2> class2;
class2.foo2();
对于这里的foo2函数，由于 typename 会将 T::SubType 解释成一个类型，即 int

Note

如果没有 typename 的话，SubType 会被假设成一个非类型成员（比如 static 或者一个枚举常量，亦或是内部嵌套类或 using 声明的 public 别名

对于模板来说，using比typedef更好用

 1
 2
 3
 4
 5
 6
 7
 8
 9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
// using
template <class T>
using myVector = std::vector<T>;

template <typename T>
class Widget {
 public:
  myVector<T> list;
};
// typedef
template <typename T>
struct myVector2 {
  typedef std::vector<T> type;
};

template <typename T>
class Widget2 {
 public:
  typename myVector2<T>::type list;
};

template <>
class myVector2<float> {
  enum class WineType { White, Red, Rose };
  WineType type;
};
// main
myVector<int> myvec = {1, 2, 3};
myVector2<int>::type myvec2 = {4, 5,6};  // 此处不用加typename是因为T已经确定
显然使用using比使用typedef方便，使用using可以直接使用myvector，而使用typedef则在使用过程中需要带上::type；如上float特化所示，type在某个特化上可能不是别名，故使用::时需要在前面加上typename将其解释成一个类型成员

类型萃取器

用于添加或删除模板T的修饰

将const T -> T

std::remove_const_t::type (C++11)

std::remove_const_t (C++14) 

1
2
template<typename _Tp>
using remove_const_t = typename remove_const<_Tp>::type;

-->