0Pricing
C++ Academy · 课时

constexpr 函数与 if constexpr

使用 constexpr 在编译期求值，并通过 if constexpr 进行分支

constexpr 函数与 if constexpr 是 CoddyKit 上的免费 C++ Academy 课时。 这是第 4 节课，共 4 节。 你可以在下方免费阅读本课时的完整内容 — 然后在浏览器中使用内置代码编辑器和全天候 AI 导师进行实践。 这是 C++ Academy 学习路径的一部分，你的进度在网页和 CoddyKit 应用中同步。 C++ Academy 课程共包含 4 节课。

编译时求值

constexpr 关键字告诉编译器“尽可能在编译时计算此内容”。编译时计算不会产生任何运行时成本。

constexpr 变量

constexpr 变量必须使用常量表达式进行初始化。结果会在编译时固定下来。

constexpr int BUFFER_SIZE = 1024;
constexpr double PI = 3.14159265358979;

constexpr 函数

将函数标记为 constexpr，即可让它们在使用常量实参调用时于编译时运行。

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

constexpr int five_fact = factorial(5);  // computed at compile time

运行时回退

constexpr 函数也可以使用运行时值调用；在这种情况下，它会在运行时运行。

int n = read_input();
int result = factorial(n);   // runtime call

constexpr 函数的限制

在 C++14 之前：

  • 仅允许一条返回语句
  • 不允许循环
  • 不允许修改局部状态

C++14 放宽了这些限制；C++17 和 C++20 又增加了更多能力（异常处理、动态分配、虚函数）。

consteval（C++20）

使用 consteval 强制进行编译时求值。使用非​​常量实参调用 consteval 函数会产生错误。

consteval int square(int x) { return x * x; }

constexpr int c = square(5);    // OK
int x = 5;
// int r = square(x);            // ERROR

constinit（C++20）

constinit 保证变量在编译时初始化，但允许在运行时修改。

if constexpr（C++17）

if constexpr 是编译时分支。未选中的分支甚至不会被编译，这对模板很有用。

template <typename T>
void print(const T& value) {
    if constexpr (std::is_pointer_v<T>) {
        std::cout << "pointer: " << *value;
    } else {
        std::cout << value;
    }
}

消除 SFINAE

if constexpr 用清晰的条件逻辑替代复杂的 SFINAE 模式。将它与类型特征结合后，泛型代码会更易于阅读。

编译时算法

现代 C++ 允许您编写复杂程度出乎意料的算法，使其完全在编译时运行，例如字符串哈希、表生成和小型解析器。

constexpr auto fnv1a(std::string_view s) {
    uint32_t h = 2166136261u;
    for (char c : s) {
        h = (h ^ static_cast<uint8_t>(c)) * 16777619u;
    }
    return h;
}

constexpr auto x = fnv1a("hello");

模板与 constexpr

泛型 constexpr 函数是一种强大的组合：您可以编写通用且类型灵活的代码，并在编译时对其求值。

诊断信息

constexpr 代码中的编译时错误会报告详细的位置。现代编译器非常擅长准确指出出错步骤。

快速检查

if constexpr 做了什么，而普通的 if 不会做？

回顾

constexpr 启用编译时求值；consteval 强制执行编译时求值；constinit 保证编译时初始化。if constexpr 在编译时进行分支选择，未选中的分支永远不会被实例化，因此在许多情况下可以替代 SFINAE。

常见问题解答

「constexpr 函数与 if constexpr」课时是免费的吗？

是的 — 「constexpr 函数与 if constexpr」的完整文本可在网页上免费阅读。要进行交互式练习（内置代码编辑器和全天候 AI 导师）并解锁 C++ Academy 课程的其余内容，请升级到 CoddyKit PRO。 C++ Academy 课程共包含 4 节课。

「constexpr 函数与 if constexpr」这节课中我会学到什么？

使用 constexpr 在编译期求值，并通过 if constexpr 进行分支 你通过在浏览器中直接运行的动手代码来练习 C++ Academy，全天候 AI 导师会在你学习这节课的过程中回答你的问题。

学习 C++ Academy 需要有经验吗？

无需任何先前经验。CoddyKit 上的 C++ Academy 课程适合初学者到高级学习者，你可以从这里开始或从头开始，按照自己的节奏学习。 这是第 4 节课，共 4 节。

「constexpr 函数与 if constexpr」课时需要多长时间？

大多数 CoddyKit 课程大约需要 5–10 分钟。每节课都很精短且互动，所以你能稳步进步，并在网页和应用中从离开的地方继续。

我能在这节 C++ Academy 课中编写并运行代码吗？

能。每节 C++ Academy 课都包含内置代码编辑器，你可以在浏览器中直接编写并运行真实代码，并获得即时 AI 反馈 — 无需本地设置。

此课程中的所有课时

  1. 函数与类模板再探
  2. 模板特化：偏特化与全特化
  3. 可变参数模板与参数包
  4. constexpr 函数与 if constexpr
← 返回 C++ Academy