decltype推导规则

当用decltype(e)来获取类型时,编译器将依序判断以下四规则:

标记表达式:基本上,所有出去关键字、字面量等编译器需要使用的标记之外的程序员自定义的标记(token)都可以是标记符(identifier)。而单个标记符对应的表达式就是标记符表达式。比如:int arr[4];
则arr是一个标记符表达式,而arr[3]+0、arr[2]等,则都不是标记符表达式。
通过代码理解:

int arr[5] = {0};
int* ptr = arr;
struct S {double d;} s;
void Overload(int);
void Overload(char);	//重载函数
int&& RvalRef();
const bool Func(int);
int i = 0;

//规则1:单个标记符表达式以及访问类成员,推导为本类型
decltype(arr) var1; // int[5],标记符表达式
decltype(ptr) var2; // int*,标记符表达式
decltype(s.d) var3; // double,成员访问表达式
decltype(Overload) var4; // 重载函数无法通过编译

//规则2:将亡值推导为类型的右值引用
decltype(RvalRef()) var5 = 1; //int&&

//规则3:左值推导为类型的引用
decltype(true ? i : i) var6 = i; //int&,三元运算符,返回一个i的左值
decltype((i)) var7 = i; //int&,带圆括号的左值
decltype(++i) var8 = i; //int&,++i返回i,i是左值
decltype(arr[3]) var9 = i; //int&, []操作符返回左值
decltype(*ptr) var10 = i; //int&,*解引用操作符返回左值
decltype("lval") var11 = "abc"; //const char(&)[] 类型是字符型常量数组的引用,字符串字面常量为左值

//规则4:以上都不是,推导为本类型
decltype(1) var12; //int,除字符串外的字面量为纯右值
decltype(i++) var13; //int,后置自增符返回的是i的临时复制变量,是纯右值
decltype((Func(i))); //const int,括号可以忽略

decltype推导规则-LMLPHP

10-06 22:14