decltype关键字

Posted Daniel_z

tags:

篇首语:本文由小常识网(cha138.com)小编为大家整理,主要介绍了decltype关键字相关的知识,希望对你有一定的参考价值。

  • 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关键字的主要内容,如果未能解决你的问题,请参考以下文章

decltype关键字

第2课 类型推导_decltype关键字

C++11类型推导的关键字auto和decltype

[C++11]decltype类型推导规则

C++ 11 auto 与 decltype

C++ 11 auto 与 decltype