Decltype

decltype : 获取表达式的类型。在编译时推导出一个表达式的类型，并且不会计算表达式的值

使用方式: decltype(expression)

例如：

int x = 0;
decltype(x) y = 1; 			// y ->  int
decltype(x+y) z = x + y; 		// z - >  int	
 
const int& i = x;
decltype(i) j = y;			// j -> const int&
 
const decltype(z) *p = &z;	// p-> const int *
decltype(z) *pi = &z; 		// pi -> int*
decltype(pi) *pp = π		//pp -> int**

auto与decltype类似但是又不同，auto只能根据变量的初始化表达式推导出变量应该具有的类型。decltype将精确的推导出表达式定义的类型，不会舍弃和弃用cv限定符。

decltype(exp)推导规则:

1. exp 是标识、类访问表达式，decltype(exp) 和exp的类型一致

例如:

class Foo{
public:
static const int Number = 0;
int x
}；
volatile int a = 0;
decltype(a) y = 1;					// y -> volatile 
decltype(Foo::Number) c = 0;           // c -> const int
Foo foo;
decltype(Foo.x) d = 0; 				 // d -> int
struct F {int x;}
F f = F();
decltype(f.x) x = 0;                              // x -> int
decltype((f.x)) e = x;                              // e -> const int

2. exp是函数调用，decltype(exp)和返回值的类型一致

3. 其他情况，如果exp是一个左值，则decltype(exp)是exp类型的左值引用，否则和exp类型一致

例如：

int int_func();
int x = 0;
decltype(int_func()) a = 0; 					//a -> int
int& int_func_l();					
decltype(int_func_l()) b = x;					// b -> int&
int&& int_func_rr();
decltype(int_func_rr()) c = 0;					// c -> int&&
 
int a = 1;
int b = 2;
decltype(a+b) z = x;						// z -> int
decltype( a+= b) y = z;					// y->int&

返回类型的后置语法使用 auto 和decltype

例如：

int& foo(int& i);
float& foo(float& f)
template <typename T>
auto func(T& val) ->decltype(foo(val))
{
return foo(val);
}

赏

谢谢你请我吃糖果