C++11 decltype

有下面这个情况：

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

在这种情况下xpy应该是什么类型呢？由于不知道ft()将如何使用，因此无法预知这一点。正确的类型可能是T1、T2或者其他类型。假如又出现了重载运算符，这会让问题更加的复杂。

于是为了解决这个问题，c++11新增了关键字 decltype。

我们可以这样使用：

int x;
decltype(x) y;//y的类型和x类型一致

除了上述这样写，我们也可以这样写：

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

通过这个关键字，我们可以把前面的代码修改成这样：

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

decltype比这些实例要复杂些。为了确定类型，编译器必须遍历一个核对表。假设有如下声明：

decltype (expression) var;

1.如果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 *

2.如果expression是一个函数调用，则var的类型与函数的返回类型相同：

long indeed(int)
decltype (indeed(3)) m; // is type int

这里并不会实际调用函数。编译器通过查看函数的原型来获悉返回类型，而无需实际调用函数。

3.加入expression是用括号括起来的标识符：

double xx = 4.4;
decltype((xx)) r2 = xx ; // r2 is double &
decltype(xx) w = xx; // w is double

括号并不会改变表达式的值和左值性。

4.如果前面都不满足，则var的类型与expression类型相同：

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

虽然k和n都是引用，是表达式k+n不是引用。

如果需要多次声明，可以结合使用typdef和decltype:

template <class T1, class T2>
void ft(T1 x, T2 y)
{typedef decltype (x+y) xytype;xytype xpy = x+y;xytype arr[10];xytype &rxy = arr[2]; // rxy a reference
}

还有一个问题是decltype没有办法解决的:

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

同样无法预知x和y相加得到的类型。看起来我们还可以用decltype，但是很不幸，这个时候还没有声明x和y，它们不在作用域内。必须在声明参数后使用decltype。为此，c++新增了一种声明和定义函数的语法。

double h(intx, float y);

可以用新增的语法编写成这个样子:

auto h(int x, float y) -> double;

这将返回类型移到了参数声明后面。->double被称为后置返回类型(trailing return type)。其中auto是一个占位符，表示后置返回类型提供的类型。这是c++11的新增auto语法。这个语法也可以用于函数定义。

auto h (int x, float y) -> double
{/* function body*/};

通过结合使用这种语法和decltype，便可以给gt()指定返回类型。

template <class T1, class T2>
auto gt(T1x, T2 y)  ->decltype(x+y)
{return x+y;
}

现在，decltype在参数声明后面，因此x和y位于作用域内，可以使用它们。

C++11 decltype相关推荐

C++11 decltype类型推导详解
decltype decltype 是 C++11 新增的一个关键字,它和 auto 的功能一样,都用来在编译时期进行自动类型推导. decltype 是"declare type" ...
C++11 decltype表达式
decltype 在某些情况下,不需要或者不能定义变量,但是希望得到某种类型,这时候就可以使用 C++11 提供的 decltype 关键字了,它的作用是在编译器编译的时候推导出一个表达式的类型,语法 ...
[C++11]decltype在泛型编程中的使用举例
关于decltype的应用多出现在泛型编程中,比如我们编写一个类模板,在里面添加遍历容器的函数,操作如下: 代码如下: #include <iostream> #include <l ...
C++11 decltype 的用法粗解
1.decltype 是啥子感性认识跟 auto 一样 auto a = 1; 但 decltype 是这样用 decltype(表达式) a = 值;// 例如 decltype(1) a = 2 ...
C++语法学习笔记二十九：详解decltype含义，decltype主要用途
实例代码 // 详解decltype含义,decltype主要用途#include <iostream> #include <functional> #include < ...
全网精华之C++11 60篇链接汇总
整理得比较完整的一个C++11系列教程,遵循由浅到深的编排顺序,并且做了大量上机验证和堪误,以及语病和语义通顺修改,呕心沥血,增删改查1年多时间才完成,汇聚csdn.博客园.Google搜索.百度搜索 ...
CppPrimer 学习笔记（1）
目录第一章开始熟悉编译器 IO 注释 while语句 for语句使用文件重定向第二章变量和基本类型基本内置类型如何选择类型类型转换字面值常量变量变量定义(define) 变量的 ...
阿龙的学习笔记---C++ 进阶知识（博客汇总）
1. C++11 - 右值引用和Move语义讲解了C++中的左值和右值,从C开始将起,主要是自定义类型的问题.https://www.cnblogs.com/catch/p/3500678.html ...
使用Clang作为编译器 —— Clang 语言扩展
1. 介绍本文档描述了 Clang 提供的语言扩展.除了这里列出的语言扩展之外,Clang 还旨在支持广泛的 GCC 扩展.有关这些扩展的更多信息,请参阅 GCC手册. 2. 特性检查宏语言扩展可 ...
C++11 类型推导decltype
我们之前使用的typeid运算符来查询一个变量的类型,这种类型查询在运行时进行.RTTI机制为每一个类型产生一个type_info类型的数据,而typeid查询返回的变量相应type_info数据,通 ...

C++11 decltype

C++11 decltype相关推荐

最新文章

热门文章