C++ decltype类型说明符
本系列文章由 @yhl_leo 出品,转载请注明出处。
文章链接: http://blog.csdn.net/yhl_leo/article/details/50865552
1 基本语法
decltype
类型说明符生成指定表达式的类型。在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值。
语法为:
decltype( expression )
编译器使用下列规则来确定expression
参数的类型。
- 如果
expression
参数是标识符或类成员访问,则decltype(expression)
是expression
命名的实体的类型。如果不存在此类实体或expression
参数命名一组重载函数,则编译器将生成错误消息。 - 如果
expression
参数是对一个函数或一个重载运算符函数的调用,则decltype(expression)
是函数的返回类型。将忽略重载运算符两边的括号。 - 如果
expression
参数是右值,则decltype(expression)
是expression
类型。如果expression
参数是左值,则decltype(expression)
是对 左值引用 类型的expression
。
给出如下示例代码:
int var;
const int&& fx();
struct A { double x; }
const A* a = new A();
语句 | 类型 | 注释 |
---|---|---|
decltype(fx());
|
const int &&
|
对左值引用的const int
|
decltype(var);
|
int
|
变量 var 的类型
|
decltype(a->x);
|
double
|
成员访问的类型 |
decltype((a->x));
|
const double&
|
内部括号导致语句作为表达式而不是成员访问计算。由于a 声明为 const 指针,因此类型是对const double 的引用。
|
2 decltype
和引用
如果decltype
使用的表达式不是一个变量,则decltype
返回表达式结果对应的类型。但是有些时候,一些表达式向decltype
返回一个引用类型。一般来说,当这种情形发生时,意味着该表达式的结果对象能作为一条赋值语句的左值:
// decltype的结果可以是引用类型
int i = 42, *p = &i, &r = i;
decltype(r + 0) b; // OK, 加法的结果是int,因此b是一个(未初始化)的int
decltype(*p) c; // Error, c是int&, 必须初始化
因为r
是一个引用,因此decltype(r)
的结果是引用类型,如果想让结果类型是r
所指的类型,可以把r
作为表达式的一部分,如r+0
,显然这个表达式的结果将是一个具体的值而非一个引用。
另一方面,如果表达式的内容是解引用操作,则decltype
将得到引用类型。正如我们所熟悉的那样,解引用指针可以得到指针所指对象,而且还能给这个对象赋值,因此,decltype(*p)
的结果类型是int&
而非int
。
3 decltype
和auto
- 处理顶层const和引用的方式不同(参考阅读:C++ auto类型说明符)
如果decltype
使用的表达式是一个变量,则decltype
返回该变量的类型(包括顶层const
和引用在内):
const int ci = 0, &cj = ci;
decltype(ci) x = 0; // x的类型是const int
decltype(cj) y = x; // y的类型是const int&,y绑定到变量x
decltype(cj) z; // Error, z是一个引用,必须初始化
decltype
的结果类型与表达式形式密切相关
对于decltype
所用的引用来说,如果变量名加上了一对括号,则得到的类型与不加括号时会有所不同。如果decltype
使用的是一个不加括号的变量,则得到的结果就是该变量的类型;如果给变量加上了一层或多层括号,编译器就会把它当成是一个表达式。
decltype((i)) d; // Error, d是int&, 必须初始化
decltype(i) e; // OK, e是一个未初始化的int
- 模板函数的返回类型
- 在 C++11 中,可以结合使用尾随返回类型上的
decltype
类型说明符和auto
关键字来声明其返回类型依赖于其模板参数类型的模板函数。 - 在 C++14 中,可以使用不带尾随返回类型的
decltype(auto)
来声明其返回类型取决于其模板参数类型的模板函数。
- 在 C++11 中,可以结合使用尾随返回类型上的
例如,定义一个求和模板函数:
//C++11template<typename T, typename U>
auto myFunc(T&& t, U&& u) -> decltype (forward<T>(t) + forward<U>(u)) { return forward<T>(t) + forward<U>(u); };//C++14
template<typename T, typename U>
decltype(auto) myFunc(T&& t, U&& u) { return forward<T>(t) + forward<U>(u); };
(forward
:如果参数是右值或右值引用,则有条件地将其参数强制转换为右值引用。)
附上一段源码:
#include <iostream>
#include <string>
#include <utility>
#include <iomanip>using namespace std;template<typename T1, typename T2>
auto Plus(T1&& t1, T2&& t2) -> decltype(forward<T1>(t1) + forward<T2>(t2))
{return forward<T1>(t1) + forward<T2>(t2);
}class X
{friend X operator+(const X& x1, const X& x2){return X(x1.m_data + x2.m_data);}public:X(int data) : m_data(data) {}int Dump() const { return m_data;}
private:int m_data;
};int main()
{// Integer int i = 4;cout << "Plus(i, 9) = " << Plus(i, 9) << endl;// Floating pointfloat dx = 4.0;float dy = 9.5;cout << setprecision(3) << "Plus(dx, dy) = " <<Plus(dx, dy) << endl;// String string hello = "Hello, ";string world = "world!";cout << Plus(hello, world) << endl;// Custom typeX x1(20);X x2(22);X x3 = Plus(x1, x2);cout << "x3.Dump() = " << x3.Dump() << endl;
}
运行结果为:
Plus(i, 9) = 13
Plus(dx, dy) = 13.5
Hello, world!
x3.Dump() = 42
参考资料:
- Microsoft Developer Network: decltype(C++)
- C++ Primer(第五版)》 Stanley B. Lippman.
C++ decltype类型说明符相关推荐
- C++ decltype类型说明符(尾置返回类型使用)
转自https://blog.csdn.net/yhl_leo/article/details/50865552 1 基本语法 decltype 类型说明符生成指定表达式的类型.在此过程中,编译器分析 ...
- 关键字typedef、关键字using、auto类型说明符和declytpe类型指示符
文章目录 类型别名 概念 关键字 typedef 别名声明 (alias declaration) using 指针.常量和类型别名 类型别名简化多维数组指针 auto类型说明符 概念 复合类型.常量 ...
- C++ const限定符和auto类型说明符
const限定符 # 1.限定常量 有时我们希望定义这样的变量:它的值不能被改变.为了满足这一要求,我们使用const对变量的类型加以限定: const int bufSize = 512; 这样就把 ...
- C++11之后的decltype类型指示符
C++11之后的decltype类型指示符 一.什么是decltype类型指示符 二.typeid运算符 三.使用decltype指示符 四.decltype和引用 五.decltype(auto) ...
- decltype 类型指示符
有时会遇到这种情况:希望从表达式的类型推断出要定义的变量的类型,但是不想用 该表达式的值初始化变量.为了满足这一要求, C++11 新标准引入了类型说明符 decltype,它的作用是选择并返回操作数 ...
- C++ decltype类型提示符总结
定义: 有时会遇到这种情况:希望从表达式的类型推断出要定义的变量的类型,但是不想用该表达式的值初始化变量.为了满足这一要求,C++11新标准引入了第二种类型说明符decltype,它的作用是选择并返回 ...
- [C++]decltype类型指示符
decltype类型指示符 decltype类型指示符:如果你希望从表达式的类型推断出要定义的变量的类型,但是却不想用表达式的值来初始化这个变量,那么你就可以使用decltype关键字,来说明这个变量 ...
- 程序编译出错,缺少类型说明符;语法错误 : 缺少“;”(在标识符“PVOID64”的前面)
1>正在编译... 1>stdafx.cpp 1>E:/VS2005/VC/PlatformSDK/include/winnt.h(222) : error C2146: 语法错 ...
- VS报错 <error-type> 此声明没有存储类或类型说明符
因为你没把代码放进函数里.... 参考文章:此声明没有存储类或类型说明符
最新文章
- iphone连上wifi却上不了网_必收藏为什么手机信号满格,却上不了网,4招为你解决...
- poj-1062-昂贵的聘礼
- AndroidStudio创建第一个 Flutter 应用程序
- Java-Calendar
- u2020 华为_华为5G网管U2020常用MML命令(很实用)
- 这几部高分学科纪录片,助力孩子涨姿势拓视野~
- java中的.运算符_java中的各种运算符
- Unity 常用API以及C# 工具类的使用
- c语言求统计硬币正反次数,C语言猜测硬币正反面
- 搜集的几个超高难度的数独题
- 数据库文件的存放位置
- svn忽略文件不提交
- linux文件名排序规则,Linux 上readdir 遍历文件夹按文件名排序
- “扣哒杯” AI世青赛公布2021-2022年度全国决赛个人获奖名单
- Word2vec简单整理
- 三分钟教你学会如何将密文解码成明文
- TPC-H和TPC-DS
- vscode 智能打印_使用 Hyperledger Caliper 对 VS Code 中开发的智能合约进行性能测试...
- ansys【经典】——查看应力应变分布
- 反向迭代器和正向迭代器