C++ primer plus 关于 decltype

关键字decltype

template<class T1,class T2>
void ft(T1 x, T2 y) {
	? type ? xpy = x + y;
}

在这种情况下，x+y应该是什么类型呢？decltype关键字给出了解决方案：

decltype(x+y) xpy;
xpy = x+y;

其含义是x+y的类型来定义xpy，上述代码也可简写为decltype(x+y) xpy = x + y，下面我们来详细理解下这个关键字：
假设有如下声明：
decltype(expression) var

1. 如果expression是一个没有用括号括起的标识符，则var的类型与该标识符类型相同，包括const等限定符：

double x = 5.5;
double y = 7.7;
double &rx = x;
const double *pd;
decltype(x) w; //w是double类型
decltype(rx) u = y; //u是double &类型
decltype(pd) v; //v是const double *类型

2. 如果括号内的内容是个函数，那么其类型将于括号内函数的返回值类型相同，注意这里并不会运行函数，而是直接通过函数返回值来确定类型。
3. 如果expression是一个左值，那么var为指向其类型的引用。这意味着好像前面的 w 应该是引用类型，但注意这种情况已经在第一步处理过了。要进入第三步，expression必须是用括号括起来的标识符。如下所示：

double x = 5.5;
decltype((x)) r2 = x; //r2是一个double &类型
decltype(x) w = x; //w是一个double类型

4. 如果前面条件都不满足，那么var类型与expression类型相同：

int j = 3;
int &k = j;
int &n = j;
decltype(j + 6) i1; //i1是int型
decltype(100L) i2; //i2是long型
decltype(k + n) i3; //i3是int型

在我们需要多次声明的情况下可以使用typedef与decltype相结合的方式：

double x = 5.5;
int y = 2;
typedef decltype(x + y) xytype;
xytype xpy = x + y;

这样就可以多次使用了。

还有一种情况：如果我们的返回值是未知类型呢？

template<class T1,class T2>
? type ? gt(T1 x, T2 x) {
	return x + y;
}

C++新增了一种函数声明方式：对于函数原型double h(int x,float y)有auto h(int x,float y)->double;的函数声明方式。结合decltype则可以这样声明函数auto ft(T1 x,T2 y)->decltyoe(x+y)。（->double在这里被称为后置返回类型）