在C++中,可以用const或者constexpr来表示常量表达式。常量表达式是值不会改变并且在编译过程中就能得到计算结果的表达式。
1 使用const定义常量表达式
const int i = 42;
const int j = i + 1;
其中,i和j都可以看做是常量表达式。
const int Test()
{
return 1;
}
const int k = Test();
其中,k不是常量表达式,因为k的值只能在程序运行时才能得到。
2 使用constexpr定义常量表达式
使用constexpr定义常量表达式是C++11新标准中规定的。正如“1 使用const定义常量表达式”中提到,k的定义在编译时是不报错的,但是k却不是常量表达式,因此编译器很难判断一个初始值是否是常量表达式。可以使用constexpr来定义类型,这样编译器就可以判断定义的变量是否是常量表达式了。
constexpr int i = 1;
constexpr int j = i + 1;
因为i和j都是常量表达式,此时程序编译时不会报错。而
const int Test()
{
return 1;
}
constexpr int k = Test();
此时,需要变量k是常量表达式,但是函数Test()返回的不是常量表达式,所以程序在编译时会报错。
3 const int*和constexpr int*
const int* p = nullptr;
constexpr int* q = nullptr;
其中,p表示指向整型常量的指针,而p的本身是可以修改的;q表示指向整型的指针,q的本身是常量表达式,是不能修改的。
对这两种类型的指针进行赋值时
const int i = 2;
const int* p = nullptr;
p = &i;
int j = 3;
constexpr int* q = &j;
而如果对q进行如下初始化
constexpr int k = 1;
constexpr int* q = &k;
或者
constexpr int* q = &i;
都会报错。