一.decltype关键字介绍

decltype关键字与auto关键字相似,但又有不同之处;auto关键字是在编译时通过已经初始化的变量来确定auto所代表的类型。换句话说,auto修饰的表达式必须是已经初始化的变量;那么如果我们只是想得到此变量的类型,那又该如何做呢?这个时候就轮到decltype出场了,decltype关键字也是用来在编译时推导出一个表达式的类型,但此表达式初始化与否,在编译器都没有多大的影响。

下面是使用关键字decltype关键字的示例:

#include <iostream>
using namespace std;int main()
{int x = 0;decltype(x) y = 1;  //y -> intcout << y << endl;decltype(x + y) z = 2; //z -> intcout << z << endl;const int& i = x;decltype(i) j = y;  //j -> const int &
cout << j << endl;const decltype(z) *p = &z;  //*p -> const intdecltype(z) *pi = &z;       //*pi -> int, pi->int*decltype(pi) *pp = &pi;     //*pp -> int*, pp->int**
cout << pp << endl;         //打印结果:0x61fe80cout << *pp << endl;        //打印结果:0x61fe84cout << **pp << endl;       //打印结果:2return 0;
}

A.y和z的结果表明decltype可以根据表达式直接推导出变量的类型,这个功能和auto很像,但又有所不同,auto只能根据变量的初始化表达式推导出变量应该具有的类型,如果想要通过某个表达式得到类型,但又不希望新变量和这个表达式具有同样的值,那么这个时候auto就不太适用了。

B.j的结果表明decltype通过表达式得到的类型,可以保留表达式的引用及const限定符,decltype能够精确地推导出表达式定义本身的类型,不会像auto那样在某些情况下舍弃掉引用和cv限定符。

C.p、pi的结果表明decltype可以像auto一样,加上引用和指针,以及cv限定符。

D.pp的推导说明,当表达式是一个指针的时候,decltype仍然能够推导出表达式的实际类型(指针类型),之后结合pp定义时的指针标记,得到的pp是一个二维指针类型

二.decltype的推导规则

decltyp(exp)的推导规则如下所示:

(1).标识符表达式和类访问表达式。

(2).函数调用(非标识符表达式,也非类访问表达式)。

(3).带括号的表达式和加法运算表达式(其他情况)。

先来说第一种情况:

#include <iostream>
using namespace std;class Test
{
public:Test() {}public:static const int nNumber = 0;int x;
};int main()
{//类访问表达式decltype(Test::nNumber) c = 10;Test test;decltype(test.x) d = 20;cout << c << "," << d <<endl;//标识符表达式int y = 20;decltype(y) z = 30;return 0;
}

第二种情况:函数调用

#include <iostream>using namespace std;class Test
{
public:Test() {}public:int m_nNum = -10;
};int Test_Int();             //纯右值
int& Test_Int_One();        //左值const int Test_Cint();      //纯右值
const int& Test_Cint_One(); //左值const Test Test_Class();    //纯右值int main()
{int x = 10;decltype(Test_Int()) a1 = x;        //a1->intcout << a1 << endl;decltype(Test_Cint_One()) a2 = x;   //a2->int&int y = a2;cout << y << endl;cout << a2 << endl;decltype(Test_Cint()) b1 = x;       //b1->const intb1 = 20;cout << b1 << endl;decltype(Test_Cint_One()) b2 = x;   //b2->const& int//b2 = 30;                            //error:b2只是一个只读引用,不可再为其赋值cout << b2 << endl;decltype(Test_Class()) c1 = Test();cout << c1.m_nNum << endl;return 0;
}

能够看出按照规则2推导decltype的结果和函数的返回值类型保持一致,但需要注意的是b1是int而不是const int,这是因为函数返回的int是一个纯右值,对于纯右值而言,只有类类型可以携带cv限定符,除此之外的一般都会忽略掉cv限定符;因此decltype推导出来的b1是一个int类型,而c1推导出的类型是const Test。

第三种:带括号的表达式和加法运算表达式

#include <iostream>using namespace std;class Test
{
public:Test() {}public:static const int nNum = -10;int x = 0;
};int main()
{const Test test = Test();decltype(test.x) a = 0;     //a->intdecltype((test.x)) b = a;   //b->const int&b = 10;                     //error:b为只读引用cout << b << endl;int m =0,n=0;decltype(m + n) c = 10;     //c->intdecltype(m += n) d = c;      //d ->int &return 0;
}

a和b的结果:仅仅多加了一对括号,它们得到的类型却不是相同的。

a的结果很明显,根据推导规则1,a的类型就是test.x的定义类型。

b的结果并不适用与推导规则1和推导规则2,根据test.x是一个左值,可知括号表达式也是一个左值,因此可以根据推导规则3,知道decltype的结果将是一个左值引用;因为test的定义时const Test,所以说foo.x是一个const int类型左值,因此decltype的推导结果是const int&.

同样的,m+n返回一个右值,decltype的结果为int。最后,m+=n返回一个左值,根据推导规则3,decltype的结果为int&.

转载于:https://www.cnblogs.com/QingYiShouJiuRen/p/11391089.html

C++11新特性之decltype关键字的使用相关推荐

  1. C++11新特性之decltype类型推导

    ​ 目录 一.decltype关键字 二.decltype的推导规则 1.表达式为单独变量 2.表达式为函数调用 3.表达式为左值,或者被()包围 三. decltype的应用 在前面一章,小编已经对 ...

  2. C++11新特性之auto关键字的使用

    一.auto关键字简介 auto这个关键字并不是一个全新的关键字,在旧标准中,它代表的是"具有自动存储期的局部变量":但是它在这方面并没有起到很大的作用,比如:auto int i ...

  3. 【C++11新特性】 nullptr关键字

    原创作品,转载请标明:http://blog.csdn.net/Xiejingfa/article/details/50478512 熟悉C++的童鞋都知道,为了避免"野指针"(即 ...

  4. 【C++11新特性】 auto关键字

    原文链接:https://www.cnblogs.com/lenmom/p/7988635.html 熟悉脚本语言的人都知道,很多脚本语言都引入了"类型自动推断"技术:比如pyth ...

  5. 二、C++11新特性:decltype类型推导

    目录 二.decltype类型推导 2.1. decltype decltype和auto的异同: 2.2.decltype的应用 ①.decltype和typedf/using合用 ②.deltyp ...

  6. C++11 新特性简介

    1.auto auto是旧关键字,在C++11之前,auto用来声明自动变量,表明变量存储在栈,很少使用.在C++11中被赋予了新的含义和作用,用于类型推断. auto关键字主要有两种用途:一是在变量 ...

  7. C++11新特性之二:decltype

    decltype与auto关键字一样,用于进行编译时类型推导. decltype实际上有点像auto的反函数,auto可以让你声明一个变量,而decltype则可以从一个变量或表达式中得到类型,例如: ...

  8. C++11新特性decltype

    该博文为原创文章,未经博主同意不得转载,如同意转载请注明博文出处 本文章博客地址:https://cplusplus.blog.csdn.net/article/details/105042574 C ...

  9. 【C++】C++11 新特性(auto,decltype,nullptr,快速遍历,【Lambda表达式详解】)

    C++11 重要新特性 auto decltype nullptr 快速遍历与数组初始化 Lambda 表达式 Lambda 应用 外部变量捕获 mutable auto 可以从初始化表达式中推断出变 ...

最新文章

  1. 3创建型模式之单例模式
  2. Apache Storm 实时流处理系统ACK机制以及源码分析
  3. python入门实践1-11课视频分享
  4. 最长公共子序列问题LCS
  5. Eclipse显示内存占用
  6. 数据库开发——MySQL——多表查询
  7. jdbc连接mysql传参_将参数传递给JDBC PreparedStatement
  8. 【硬件】PCB设计步骤
  9. Google Protobuf 使用介绍
  10. java网络编程1、2章习题
  11. ffmpeg-20160517-git-bin
  12. ios 团购信息客户端demo(二)
  13. 判断日期数组是否连续
  14. oracle数据库的大字段,Oracle数据库大字段问题
  15. taobao wap session
  16. ESP8266实现WIFI局域网连接手机APP监控
  17. 小实验----Cobbler自动化部署装机
  18. Python获取所有股票代码以及股票历史成交数据分析
  19. Spring Boot Aop结合Swagger记录用户操作日志
  20. c语言程序设计冲刺串讲,C语言程序设计冲刺串讲.ppt

热门文章

  1. RHEL 8 - 用podman/buildah/skopeo构建systemd级别运行容器
  2. 具有完整静态文件(JS、CSS)支持的 ASP.NET Core 3.x 动态可加载插件
  3. 使用动态数据进行数据分页
  4. code css怎么拿不到div_哈登和威少再怎么努力,也追不上杜兰特,因为刷子是拿不到冠军的...
  5. 用python让excel飞起来 pdf_讯飞智能键盘K710 一款无网络实力依然在线的黑科技产品...
  6. 依赖dll_DLL攻击漫谈
  7. java声明时间为什么类型_JAVA--类的声明周期
  8. 北京交通大学计算机学院篮球,院际杯篮球赛|男篮小组赛第四轮战报
  9. 嵌入式linux opengl6,利用winSSHD实现Windows和Linux间的文件互传
  10. 肇庆计算机商务学校地址,肇庆市商业学校(商业技工学校)招生报名