c++编译时求值

通常情况,函数无法在编译时求值,因此也就不能在常量表达式中被使用。例如作为数组长度。但通过将函数指定为constexpr,就能向编译器传递这样的信息,即,"如果调用函数时是用常量作为实参,则函数应该能用在常量表达式中"即在编译时求值(12.1.6 constexpr函数)。

constexpr int Fac(int n)

{

if (n <= 1)

return 1;

return Fac(n-1)*n;

}

int main()

{

constexpr int a = Fac(5);//编译时求值

cout << "a="<<a << endl;

int arr[Fac(5)]; //合法,Fac(5)在编译时求值

cout << "sizeof(arr)="<<sizeof(arr) << endl;

int n = 3;

//constexpr int c = Fac(n);//错误,n是变量,无法在编译时求值

return 0;

}

constexpr函数注意事项:1.必须有return语句;2.不能有局部变量,也就不能有循环(循环一定需要循环因子变量);3.可以有递归;4.足够简单。
你可以把constexpr函数看成是形式更严格的内联函数。