p是一个指向常量的指针,q是一个常量指针,其中的关键在于constexpr把它所定义的对象置为了顶层const。
例在微软编译器上:
#include <iostream>int main(){ int i = 10; std::cout << "i=" << i << std::endl; constexpr int* p = &i; *p = 8; std::cout << "i=" << i << std::endl; return 0;}结果:i=10;1=8;
constexpr函数 constexpr函数是指能用于常量表达式的函数。该函数要遵循几项约定:函数的返回类型及所有形参的类型都得是字面值类型,而且函数体中必须有且只有一条return语句:constexpr int new_sz() {return 42;}constexpr int foo =new_sz();//正确:foo是一个常量表达式 在对变量foo初始化时,编译器把对constexpr函数的调用替换成其结果值。为了能在编译过程中随时展开,constexpr函数被隐式地指定为内联函数。constexpr函数体内也可以包含其它语句,只要这些语句在运行时不执行任何操作就行。例如,constexpr函数中可以有空语句、类型别名以及using声明。需要注意的是,我们允许constexpr函数的返回值并非一个常量:
//如果arg是常量表达式,则scale(arg)也是常量表达式constexpr size_t scale(size_t cnt){ return new_sz() * cnt; }当scale的实参是常量表达式时,它的表达式也是常量表达式,反之则不然:
int arr[scale(2)]; //正确:scale(2)是常量表达式int i = 2; //i不是常量表达式int a2[scale(i)]; //错误:scale(i)不是常量表达式当把scale函数用在需要常量表达式的上下文中时,如果其结果恰好不是常量表达式,编译器将发出错误信息。
注意,我们要把内联函数和constexpr函数定义在头文件中。因为内链函数是内部链接的,如果你在b.cpp中定义这个函数,那么在a.cpp中即使有这个函数声明,但由于内联函数是内部链接的,所以b.cpp不会提供其定义。所以在链接时a.obj无法找到这个函数的定义,便会出现无法解析的外部符号的错误