灵活而奇特的C++语言特性——const（三）

       学习了博主的《漫谈继承技术》系列博文之后，相信大家都有所收获吧！这次博主将和大家一起探讨 《灵活而奇特的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++语言特性相关的知识和一些特性的理解和掌握。当然，如果你想了解关于继承方面的技术，请关注博主《漫谈继承技术》系列博文。