C++:constexpr及constexpr函数

constexpr变量

• constexpr表达式是指值不会改变并且在编译过程就能得到计算结果的表达式。声明为constexpr的变量一定是一个const变量，而且必须用常量表达式初始化：

constexpr int mf = 20;  //20是常量表达式
constexpr int limit = mf + 1; // mf + 1是常量表达式
constexpr int sz = size(); //只有当size是一个constexpr函数时才是一条正确的声明语句

指针和constexpr

• 必须明确一点，在constexpr声明中如果定义了一个指针，限定符conxtexpr仅对指针有效，与指针所指的对象无关。

const int*p = nullptr;        //p是一个指向整形常量的指针
constexpr int* q = nullptr;   //q是一个指向整数的常量指针

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无法找到这个函数的定义，便会出现无法解析的外部符号的错误