c++如何利用constexpr在编译期计算_c++编译期常量表达式

constexpr是C++中用于声明编译期常量表达式的关键字，可修饰变量和函数，确保其值在编译时计算。与const仅表示不可修改不同，constexpr强调编译期可计算性，支持数组大小、模板参数等场景。例如constexpr int square(int n) { return n n; }可在编译期求值，constexpr int val = square(5)合法且val为25，可定义数组int arr[val]。C++11中constexpr函数限制严格，仅允许一条return语句及非执行语句；C++14起放宽限制，允许局部变量、循环和条件分支，如constexpr int factorial(int n) { int result = 1; for (int i = 2; i

在C++中，constexpr 是一个关键字，用于声明可以在编译期求值的常量表达式。它让开发者能够将计算提前到编译阶段，从而提升运行时性能，并支持需要编译期常量的场景，比如数组大小、模板参数等。

什么是 constexpr？

constexpr 修饰的变量或函数表示其值在编译期就已知。与 const 不同，const 只表示不可修改，而 constexpr 强调“可在编译期计算”。

例如：

constexpr int square(int n) {
    return n * n;
}
constexpr int val = square(5); // 编译期计算，val = 25
int arr[val]; // 合法：val 是编译期常量

constexpr 函数的使用规则

从 C++11 开始，constexpr 函数有严格限制：函数体必须足够简单，通常只包含一条 return 语句（C++14 起放宽了限制）。

• C++11 中，constexpr 函数体内只能有 return、typedef、static_assert 等非执行语句
• C++14 起允许使用局部变量、循环、条件分支等更复杂的逻辑
• 函数必须接受和返回字面类型（literal type），如基本类型、某些类类型

示例（C++14 风格）：

constexpr int factorial(int n) {
    int result = 1;
    for (int i = 2; i <= n; ++i)
        result *= i;
    return result;
}
constexpr int f5 = factorial(5); // 编译期计算为 120

在模板和元编程中的应用

constexpr 常用于模板编程中替代复杂的模板元编程技术（如递归结构体），使代码更直观。

比如实现编译期斐波那契数列：

constexpr int fib(int n) {
    return (n <= 1) ? n : fib(n - 1) + fib(n - 2);
}
constexpr int f10 = fib(10); // 编译期得到结果 55

相比传统模板特化方式，constexpr 写法简洁，可读性高。

与 constinit 和 consteval 的区别（C++20）

C++20 引入了两个新关键字来进一步明确常量初始化语义：

• consteval：要求函数**必须**在编译期求值，否则报错
• constinit：确保变量在编译期完成初始化（用于静态存储期变量）

举例：

consteval int add(int a, int b) {
    return a + b;
}
// add(2,3) 必须在编译期调用，不能传运行时变量
int x;
// add(x, 3); // 错误：x 不是编译期常量

这使得编译期计算更加可控和安全。

基本上就这些。合理使用 constexpr，可以写出高效、安全、清晰的 C++ 代码，充分利用编译期计算能力。不复杂但容易忽略细节，比如确保输入是常量表达式才能触发编译期求值。