初识C++ - 常量表达式函数

常量表达式函数(constexpr function)是指能用于常量表达式的函数。其定义的方法和其他函数差不多，但主要满足一下规则：

1. 函数返回类型是字面值类型
2. 函数参数是字面值类型
3. 函数体中有且只有一条return语句

//eg
constexpr int new_sz() { return 42;}
constexpr int foo = new_sz(); //foo是一个常量表达式

constexpr函数中可以包含其他语句，但这些语句运行时不能执行任何操作，只能类似于空语句、类型别名和using声明等。
constexpr函数的返回值不一定是常量表达式。

constexpr size_t scale(size_t cnt){ return new_sz() *cnt}
//当实参为常量表达式时，scale也是常量表达式，否则不是。
int arr[scale(2)];//right
auto i = 2;
int arr1 = [scale(i)];//wrong

因为i并非常量表达式，所以当scale调入时，返回值并不是一个常量表达式。

和其他函数不同，constexpr函数能在程序中多次定义。当编译器想要展开函数时不仅需要函数声明还需要函数定义。但对于constexpr函数来说，它的多个定义必须一致。因此，constexpr通常定义在头文件中。

参考：C++primer第五版