1、 constexpr 表述的是常量这层意思, const 倾向于只读权限控制这层意思。
constexpr是一个加强版的const,它不仅要求常量表达式是常量,并且要求是一个编译阶段就能够确定其值的常量。
int n = 10; constexpr int* p = &n; *p = 20;
constexpr int* p 表示 p 是个常量,p不可更改,如不可 ++p,或者int m=20;p=&m。但*p这个对象不受constexpr限制是可以更改的,如 *p = 20。
const int* p 表示 p 所指的对象是只读的,不可更改,如不可 *p = 20,但p这个变量本身是没有限制的可以更改的,如 ++p,或者int m=20;p=&m。
void test1(const int& a),参数a是对外部变量的引用,在这里表示这个参数权限为只读,在函数内部不可更改。但并不是说a所指向的外部变量为不可更改的常量。
int a = 10; const int & b = a; a = 20; b是a的引用,只是说变量b为可读权限,不可修改b,但a仍然是可写的。
2、常量表达式,那就是不能带变量。如 int n = 1; constexpr int test(int a) { return 1 + 2 + n; } 这是错误的。
3、constexpr修饰的函数只能有一个return语句。
constexpr int test(int a) { return 1 + 2 + a; },constexpr 返回的是一个常量表达式,如果改成constexpr int test(int a) { int ret = 1 + 2 + a; return ret; },返回的ret是个变量,在return ret之前不能保证ret不会被改变,能被改变说明不是个常量表达式了,所以constexpr修饰的函数只能有一个return语句,并且必须有一个return语句(return语句都没有那就谈不上返回常量表达式了)。
4. 常量表达式的返回必须在使用前明确定义。因为常量表达式是要在编译期间完成的,没有链接过程。只声明,没有明确定义那就是不知道常量表达式长什么样,没法编译通过。
5. constexpr修饰模板函数
如果 constexpr 修饰的模板函数实例化结果不满足常量表达式函数的要求,则 constexpr 会被自动忽略,即该函数就等同于一个普通函数。