consteval函数只能在编译期调用，否则直接编译报错；它不支持运行时降级，所有参数和调用链必须为常量表达式，且不可取地址或作模板实参，适用于必须杜绝运行时求值的严格场景。
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
}而 constexpr 函数在同样场景下不会报错——只要参数不是常量表达式，它就自动退化为普通运行时函数：
-
constexpr int square(int x) { return x * x; }+square(b)→ 正常编译、运行时计算 - 但
consteval没有这种“降级”能力，它只有一条路：编译期求值
constexpr函数可复用，consteval函数不能作为运行时备选
当你写一个计算逻辑，既想支持编译期（如模板参数），又想兼容运行时（如用户输入），constexpr 是唯一选择。
consteval 不适合这类“双模”需求，强行用会导致代码分裂或重复定义。
立即学习“C++免费学习笔记（深入）”；
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
- 需要数组长度、非类型模板参数、
static_assert条件 → 必须用consteval或constexpr - 需要同时用于
std::array<T, N>和std::vector<T>初始化 → 只能用constexpr - 想让同一个函数在
if constexpr分支里调用，又在 else 分支里调用 →consteval会失败
consteval不能调用非consteval/constexpr函数（除非它们本身满足立即求值）
consteval 函数体内的每一条求值路径都必须能被编译器静态确认为常量表达式。这意味着：
- 不能调用普通函数（哪怕它恰好只用了字面量）
- 不能调用未标记
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
}什么时候该选consteval而不是constexpr
只有当你**明确要求“绝对不能出现在运行时”**，且这个要求对安全、接口契约或元编程语义至关重要时，才用 consteval。
- 生成唯一编译期哈希（如字符串字面量编译期转整型ID）
- 实现反射所需的固定布局校验（如
std::is_standard_layout_v<T>的配套工具） - 防止某类计算被意外拖到运行时（比如密钥派生、校验和预计算）
- 配合
std::is_constant_evaluated()做条件分支时，需确保某一分支“强制编译期”
多数日常计算（比如数学工具函数、容器大小推导）仍应优先用 constexpr ——它更灵活，兼容性更好，且 C++20 已足够强大。
容易忽略的一点：consteval 函数无法取地址（&func 报错），也不能作为模板实参传递（除非是函数模板的非类型参数且上下文允许），这些限制比 constexpr 严格得多。
