C++语言编程概念：常量、常量表达式和常量初始化

常量
常量是固定值，在程序执行期间不会改变。这些固定的值，又叫做字面值。常量可以是任何的基本数据类型，可分为整型数字、浮点数字、字符、字符串和布尔值。常量就像是常规的变量，只不过常量的值在定义后不能进行修改。

时期不同：

• 编译时常量
• 运行时常量

定义方式不同：

• 符号常量 (#define)
• 常值变量 (const）
• 枚举值(enum)

#define PI 3.1415926
const double PI=3.1415926;
enum Color {
    red, green, blue };

const char * cc = "hello world"; //程序映像的 .rodata 段

常量表达式
定义能在编译时求值的表达式。这种表达式能用做非类型模板实参、数组大小，并用于其他要求常量表达式的语境。

但是常量不是常量表达式，只有用常量表达式初始化的常量，才能成为常量表达式，用非常量表达式初始化的常量仅仅是常量。如果常量的初始值不是常量表达式,则该常量不是常量表达式。

constexpr 说明符

constexpr 说明符声明编译时可以对函数或变量求值值。这些变量和函数（给定了合适的函数实参的情况下）即可用于需要编译期常量表达式的地方。

常量初始化

设置静态变量的初值为编译时常量。

非局部变量

所有具有静态存储期的非局部变量，作为程序启动的一部分，在 main 函数的执行之前进行初始化（除非被延迟）。所有具有线程局部存储期的非局部变量，作为线程启动的一部分进行初始化，按顺序早于线程函数的执行开始。对于这两种变量，初始化发生于两个截然不同的阶段：

静态初始化

若受允许，则首先进行常量初始化（参见常量初始化中符合情况的列表）。
对于所有其他非局部静态及线程局域变量，均进行零初始化。

实践中：

常量初始化通常在编译期进行，并将预先计算的对象表示作为程序映像的一部分存储下来。若编译器没有这么做，则亦保证此初始化发生早于任何动态初始化。
零初始化的变量将被置于程序映像的 .bss 段，它不占据磁盘空间，并在加载程序时由操作系统以零填充。
例子