C++20 consteval立即函数与constexpr有什么区别怎么用-C++-PHP中文网

consteval函数只能在编译期调用，否则直接编译报错；它不支持运行时降级，所有参数和调用链必须为常量表达式，且不可取地址或作模板实参，适用于必须杜绝运行时求值的严格场景。

c++20 consteval立即函数与constexpr有什么区别怎么用

consteval函数只能在编译时调用，否则直接报错

这是最核心的区分点。consteval 函数一旦被运行时值调用，编译器会立刻拒绝，不给任何商量余地。比如：

consteval int square(int x) { return x * x; }
<p>int main() {
constexpr int a = square(5);     // ✅ 编译期调用，OK
int b = 6;
int c = square(b);               // ❌ 错误：call to consteval function 'square' is not a constant expression
}</p>

而 constexpr 函数在同样场景下不会报错——只要参数不是常量表达式，它就自动退化为普通运行时函数：

constexpr int square(int x) { return x * x; } + square(b) → 正常编译、运行时计算
但 consteval 没有这种“降级”能力，它只有一条路：编译期求值

constexpr函数可复用，consteval函数不能作为运行时备选

当你写一个计算逻辑，既想支持编译期（如模板参数），又想兼容运行时（如用户输入），constexpr 是唯一选择。

consteval 不适合这类“双模”需求，强行用会导致代码分裂或重复定义。

需要数组长度、非类型模板参数、static_assert 条件 → 必须用 consteval 或 constexpr
需要同时用于 std::array<t n></t> 和 std::vector<t></t> 初始化 → 只能用 constexpr
想让同一个函数在 if constexpr 分支里调用，又在 else 分支里调用 → consteval 会失败

consteval不能调用非consteval/constexpr函数（除非它们本身满足立即求值）

consteval 函数体内的每一条求值路径都必须能被编译器静态确认为常量表达式。这意味着：

C++ Code Review Master

组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。

下载

不能调用普通函数（哪怕它恰好只用了字面量）
不能调用未标记 constexpr 或 consteval 的函数
即使调用了 constexpr 函数，也要确保所有分支都满足常量求值约束（比如不能有未定义行为、不能访问全局状态）

例如下面这段会编译失败：

int global_counter = 0; // 全局变量
<p>constexpr int unsafe_inc() {
return ++global_counter; // ❌ 即使标了 constexpr，也因副作用+外部状态被禁止
}</p><p>consteval int bad_call() {
return unsafe_inc(); // ❌ 编译错误：not a constant expression
}</p>