C++中的constexpr有什么用_C++编译期常量表达式与元编程_技术教程

constexpr用于声明编译期可求值的常量或函数，提升性能并支持模板编程；2. constexpr变量必须在编译期确定值，可用于数组大小等需编译期常量的场景；3. constexpr函数在参数为编译期已知时于编译期执行，否则在运行时执行，实现统一接口。

constexpr 是 C++11 引入的关键字，用于声明可以在编译期求值的常量表达式或函数。它的核心作用是让程序员明确告诉编译器：“这个值或函数在满足条件时应该在编译期计算”，从而提升性能、支持模板编程，并实现更高效的元编程。

编译期常量表达式：提升性能与类型安全

使用 constexpr 声明的变量必须在编译期就能确定其值。这与 const 不同，const 只表示不可修改，但初始化可以发生在运行时。

例如：

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

这段代码中，square(5) 在编译期就被计算为 25，因此可以用作数组大小。如果用普通函数或非 constexpr 函数，就无法用于此类需要编译期常量的场景。

constexpr 函数：运行时与编译期的统一接口

constexpr 函数在传入编译期已知参数时，会在编译期执行；否则退化为普通运行时函数。这种“两相兼容”的特性非常实用。

例如：

constexpr int factorial(int n) {
    return (n <= 1) ? 1 : n * factorial(n - 1);
}
constexpr int f5 = factorial(5); // 编译期计算 120
int x = 4;
int f4 = factorial(x); // 运行时计算

同一个函数既能用于模板参数、数组大小等编译期上下文，也能用于普通变量计算，无需重写逻辑。

支持模板元编程与类型系统增强

C++ 模板要求非类型模板参数必须是编译期常量。有了 constexpr，我们能用函数生成这些值。

例如：

template
struct LookupTable {
    static constexpr int value = N * N + 1;
};
constexpr int config_value = square(3) + 1;
LookupTable tbl; // 合法：config_value 是编译期常量

此外，在 C++14 及以后，constexpr 函数限制大幅放宽，允许循环、局部变量、条件分支等，使得复杂逻辑也可在编译期执行。

constexpr 与元编程：编译期计算的实际应用

现代 C++ 元编程大量依赖 constexpr 实现编译期数据结构和算法。比如编译期字符串哈希：

constexpr unsigned hash(const char* str) {
    unsigned h = 0;
    while (*str) {
        h = h * 31 + *str++;
    }
    return h;
}
switch(hash("create")) {
case hash("create"): / ... / break;
case hash("destroy"): / ... / break;
}