关键字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
- 如果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 *类型
- 如果括号内的内容是个函数,那么其类型将于括号内函数的返回值类型相同,注意这里并不会运行函数,而是直接通过函数返回值来确定类型。
- 如果expression是一个左值,那么var为指向其类型的引用。这意味着好像前面的 w 应该是引用类型,但注意这种情况已经在第一步处理过了。要进入第三步,expression必须是用括号括起来的标识符。如下所示:
double x = 5.5;
decltype((x)) r2 = x; //r2是一个double &类型
decltype(x) w = x; //w是一个double类型
- 如果前面条件都不满足,那么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在这里被称为后置返回类型)