在大部分实际场景中,const 和 constexpr 是可以混用的,但在某些场景中,必须明确使用。 凡是表达“常变量”语义的场景都使用 const,表达“常量”语义的场景都使用 constexpr。
#include <iostream>
#include <array>
using namespace std;
constexpr int sqr1(int arg){
return arg*arg;
}
const int sqr2(int arg){
return arg*arg;
}
int main()
{
array<int,sqr1(10)> mylist1;//可以,因为sqr1时constexpr函数,返回常量,属性是常量,不可改变
array<int,sqr2(10)> mylist1;//不可以,因为sqr2不是constexpr函数,返回常变量,属性是变量,可能被改变
return 0;
}
常变量与常量不等价,常变量是可能被其他途径修改的。
举例1:
#include <iostream>
using namespace std;
int main()
{
int a = 10;
const int & con_b = a;
cout << con_b << endl;//10
a = 20;
cout << con_b << endl;//20
}
//可以看到,程序中用 const 修饰了 con_b 变量,表示该变量“只读”,即无法通过变量自身去修改自己的值。但这并不意味着 con_b 的值不能借助其它变量间接改变,通过改变 a 的值就可以使 con_b 的值发生变化。
举例2:
#include <iostream>
using namespace std;
int main()
{
int a = 10;
const int *con_b = &a;
cout << *con_b << endl;//10
a = 20;
cout << *con_b << endl;//20
//*con_b = 30;error,不能通过con_b的层面改变a的值
}
/*只是表明不能通过con_b的层面修改a的值,不代表a的值不可变
const指针可以指向非const的变量,表示从con_b的层面不会改变a的值,不代表a的值不可变,因为a本身是一个变量,随时可能被改变
注意:
不能用非const指针指向const变量
const int a = 10;
int * con_b = &a;//error
*/