C++ | constexpr

最新推荐文章于 2025-07-15 23:52:02 发布

@hdd

最新推荐文章于 2025-07-15 23:52:02 发布

阅读量570

点赞数 4

CC 4.0 BY-SA版权

分类专栏： C++ 文章标签： c++ constexpr

本文链接：https://blog.csdn.net/JHXXH/article/details/146564798

C++ 专栏收录该内容

32 篇文章

订阅专栏

引言

在C++中，constexpr是一个强大的关键字，它允许我们在编译时完成计算和对象的初始化，从而提升程序性能并增强代码的可维护性。从C++11到C++20，constexpr的功能不断扩展，成为现代C++开发中不可或缺的工具。本文将深入探讨constexpr的核心概念、使用场景及最佳实践。

什么是`constexpr`？

constexpr（常量表达式）用于声明变量、函数或对象的值或行为可以在编译时确定。它的核心目标是让编译器提前计算结果，避免运行时开销。

变量：声明为constexpr的变量必须在编译时可求值。
函数：constexpr函数在传入编译时常量时，可以在编译时计算结果。

`constexpr`的演进

不同C++标准对constexpr的支持逐步增强：

C++11：支持基本变量和简单函数，限制较多（如函数体内只能有一条return语句）。
C++14：放宽限制，允许局部变量、循环和条件语句。
C++20：支持虚函数、try-catch、动态内存分配等，甚至标准容器（如std::vector）可在编译时使用！

使用场景与示例

1. 编译时计算

constexpr int factorial(int n) {
    return (n <= 1) ? 1 : n * factorial(n - 1);
}

int main() {
    constexpr int val = factorial(5); // 编译时计算120
    static_assert(val == 120, "Error"); // 编译时断言
}

2. 替代宏与常量

传统宏（#define）缺乏类型安全，constexpr更可靠：

constexpr double PI = 3.1415926; // 替代 #define PI 3.1415926

3. 编译时字符串处理

C++17起，constexpr函数可操作字符串：

constexpr size_t str_length(const char* s) {
    size_t len = 0;
    while (s[len] != '\0') ++len;
    return len;
}

constexpr size_t len = str_length("Hello"); // 编译时计算为5

4. 元编程与容器（C++20）

C++20允许constexpr动态内存分配，甚至使用std::vector：

constexpr auto create_vector() {
    std::vector<int> v{1, 2, 3};
    v.push_back(4);
    return v;
}

constexpr auto vec = create_vector(); // 编译时构造vector