consteval函数只能在编译期求值，否则直接编译错误；参数须为字面量类型且为常量表达式；不可重载constexpr函数；C++23推荐用if consteval分支，C++20可用std::is_constant_evaluated()但不可靠。
consteval 函数必须在编译期求值，否则直接报错
它不是“可以”在编译期运行的函数，而是“只能”——只要调用没落在常量表达式语境里，consteval 函数调用会立刻触发编译错误，连链接阶段都到不了。
常见错误现象：error: call to consteval function 'foo' is not a constant expression，哪怕只差一个 constexpr 变量没被正确标记、或传了运行时变量进去，就崩。
- 使用场景：生成编译期字符串字面量、校验模板参数合法性（比如确保传入的是素数）、预计算 lookup table
- 参数必须是字面量类型（
literal type），且所有实参本身得是常量表达式；传std::string或堆分配对象？不行 - 不能捕获 lambda、不能有
try块、不能调用非consteval/constexpr函数（除非该函数在当前上下文能被当作常量表达式求值） - 示例：
consteval int square(int x) { return x * x; } constexpr int a = square(5); // ✅ OK int b = 10; int c = square(b); // ❌ 编译失败：b 不是常量表达式
consteval 和 constexpr 函数不能重载区分调用路径
你不能靠写两个同名函数，一个 consteval、一个 constexpr，指望编译器自动选一个。C++ 标准明确禁止这种重载——它们被视为同一声明，定义重复，直接报 redefinition of 'foo'。
真正可行的做法是：用 constexpr 函数兜底，内部用 consteval 辅助函数做编译期分支，或用模板 + if consteval（C++23）。
立即学习“C++免费学习笔记（深入）”；
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
-
if consteval是 C++23 新增语法，用于在单个函数体内切分编译期/运行时逻辑，比写两套函数更安全 - 旧代码想兼容 C++20？老实用
constexpr+std::is_constant_evaluated()，但注意它不可靠：在某些优化级别下可能返回 false，即使实际在常量求值中 - 示例：
consteval int fast_pow_consteval(int base, int exp) { /* ... */ } constexpr int pow(int base, int exp) { if (std::is_constant_evaluated()) return fast_pow_consteval(base, exp); else return std::pow(base, exp); // 运行时 fallback }
consteval 函数体里不能有运行时副作用，连输出都不行
哪怕只是加一句 std::cout ，也会让整个函数无法通过编译。编译器在常量求值阶段不执行 I/O、不访问全局状态、不分配动态内存——它只做纯数学推导。
容易踩的坑：误以为 consteval 是“更强的 constexpr”，其实它是“更纯的编译期限定”。很多 constexpr 能干的事（比如构造 std::array、调用 std::strlen），consteval 也能干；但它额外砍掉了所有可能泄露运行时行为的缝隙。
- 不能用
static局部变量（无初始化时机保证） - 不能调用
std::malloc、new、std::getenv等任何运行时 API - 不能依赖未定义行为的“巧合结果”（比如未初始化变量的位模式），编译器会在常量求值中严格检查
- 调试技巧：把逻辑先写成
constexpr，确认能算通，再改成consteval；出错时优先检查是否无意引入了运行时依赖
模板实例化时 consteval 函数的约束会穿透到所有调用链
如果某个模板函数内部调用了 consteval 函数，那整个模板实例化过程就必须满足常量表达式要求。哪怕你只是声明了一个模板，还没实例化，只要某次特化路径会触发 consteval 调用，而实参又不满足条件，编译就挂。
典型问题：泛型容器的 size() 返回 consteval 值，结果用户拿 std::vector（运行时大小）去套，模板推导失败不说，错误信息还极其晦涩。
- 解决方案：避免在通用模板接口中硬绑
consteval；改用constexpr+ SFINAE /requires约束，只对支持编译期尺寸的类型启用强保证 - 性能影响：
consteval求值发生在模板解析早期，不产生运行时开销，但会显著拉长编译时间——尤其涉及递归计算或大数组展开时 - 兼容性注意：MSVC 2022 17.5+、GCC 12+、Clang 14+ 才完整支持；老版本可能静默降级为
constexpr或直接报错
编译期函数不是魔法，它是编译器在语法树上做确定性演算。最常被忽略的点是：所有输入必须从源码字面量或已知常量表达式中完全推导出来，中间不能有任何“黑盒”环节。一旦出现间接引用、虚函数调用、或跨翻译单元的常量传播，consteval 就会退出。
