C++精要分析decltype的作用及用法
目录
- 获取表达式的类型
- 推导规则
- 返回类型后置
- 高级用法
获取表达式的类型
在编写程序的过程中，我们可能会有一种需求，就是希望可以根据一个变量的类型，来定义具有相同类型的变量。例如定义int x = 0;,那么我们是否可以不使用int关键字，仅使用x就定义一个新的整型变量y呢？
答案是可以的，C++11新增的decltype关键字就是干这个用的。上述需求用代码实现如下：
int x = 0; decltype(x) y = 2; // y的类型为int
decltype是在编译期用来推导表达式类型的。其语法格式为：decltype(expression)。大家可以看到，decltype是可以对一个表达式取类型的，并不仅是单个的变量。所以，把形式再扩展一下：
int x = 0; decltype(x) y = 2; decltype(x + y) z = 3; // z的类型为int
到这一步，相信大家已经可以基本掌握其特性，在工作中能运用了。当然，仅知道这些还是不够的，作为C++程序员怎么能停下探索的脚步呢。
推导规则
decltype的推导规则，是面试中最容易挖坑的地方。你要是不信，那就先回答下面这些问题吧：
const int func_one();
decltype(func_one()) a1 = 0; // a1是什么类型？
struct TestData { int x;};
cosnt TestData b_node = TestData();
decltype(b_node.x) b1 = 0; // b1是什么类型？
decltype((b_node.x)) b2 = b1; // b2是什么类型？
int n = 0, m = 0;
decltype(n + m) c1 = 0; // c1是什么类型？
decltype(n += m) c2 = c1; // c2是什么类型？
注释中有五个问题，如果你全都答对而且不是蒙的，那请开班授课吧，我会第一个报名。先公布一下答案，看看自己答对了多少吧。
a1: int
b1: int
b2: const int &
c1: int
c2: int &
如果这个答案让你觉得有些晕头转向，不要紧，先来看下规则描述吧：
- 如果expression表达式是标识符、类访问表达式，
decltype(exp)和exp的类型一致； - 如果expression是函数调用，则
decltype(exp)和返回值的类型一致； - 其他情况，如果expression是一个左值，则
decltype(exp)是exp类型的左值引用，否则和exp类型一致。
现在，将规则理解之后，再看一遍代码和答案，是否找到规律了呢？相信在面试中遇到这样的问题，你已经可以应对自如了。
返回类型后置
在说明decltype的一个高级用法之前，我们先了解C++11的一个新特性，就是函数返回类型后置。与之相对的，就是返回类型前置，这是我们最熟悉的函数声明格式。例如：int foo();
而返回类型后置的示例如下：
auto foo() -> int {
return 0;
}
在上面的代码中，auto关键字是一个占位符，int是其实际返回类型。初看起来，后置声明与前置声明在功能上是一样的，那它难道是一个多余的设计吗？它当然自有用武之地。
在需要返回比较复杂的类型时，使用后置式声明可以简化代码并使其可读性更好。例如要返回的类型是函数指针，前置式声明就必须先用typedef进行预定义，否则语法不允许。而后置式声明则可以直接实现，无需预定义，如下代码所示。
int exam(bool b) {
int ret = -1;
if (b) {
ret = 0;
}
else if (!b) {
ret = 1;
}
return ret;
}
auto foo() -> int(*)(bool) {
return exam;
}
int main() {
auto fn = foo();
cout << fn(true) << endl;
cout << fn(false) << endl;
}
高级用法
现在正式介绍decltype与函数返回类型后置相结合，在模板编程中的用法，就是用于推导函数模板的返回类型。之所以将此归为高级用法，也是因为模板在C++中虽然功能强大，但属实复杂不易理解。一般是编写基础功能库或是算法库时，使用到模板的特性。
先看一段示例代码：
template<class T1, class T2>
auto sum(T1 t1, T2 t2) -> decltype(t1 + t2) {
return t1 + t2;
}
int main() {
auto ret = sum(4.6, 123);
cout << ret << endl;
}
其精髓之处，就在于可以灵活支持T1与T2不同类型的组合，而不必为每种返回类型都去写一个实现。例如int+int, double+int, string+string等各种组合情况。
但如果是把decltype(t1 + t2)以前置写法替换auto，则会产生编译错误。道理很简单，编译器对t1+t2的参数类型还一无所知，只有在解析到返回值时，才能最终确定函数的返回类型，这就是decltype加上函数返回类型后置在模板编程中的妙用。
到此这篇关于C++精要分析decltype的作用及用法的文章就介绍到这了,更多相关C++ decltype内容请搜索我们以前的文章或继续浏览下面的相关文章希望大家以后多多支持我们！
相关推荐
-
C++11新特性中auto 和 decltype 区别和联系
C++11新特性中auto 和 decltype 区别和联系 一. auto简介 编程时候常常需要把表达式的值付给变量,需要在声明变量的时候清楚的知道变量是什么类型.然而做到这一点并非那么容易(特别是模板中),有时候根本做不到.为了解决这个问题,C++11新标准就引入了auto类型说明符,用它就能让编译器替我们去分析表达式所属的类型.和原来那些只对应某种特定的类型说明符(例如 int)不同.auto 让编译器通过初始值来进行类型推演.从而获得定义变量的类型,所以说 auto 定义的变量必须有初始
-
C++ decltype类型说明符
1 基本语法 decltype 类型说明符生成指定表达式的类型.在此过程中,编译器分析表达式并得到它的类型,却不实际计算表达式的值. 语法为: decltype( expression ) 编译器使用下列规则来确定expression 参数的类型. 如果 expression 参数是标识符或类成员访问,则 decltype(expression) 是 expression 命名的实体的类型.如果不存在此类实体或 expression 参数命名一组重载函数,则编译器将生成错误消息. 如果 expr
-
C++11特性小结之decltype、类内初始化、列表初始化返回值
作用:返回表达式或变量的类型 返回值规则: 若e是一个左值(lvalue,即"可寻址值"),则decltype(e)将返回T& 若e是一个临终值(xvalue),则返回值为T&& 若e是一个纯右值(prvalue),则返回值为T decltype()不会执行括号内的表达式,decltype返回的类型是用于声明的,不能用于单纯的判断.比如decltype(a)==int,是不可以的,只能是在定义新的变量.返回值的地方使用: int a=1; decltype(a)
-
C++ decltype用法举例说明
1.什么是decltype decltype是C++11新增的一个关键字,和auto的功能一样,用来在编译时期进行自动类型推导.引入decltype是因为auto并不适用于所有的自动类型推导场景,在某些特殊情况下auto用起来很不方便,甚至压根无法使用. 对于内置类型的对象,使用decltype很直观,但当参数为复合类型的时候就应该注意一些使用细节问题. auto varName=value; decltype(exp) varName=value; auto根据=右边的初始值推导出变量的类型,
-
c++ decltype关键字的用法
1. decltype关键字的用途是什么 给定变量的名称或者表达式,decltype返回变量或者表达式的类型.如下所示: const int i = 0; // decltype(i) is const int bool f(const Widget& w); // decltype(w) is const Widget&,decltype(f) is bool(const Widget&) struct Point { int x, y; // decltype(Point::x
-
C++ decltype 说明符
目录 1.语法 2.关键词decltype 1.语法 decltype ( 实体 ) (1) (C++11 起) decltype ( 表达式 ) (2) (C++11 起) 解释: 1) 如果实参是没有括号的标识表达式或没有括号的类成员访问表达式,那么 decltype 产生以该表达式命名的实体的类型.如果没有这种实体或该实参指名了一组重载函数,那么程序非良构. 如果实参是指名某个结构化绑定的没有括号的标识表达式,那么 decltype 产生其被引用类型(在关于结构化绑定声明的说明中有所描述)
-
C++精要分析decltype的作用及用法
目录 获取表达式的类型 推导规则 返回类型后置 高级用法 获取表达式的类型 在编写程序的过程中,我们可能会有一种需求,就是希望可以根据一个变量的类型,来定义具有相同类型的变量.例如定义int x = 0;,那么我们是否可以不使用int关键字,仅使用x就定义一个新的整型变量y呢? 答案是可以的,C++11新增的decltype关键字就是干这个用的.上述需求用代码实现如下: int x = 0; decltype(x) y = 2; // y的类型为int decltype是在编译期用来推导表达式类
-
C++精要分析右值引用与完美转发的应用
目录 区分左值与右值 右值引用 移动语义 完美转发 结语 区分左值与右值 在C++面试的时候,有一个看起来似乎挺简单的问题,却总可以挖出坑来,就是问:“如何区分左值与右值?” 如果面试者自信地回答:“简单来说,等号左边的就是左值,等号右边的就是右值.” 那么好了,手写一道面试题继续提问. int a=1; int b=a; 问:a和b各是左值还是右值? b是左值没有疑问,但如果说a在上面是左值,在下面是右值的,那就要面壁思过了.C++从来就不是一门可以浅尝辄止的编程语言,要学好它真的需要不断地去
-
举例分析private的作用(c/c++学习)
c++中private的用处 我知道我们可以用 public 中的值,把private中的数据给提出来,但是还是搞不懂private该怎么用,或者说在一个具体程序中,private有什么用. class fun{ public: void setname(string x) { name =x; } string getname() { return name; } private: string name; }; /*主函数*/ int main() { fun ob; ob.setname(
-
C++精要分析lambda表达式的使用
目录 引言 语法与示例 捕获列表 捕获引用 特殊用法 实现原理 应用 引言 C++要走向现代语言,如果不支持lambda表达式,你很难认为这门语言和现代有什么关系.幸好,从C++11标准起,它就实现了对lambda表达式的支持. 那么,什么是lambda表达式呢? lambda表达式是匿名函数,就是说不用定义函数名,函数实现可以直接嵌入在业务逻辑代码中.诸如python.java.C#等语言,都将其作为基础特性. 其优点是提高了代码的可读性,对于一些无需重用的方法特别适合.例如在容器的迭代中实现
-
浅谈#ifndef,#define,#endif的作用和用法
问题:ifndef/define/endif"主要目的是防止头文件的重复包含和编译 ======================================================== 用法: .h文件,如下: #ifndef XX_H #define XX_H ... #endif 这样如果有两个地方都包含这个头文件,就不会出现两次包含的情况 .. 因为在第二次包含时 XX_H 已经有定义了,所以就不再 include了 ------------------------------
-
Android adb命令中pm工具的作用及用法说明
玩安卓的人都知道adb,玩adb的人都知道install和uninstall,但是为什么adb shell pm install packagename命令中间要有一个pm?pm是什么意思,起什么作用的?这个问题恐怕不是每个人都能回答的出来的. pm工具为包管理(package manager)的简称,可以使用pm工具来执行应用的安装和查询应用包的信息.系统权限.控制应用.pm工具是Android开发与测试过程中必不可少的工具,通常放在/system/bin/下. 在命令行模式下输入pm,系统给
-
Angular中$cacheFactory的作用和用法实例详解
先说下缓存: 一个缓存就是一个组件,它可以透明地储存数据,以便以后可以更快地服务于请求.多次重复地获取资源可能会导致数据重复,消耗时间.因此缓存适用于变化性不大的一些数据,缓存能够服务的请求越多,整体系统性能就能提升越多. $cacheFactory介绍: $cacheFactory是一个为Angular服务生产缓存对象的服务.要创建一个缓存对象,可以使用$cacheFactory通过一个ID和capacity.其中,ID是一个缓存对象的名称,capacity则是描述缓存键值对的最大数量. 1.
-
JavaScript中的await/async的作用和用法
await/async 是 ES7 最重要特性之一,它是目前为止 JS 最佳的异步解决方案了.虽然没有在 ES2016 中录入,但很快就到来,目前已经在 ES-Next Stage 4 阶段. 直接上例子,比如我们需要按顺序获取:产品数据=>用户数据=>评论数据 老朋友 Ajax 传统的写法,无需解释 // 获取产品数据 ajax('products.json', (products) => { console.log('AJAX/products >>>', JSON
-
Java中volatile关键字的作用与用法详解
volatile这个关键字可能很多朋友都听说过,或许也都用过.在Java 5之前,它是一个备受争议的关键字,因为在程序中使用它往往会导致出人意料的结果.在Java 5之后,volatile关键字才得以重获生机. volatile 关键字作用是,使系统中所有线程对该关键字修饰的变量共享可见,可以禁止线程的工作内存对volatile修饰的变量进行缓存. volatile 2个使用场景: 1.可见性:Java提供了volatile关键字来保证可见性. 当一个共享变量被volatile修饰时,它会保证修
-
Java监听器的作用及用法代码示例
监听器在JavaWeb开发中用得比较多 Java Web开发中的监听器(listener)就是application.session.request三个对象创建.销毁或者往其中添加修改删除属性时自动执行代码的功能组件,如下所示: ①ServletContextListener:对Servlet上下文的创建和销毁进行监听. ②ServletContextAttributeListener:监听Servlet上下文属性的添加.删除和替换. ③HttpSessionListener:对Session的