大家好，又见面了，我是你们的朋友全栈君。
在写函数模板时，存在一个问题是不能总能知道应该在声明中使用那种类型。 例如：
代码语言：javascript复制template<class T1, class T2>
void ft(T1 x, T2 y)
{
...
?type? xpy = x y;
...
} 在以上的例子中，因为函数模板的存在，我们并不能知道变量xpy的类型。 这时我们可以使用C 11新增的关键字decltype
代码语言：javascript复制int x;
decltype(x) y; //使得y的类型与x相同
decltype(x y) xpy = x y; // 参数可以是表达式 , 可直接进行初始化—————————————————————————- 为确定类型，编译器必须遍历一个核对表，假设有如下声明：
代码语言：javascript复制decltype (expression) var;第一步： 如果expression是一个没有内层括号括起来的表标识符，则var的类型与该标识符的类型相同，包括const限定符：
代码语言：javascript复制double x = 5.5;
double y = 7.9;
double &rx = x;
const double *pd;
decltype(x) w; // w is type double
decltype(rx) u = y; // u is type double &
decltype(pd) v; // v is type const double *
```
**第二步：**
如果expression是一个函数调用，则var的类型与函数的返回类型相同：long indeed(int); decltype(indeed(int)) m; // m is type long
代码语言：javascript复制**第三步：**
如果expression是一个**带内括号**的左值，则var为指向该类型的**引用**double xx = 4.4; decltype ((xx)) r2 = xx; // r2 is type double & decltype (xx) w = xx; // w is type double 第四步： 如果前面的条件都不满足，则var的类型与expression的类型相同：
代码语言：javascript复制int j = 3;
int &k = j;
int &n = j;
decltype(j 6) i1; // i1 is type int
decltype(100L) i2; // i2 is type long;
decltype(k n) i3; // i3 is type int;虽然k和n都是引用，但是k n不是引用，是两个int的和，类型是int。
——————————————————– （C 11后置返回类型）
代码语言：javascript复制template <class T1, class T2>
?type? gt(T1 x, T2 y)
{
...
retrun x y;
}我们无法预先知道x y的类型，所以我们不能确定返回值的类型。而且我们无法使用decltype，因为此时形参x与y
还未声明，所以不能使用decltype(x, y)。
此时我们可以使用如下的方法，例如有一声明：
double h(int x, float y);
使用新增的语法可以表示为：
auto h(int x, float y) -> double;
这将返回类型移到了参数声明后面。->double被称为后置返回类型。其中auto是一个占位符，表示后置返回类型提供的原型。
通过结合使用这种语法和decltype，便可以给gt()指定返回类型，如下所示：
template<class T1, class T2>
auto gt(T1 x, T2 x) -> decltype(x y)
{
return x y;
}
现在，declytpe在参数声明后面，因此x与y位于作用域内，可以使用它们
版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。
