C++constexpr实现编译期常量计算方法

P粉602998670

发布时间：2025-09-11 09:32:01

584人浏览过

来源于php中文网

原创

constexpr允许在编译期计算表达式或函数，提升性能与安全性，其核心是标记变量和函数以实现编译期求值，相比const更强调编译期可能性，而consteval要求必须编译期求值，constinit确保静态变量的常量初始化。

c++constexpr实现编译期常量计算方法

C++的

constexpr

关键字，说白了，就是告诉编译器：“如果可能的话，这个表达式或函数，请你在编译阶段就给我算出来。” 它让程序能在编译时完成更多的计算工作，从而在运行时减少开销，提升性能，并且能解锁一些高级的C++特性。

C++

constexpr

实现编译期常量计算方法

在我看来，

constexpr

是现代C++里一个非常强大的工具，它允许我们把运行时的一些计算前置到编译期，这带来的好处是多方面的。实现编译期常量计算，核心就是正确地使用

constexpr

来标记变量和函数。

首先，对于变量，它的用法很简单：只要一个变量的值能在编译时确定，你就可以用

constexpr

来修饰它。

constexpr int max_size = 1024; // max_size在编译时就确定是1024
constexpr double pi = 3.1415926535; // pi也是编译期常量

这样定义的变量，编译器会确保它们是编译期常量。如果尝试用一个运行时才能确定的值去初始化

constexpr

变量，编译器会直接报错。

立即学习“C++免费学习笔记（深入）”；

更强大的是

constexpr

函数。一个

constexpr

函数，如果它的所有参数都是编译期常量，那么它的返回值也将在编译期计算出来。如果参数不是编译期常量，它也可以像普通函数一样在运行时执行。这是一种非常灵活的设计。

constexpr

函数的要求在C++标准演进中不断放宽。

C++11 时代，
```
constexpr
```
函数相对严格，通常只能包含一个
```
return
```
语句。
C++14 开始，限制大大放宽，
```
constexpr
```
函数可以包含局部变量、循环（
```
for
```
,
```
while
```
）、条件语句（
```
if
```
,
```
switch
```
）等，这让编写复杂的编译期计算变得更加容易和自然。
C++17 进一步允许
```
constexpr
```
lambda表达式。
C++20 甚至允许
```
constexpr
```
虚函数（在特定条件下）、
```
try-catch
```
块，甚至有限的动态内存分配（通过
```
std::vector
```
等容器）。

我们来看一个C++14风格的

constexpr

函数例子，计算阶乘：

#include 

// C++14 风格的 constexpr 阶乘函数
constexpr long long factorial(int n) {
    if (n < 0) {
        // 在编译期，如果 n 是负数，这里会引发编译错误
        // 对于运行时调用，这会是一个运行时错误，但 constexpr 的意义在于它能检查编译期常量
        // throw std::out_of_range("Factorial argument must be non-negative"); // C++20 允许 throw
        // C++14/17 时代通常会返回一个特殊值或依赖于编译期检查
        return 0; // 或者引发编译期错误，例如通过 static_assert
    }
    long long res = 1;
    for (int i = 2; i <= n; ++i) {
        res *= i;
    }
    return res;
}

int main() {
    // 编译期计算
    constexpr long long f5 = factorial(5); // 编译器直接算出 120
    std::cout << "Factorial of 5 (compile-time): " << f5 << std::endl;

    // 编译期计算，用于数组大小
    int arr[factorial(4)]; // 数组大小在编译期确定为 24
    std::cout << "Array size: " << sizeof(arr) / sizeof(int) << std::endl;

    // 运行时计算
    int num = 6;
    long long f_runtime = factorial(num); // num 是运行时变量，函数在运行时执行
    std::cout << "Factorial of 6 (run-time): " << f_runtime << std::endl;

    // 尝试在编译期传入非法值 (C++14/17 可能会编译失败，C++20 允许 throw 并在编译期捕获)
    // constexpr long long f_neg = factorial(-1); // 这通常会导致编译错误
    // 比如：error: call to 'factorial' is not a constant expression
    // 因为 factorial(-1) 在编译期无法返回一个有效常量，且其内部逻辑不被视为常量表达式。
    // 具体行为取决于编译器实现和 C++ 标准版本。
    return 0;
}

在这个例子中，

factorial(5)

和

factorial(4)

在编译时就被计算出来了，而

factorial(num)

则是在运行时计算的。这就是

constexpr

的魅力所在：它提供了在编译期求值的“可能性”，而不是强制性。

为什么我们需要在编译期进行常量计算？

我个人觉得，编译期常量计算，也就是

constexpr

带来的核心价值，首先是性能。这是最直观的好处。你想想看，一个在程序运行前就能确定的值，为什么还要等到程序跑起来再去算一次？直接在编译阶段把结果“刻”进可执行文件，省去了运行时CPU的计算周期，这对于性能敏感的应用来说，简直是福音。尤其是在嵌入式系统或者高性能计算中，每一纳秒的节省都可能至关重要。

其次，它极大地增强了类型安全和错误检测。如果一个计算在编译期就能完成，那么任何潜在的错误——比如除以零、数组越界（如果能通过

constexpr

函数检查的话），都可以在编译阶段就被发现并报告。这比等到程序运行起来才发现bug要好得多，因为编译期错误能让我们在开发早期就修复问题，避免了运行时崩溃或者难以追踪的逻辑错误。这让我觉得代码更健壮，也更有信心。

再者，编译期常量计算是现代C++高级特性的基石。没有

constexpr

，很多强大的语言特性，比如数组的大小必须是编译期常量，模板元编程（Template Metaprogramming, TMP）的许多技巧也无从谈起。

constexpr

使得我们能够用更类型安全、更高效的方式替代传统的宏定义，避免了宏带来的各种坑。比如，定义一个数学常数

PI

，用

constexpr double PI = 3.14159;

就比

#define PI 3.14159

要好得多，因为它有类型，受作用域限制，并且不会有宏展开的副作用。

文心大模型

百度飞桨-文心大模型 ERNIE 3.0 文本理解与创作

下载

最后，它还能带来一些内存优化。编译期常量通常可以存储在只读数据段，这在某些架构上可以减少运行时内存的写操作，甚至可能在某些情况下优化缓存利用率。虽然这可能不是最主要的驱动因素，但也是一个不错的附带好处。

constexpr

与

const

、

consteval

、

constinit

有何不同？

这几个关键字，虽然都和“常量”或“编译期”沾边，但它们的侧重点和语义却大相径庭，理解它们之间的差异，对于写出高质量的C++代码至关重要。在我看来，它们形成了一个从“只读”到“必须编译期求值”的谱系。

```
const
```
：这个是最基础的。
```
const
```
的含义是“只读”，即一旦初始化后，其值不能被修改。但请注意，
```
const
```
变量的值可以在运行时确定。比如
```
const int x = runtime_function();
```
是完全合法的。
```
const
```
不保证编译期求值，它只是一个运行时约束。它的主要目的是防止变量被意外修改，提升代码的安全性。
```
constexpr
```
：我们前面已经详细讨论了。
```
constexpr
```
的含义是“可以在编译期求值”。它是一个比
```
const
```
更强的保证。如果一个
```
constexpr
```
变量或函数的所有输入都是编译期常量，那么它会在编译期求值。但如果输入是运行时变量，它也可以在运行时像普通变量或函数一样工作。它提供的是一种“编译期求值的可能性”。
```
consteval
```
(C++20)：这是C++20引入的新关键字，它比
```
constexpr
```
更进一步，含义是“必须在编译期求值”。如果一个函数被标记为
```
consteval
```
，那么它的所有调用都必须在编译期完成。如果编译器无法在编译期计算出其结果，就会直接报错。
```
consteval
```
函数不能在运行时被调用。它是一种强制性的编译期求值，非常适合那些只在编译期有意义的辅助函数，比如用于模板元编程的辅助函数。
```
consteval int get_magic_number() { return 42; }
// int x = get_magic_number(); // OK，x是42
// int y = runtime_value;
// int z = get_magic_number() + y; // 编译错误！get_magic_number() 必须在编译期求值
```
```
constinit
```
(C++20)：这也是C++20的新成员，它的关注点是“静态存储期变量的初始化”。
```
constinit
```
用于声明具有静态或线程存储期的变量，并确保它们在程序启动时（或线程启动时）就通过常量表达式进行初始化，而不是在运行时动态初始化。这主要是为了解决静态对象初始化顺序（Static Object Initialization Order, SOIL）问题中的一些不确定性。
```
constinit
```
本身不要求变量是
```
const
```
的，它只保证初始化阶段是编译期求值的，之后变量的值仍然可以被修改。
```
constinit int global_value = 100; // 确保在静态初始化阶段初始化
// global_value = 200; // 允许修改
```

总结一下，

const

是关于“只读”，

constexpr

是关于“可能在编译期求值”，

consteval

是关于“必须在编译期求值”，而

constinit

则是关于“静态存储期变量的初始化必须是编译期常量表达式”。它们各自服务于不同的目的，但共同构成了C++中强大的常量和编译期求值机制。

在实际项目中，如何有效利用

constexpr

提升代码质量？

在我的项目经验中，

constexpr

并非只是一个性能优化的奇技淫巧，它更是提升代码质量、可读性、可维护性和安全性的利器。以下是我觉得在实际项目中可以有效利用

constexpr

的几个方面：

替代宏定义，定义类型安全的常量和配置： 这是最直接，也是最应该做的。很多老旧代码喜欢用
```
#define
```
来定义各种数值常量，比如
```
#define MAX_BUFFER_SIZE 1024
```
。但宏有其固有的缺点：没有类型信息，可能导致意外的宏展开副作用，调试困难。用
```
constexpr
```
变量来替代它们，可以获得类型安全，避免宏的陷阱，并且在调试时更容易检查其值。
```
// 替代 #define MAX_SIZE 1024
constexpr int MAX_BUFFER_SIZE = 1024;
constexpr double GOLDEN_RATIO = 1.6180339887;
```

编写小型、纯粹的工具函数： 很多数学计算、单位转换、哈希函数等，如果它们的输入是编译期常量，那么结果也通常可以在编译期确定。将这些函数标记为

constexpr

，不仅能带来性能提升，还能清晰地表达这些函数是“纯粹的”，没有副作用，并且其结果是可预测的。例如，计算一个字符串的编译期哈希值，或者一个简单的幂函数。

// 编译期字符串哈希
constexpr unsigned long long hash_str(const char* str) {
    unsigned long long hash = 5381;
    while (*str) {
        hash = ((hash << 5) + hash) + static_cast(*str++);
    }
    return hash;
}

// 在 switch case 中使用编译期哈希
void process_command(const char* cmd) {
    switch (hash_str(cmd)) {
        case hash_str("start"):
            std::cout << "Starting..." << std::endl;
            break;
        case hash_str("stop"):
            std::cout << "Stopping..." << std::endl;
            break;
        default:
            std::cout << "Unknown command." << std::endl;
    }
}

编译期验证和断言： 利用

constexpr

函数在编译期验证某些条件，可以提前发现潜在的逻辑错误。如果条件不满足，编译器会直接报错，而不是等到运行时才发现。这比运行时断言（

assert

）更早地捕获问题。配合

static_assert

，这种模式非常强大。

constexpr bool is_power_of_two(int n) {
    return (n > 0) && ((n & (n - 1)) == 0);
}

// 编译期验证
static_assert(is_power_of_two(16), "16 should be a power of two!");
// static_assert(is_power_of_two(15), "15 is not a power of two!"); // 这会导致编译错误

与模板元编程（TMP）结合：

constexpr

是模板元编程的基石之一。在编写复杂的模板时，

constexpr

函数可以帮助在编译时执行计算和逻辑判断，从而生成更高效、更特化的代码。C++17引入的

if constexpr

更是将编译期条件判断提升到了一个新高度，它允许根据编译期条件选择不同的代码路径，避免了不必要的模板实例化。

template 
constexpr T get_default_value() {
    if constexpr (std::is_integral_v) { // C++17 if constexpr
        return 0;
    } else if constexpr (std::is_floating_point_v) {
        return 0.0;
    } else {
        return T{}; // 其他类型使用默认构造
    }
}

// 使用
int i = get_default_value();     // i = 0
double d = get_default_value(); // d = 0.0

构建编译期数据结构（C++20及更高版本）： 随着C++标准对
```
constexpr
```
能力的不断扩展（特别是C++20），现在甚至可以在编译期构造和操作一些复杂的数据结构，例如
```
std::string
```
和
```
std::vector
```
。这为更高级的编译期数据处理打开了大门，例如在编译期生成查找表、解析配置等。