学习了博主的《漫谈继承技术》系列博文之后,相信大家都有所收获吧!这次博主将和大家一起探讨 《灵活而奇特的C++语言特性》 ,主要包括引用、常量(const)、常量表达式(constexpr)、静态(static)、外部(expert)、类型定义(typedef)、类型别名(aliases)、类型转换、作用域解析、统一初始化、显示转换运算符、特性(attribute)、用户自定义文本、头文件、可变长度参数列表和预处理器宏。尽管这个知识清单显得有点凌乱,但是这些话题都是博主经过精心挑选,是容易混淆的语言特性。本篇我们来学习一下constexpr,增进大家对《灵活而奇特的C++语言特性》的理解。
const是constant的缩写,指保持不变的量。编译器会执行这一要求,任何尝试改变常量的行为都会当作错误处理。此外,当启用了优化时,编译器可以利用此信息生成更好的代码。关键字const主要有两种相关的用法。可以用这个关键字标记变量或者参数,也可以用const标记方法。本篇博文主要探讨constexpr关键字的含义和用法,希望对大家有一点帮助。
C++一直存在常量表达式的概念,在某些情况下需要使用常量表达式。例如当在堆栈上定义数组时,数组的大小就必须是一个常量表达式。还有switch的参数以及case的条件都必须是常量表达式。
在定义函数或常量的时候,就可以加上constexpr关键字限制。因为编译器必须在编译期间对constexpr函数求值,函数也不允许有任何副作用。
使用constexpr函数有以下限制:
①函数体是一个return语句,它不能包含goto语句或try-catch块,也不可以抛出异常,但是可以调用其他constexpr函数。
②函数的返回类型应该是字面量类型,返回值不能是void。
③如果constexpr函数是类的一个成员,这个函数不能是虚函数。
④constexpr函数的所有参数都应该是字面量类型。
⑤在编译单元中定义了constexpr函数之后,才能调用这个函数,因为编译器需要知道完整的定义。
⑥在constexpr函数中不允许使用dynamic_cast
⑦在constexpr函数中不允许使用new 和 delete
此外,可以定义constexpr构造函数,可以创建用户自定义类型的常量表达式对象。constexpr构造函数必须满足上述要求,并且所有数据成员都应该用常量表达式初始化。
不过,VS 2010和VS2013都不支持constexpr关键字,不知道高版本的编译器是否支持,大家可以自己测试一下哦。
关于const方法的含义和使用我们就探讨到这里了,如果你还觉得意犹未尽,就请关注博主的《灵活而奇特的C++语言特性——const(四)》这篇博文,博主在那里讲述了const_cast<>的含义和使用方法。
如果想了解更多关于C++语言特性相关的知识,请关注博主《灵活而奇特的C++语言特性》系列博文,相信你能够在那里寻找到更多有助你快速成长和加深你对C++语言特性相关的知识和一些特性的理解和掌握。当然,如果你想了解关于继承方面的技术,请关注博主《漫谈继承技术》系列博文。