Func1() 和 Func2() 函数中都包含一个 const int x,但 Func1() 函数中的 x 无法完成初始化 array 容器的任务,而 Func2() 函数中的 x 却可以。
这是因为,Func1() 函数中的“const int x”只是想强调 x 是一个只读的变量,其本质仍为变量,无法用来初始化 array 容器;而 Func2() 函数中的“const int x”,表明 x 是一个只读变量的同时,x 还是一个值为 5 的常量,所以可以用来初始化 array 容器。
C++ 11标准中,为了解决 const 关键字的双重语义问题,保留了 const 表示“只读”的语义,而将“常量”的语义划分给了新添加的 constexpr 关键字。因此 C++11 标准中,建议将 const 和 constexpr 的功能区分开,即凡是表达“只读”语义的场景都使用 const,表达“常量”语义的场景都使用 constexpr。
在上面的实例程序中,Func2() 函数中使用 const int x 是不规范的,应使用 constexpr 关键字。
#include <iostream>
#include <array>
using namespace std;
void Func1(const int x) //错误,x是只读的变量
{
array <int,x> myArray{1,2,3,4,5};
cout << myArray[1] << endl;
}
void Func2(){
const int x = 5; /正确:表明 x 是一个只读变量的同时,x 还是一个值为 5 的常量
array <int,x> myArray{1,2,3,4,5};
cout << myArray[1] << endl;
}
int main()
{
Func1(5);
Func2();
}
大部分实际场景中,const 和 constexpr 是可以混用的。它们是完全等价的,都可以在程序的编译阶段计算出结果。
const int a = 5 + 4;
constexpr int a = 5 + 4;
某些场景中,必须明确使用 constexpr,因为 Func_Sqr2() 函数的返回值仅有 const 修饰,而没有用更明确的 constexpr 修饰,导致其无法用于初始化 array 容器(只有常量才能初始化 array 容器)。
#include <iostream>
#include <array>
using namespace std;
constexpr int Func_Sqr1(int arg){
return arg*arg;
}
const int Func_Sqr2(int arg){
return arg*arg;
}
int main()
{
array<int,Func_Sqr1(10)> mylist1; //可以,因为sqr1时constexpr函数
array<int,Func_Sqr2(10)> mylist1; //不可以,因为sqr2不是constexpr函数
return 0;
}
总的来说在 C++ 11 标准中,const 用于为修饰的变量添加“只读”属性;而 constexpr 关键字则用于指明其后是一个常量(或者常量表达式),编译器在编译程序时可以顺带将其结果计算出来,而无需等到程序运行阶段,这样的优化极大地提高了程序的执行效率。