consteval函数调用失败不是优化问题，而是编译期硬性约束：只要上下文不满足常量表达式要求（如参数非常量、类型非字面型、函数体含运行时行为或调用链中存在非consteval/constexpr函数），编译器立即报错，不生成任何目标码。
consteval 函数调用失败：不是“没优化”，是根本不允许运行时存在
consteval 函数不是“建议编译器尽量算在编译期”，而是**只要调用上下文不满足常量表达式要求，编译器立刻拒绝，不生成任何目标码**。你看到的 error: call to consteval function 'f' is not a constant expression 不是警告，是硬性拦截——连链接阶段都到不了。
常见错误现象包括：
- 传入普通局部变量（哪怕值是字面量，如
int x = 42; f(x);） - 参数类型非字面类型（如
std::string、含虚函数的类） - 函数体内用了
static变量、try块（除非 catch 的是std::integral_constant这类编译期可判定类型）、new或 I/O 操作 - 调用了非
consteval/constexpr函数（哪怕只有一行）
哪些上下文才算“被要求产生常量表达式”？
只有明确需要编译期常量的地方，才构成合法调用点。不是所有 constexpr 可用的位置都对 consteval 开放。
典型合法场景有：
-
static_assert条件表达式：static_assert(f(5) > 0); - 模板非类型参数：
template<int n> struct X {};</int>→X<f> x;</f> - 数组大小声明：
int arr[f(10)]; -
constexpr变量初始化器：constexpr int v = f(3); - 枚举器定义：
enum { E = f(2) };
注意：auto x = f(5); 是非法的——因为 x 不是 constexpr，该调用不处于常量表达式上下文中；即使你后面没改 x，编译器也不允许。
参数必须是常量表达式，不只是“看起来像常量”
一个变量声明为 constexpr int x = 5;，它本身是常量表达式；但一旦作为参数传给 consteval 函数，其**类型 + 值 + 初始化方式**三者必须共同满足字面类型与常量表达式约束。
容易踩的坑：
-
const int y = 5;≠ 常量表达式（缺少constexpr修饰） -
constexpr std::string_view sv{"hello"};✅ 合法（std::string_view是字面类型） -
constexpr std::string s{"hello"};❌ 非法（std::string不是字面类型） - 隐式转换可能破坏常量性，比如
f(static_cast<long long>(5))</long>若f参数是int，转换过程若涉及非常量行为会失败
和 constexpr 的关键区别：没有退路
constexpr 函数写成这样没问题：constexpr int g(int x) { return x * 2; }，然后既能在 constexpr int a = g(3); 中编译期求值，也能在 int b = g(some_runtime_int); 中运行时执行。
而 consteval 函数没有这个弹性。它是一道单向闸门：
- ✅ 所有实参是常量表达式 + 调用在常量上下文中 → 编译通过，结果固化为常量
- ❌ 任一条件不满足 → 编译失败，报错信息直指调用点，不尝试降级
这意味着：如果你在模板元编程中依赖某个计算结果必须出现在编译期（比如生成查找表、校验维度合法性），就该用 consteval；如果还想保留运行时兼容性，就得选 constexpr，或拆成两个函数。
最易被忽略的一点：consteval 函数调用链上所有间接调用也必须是 consteval 或 constexpr（且实际能被编译期求值），否则整条链失效。这不是性能问题，是语义锁死。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
