• decltype用于编译时类型推导，是以一个普通表达式作为参数，返回该表达式的类型，而且decltype并不会对表达式进行求值。
• decltype的用法：

  1 //推导出表达式类型
  2int i = 4;
  3decltype(i) a;//首先推导变量i的类型为int，然后通过返回结果声明变量a，a的类型为int

   

• 在C++中，我们有时候会遇上一些匿名类型，如：

• 1struct2{
  3int d;
  4double b;
  5}anon_s;

  而借助decltype，我们可以重新使用这个匿名的结构体：

• 1decltype(anon_s) as;//定义了一个上面匿名的结构体

   

• decltype推导四规则：
  • 如果e是一个没有带括号的标记符表达式或者类成员访问表达式，那么decltype(e)就是e所命名的实体的类型（注意：如果e是一个被重载的函数，则会导致编译错误）
  • 否则，假设e的类型是T，如果e是一个将亡值，那么decltype(e)为T&&
  • 否则，假设e的类型为T，如果e是一个左值，那么decltype(e)为T&
  • 否则，假设e的类型为T，则decltype(e)为T
• 举例说明：

•  1 int i = 4;
   2 int arr[5] = {0};
   3 int *ptr = arr;
   4 struct s
   5 {
   6     double d;
   7 }s;
   8 void Overloaded(int);
   9 void Overloaded(char);//函数重载
  10 int && RvalRef();
  11 const bool Func(int);
  12 
  13 //规则1,推导为其类型
  14 decltype (arr) var1;//没有括号的标记符表达式，为其实体类型int
  15 decltype(ptr) var2;//没有括号的标记符表达式，为其实体类型int *
  16 decltype(s.d) var3;//没有括号的类成员访问表达式，为其实体类型double
  17 decltype(Overloaded) var4;//重载函数，编译错误
  18 
  19 //规则2，将亡值，推导为类型的右值引用
  20 decltype (RvalRef()) var5 = 1;
  21 
  22 //规则3，左值，推导为类型的引用
  23 decltype ((i)) var6 = i; //int &
  24 decltype (true ? i:i) var7 =i;//int &
  25 decltype (++i) var8 =i; //int &
  26 decltype (arr[5]) var9 =i;//int &
  27 decltype (*ptr) var10 = i;
  28 decltype ("hello") var11 = "hello";//const char(&) [9],字符串字面常量为左值，且为const左值
  29 
  30 //规则4：以上都是不，则推导为本类型
  31 decltype (1) var12; //const int
  32 decltype (Func(1)) var 13 = true;//const bool
  33 decltype(i++) var14 = i;//int i++返回右值

   

• 注意：字符串字面值常量为左值，而且是const左值，而非字符串字面常量则是右值

decltype关键字