关键字declare_protected关键字

大家好，又见面了，我是你们的朋友全栈君。

在写函数模板时，存在一个问题是不能总能知道应该在声明中使用那种类型。 例如：

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

在以上的例子中，因为函数模板的存在，我们并不能知道变量xpy的类型。 这时我们可以使用C++11新增的关键字decltype

int x;
decltype(x) y; //使得y的类型与x相同
decltype(x+y) xpy = x+y; // 参数可以是表达式 , 可直接进行初始化

—————————————————————————- 为确定类型，编译器必须遍历一个核对表，假设有如下声明：

decltype (expression) var;

第一步： 如果expression是一个没有内层括号括起来的表标识符，则var的类型与该标识符的类型相同，包括const限定符：

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

**第三步：**
如果expression是一个**带内括号**的左值，则var为指向该类型的**引用**

double xx = 4.4; decltype ((xx)) r2 = xx; // r2 is type double & decltype (xx) w = xx; // w is type double 第四步： 如果前面的条件都不满足，则var的类型与expression的类型相同：

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后置返回类型）

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位于作用域内，可以使用它们

版权声明：本文内容由互联网用户自发贡献，该文观点仅代表作者本人。本站仅提供信息存储空间服务，不拥有所有权，不承担相关法律责任。如发现本站有涉嫌侵权/违法违规的内容， 请发送邮件至 举报，一经查实，本站将立刻删除。