对于对象来说
const指的是编译期常量和运行时常量，两者并没有区分
constexpr特指编译期常量
对于函数来说
const可以修饰类的成员函数，被修饰的函数在执行期间不会改变对象的值。
class Person{
public :
string getName() const;
void setAge() const;
private :
string name;
mutable int age;
}
// 可以执行
string Person::getName() const
{
return this->name;
}
// 不能执行
string Person::getName() const
{
this->name = "test";
return this->name;
}
//可以执行
void Person::setAge() const
{
++age;
}
假设此函数未public限定，且name数据成员没有使用mutable修饰，那么此函数在调用期间不会改变this所指的对象，也就是说，如果某个被修饰成const的成员函数在执行期间改变了this中的数据成员，那么这个函数会报错。
如果在此类函数中改变了使用mutable修饰的数据成员，这是允许的。
constexpr修饰的函数，返回值不一定是编译期常量
constexpr int foo(int i)
{
return ++i;
}
int main()
{
int i = 10;
// 成功调用
array<int, foo(5)> arr;
// 成功调用
foo(i);
// 错误
array<int, foo(i)> arr1;
return 0;
}
上面的代码中，第一次和第二次执行都是正确的，第三次执行会报错。
- 第一次中，foo(5)使用的是常量表达式5，所以在编译期间就可以得出结果，从而确定array的大小，所以这个声明是正确的；
- 第二次中，foo(i)使用的是变量，在运行时可以得到结果，所以这个调用是正确的；
- 第三次中，foo(i)使用的是变量，在运行时才能得到结果，但array的声明要求在编译期就必须要确定其大小，且不能改变，所以这个生命是错误的。
所以，对于constexpr修饰的函数，如果其传入的参数可以在编译期算出来，那么这个函数就会产生编译期的值。如果传入的参数不能在编译时期计算出来，那么constexpr修饰的函数就和普通函数一样了。