constexpr与常量表达式(c++11标准)

时间:2021-02-10 23:33:58

关键字 constexpr 是C++11中引入的关键字,是指值不会改变并且在编译过程中就得到计算结果的表达式。(运行中得到结果的不能成为常量表达式,比如变量)。

声明为constexpr的变量一定是一个常量,而且必须用常量表达式初始化:

constexpr int i=;
constexpr int j=i+;
constexpr int k=f(); //只有f()是一个constexpr函数时k才是一个常量表达式

一般来说,若果一旦认定变量是一个常量表达式,那就把它声明为constexpr类型

常量表达式机制是为了:

1、提供了更多的通用的值不发生变化的表达式
2、允许用户自定义的类型成为常量表达式
3、提供了一种保证在编译期完成初始化的方法(可以在编译时期执行某些函数调用)

语义上:
constexpr:告诉编译器我可以是编译期间可知的,尽情的优化我吧。
const:告诉程序员没人动得了我,放心的把我传出去;或者放心的把变量交给我,我啥也不动就瞅瞅。

语法上:
constexpr是一种比const 更严格的束缚, 它修饰的表达式本身在编译期间可知, 并且编译器会尽可能的
evaluate at compile time. 在constexpr 出现之前, 可以在编译期初始化的const都是implicit
constexpr. 直到c++ 11, constexpr才从const中细分出来成为一个关键字, 而 const从1983年 c++
刚改名的时候就存在了

csdn论坛上看见大神的一段短话,摘录下来,很值的体会

constexpr:不光是可以取代模板是某些常量的表达更简洁,其实一个决定性的作用是支持地址类常量。这恰好补上了模板缺失的部分。比如有一个字符串常量"abc",很自然的可以认为其中的元素也是常量地址,对一个有编译期内容的常量地址取值理论上可以在编译器确定结果,但实际上按旧语法却不能直接拿去做为常量使用而是当作变量。