<p>立即函数是C++20中用consteval定义的函数，必须在编译期求值。1. 与constexpr不同，consteval函数只能在编译时执行，调用时参数必须为编译期常量。2. 语法如consteval int square(int n) { return n * n; }，可用于constexpr上下文如数组大小或模板计算。3. 若用运行时值调用，如变量输入，将导致编译错误。4. 应用于需强制编译期计算的场景，如字面量运算、类型构造、避免运行时开销，提升安全性和代码意图清晰度。</p>
在C++20中，consteval关键字用于定义所谓的“立即函数”（immediate functions）。这类函数的特点是：它们必须在编译期求值，调用它们的每一个表达式都必须产生一个编译时常量。如果无法在编译期完成求值，程序将无法通过编译。
什么是立即函数（Immediate Functions）？
立即函数是一种强制在编译时执行的函数。与constexpr函数不同，constexpr函数可以在运行时或编译时执行，而consteval函数只能在编译时执行。
这意味着只要调用consteval函数，其所有参数也必须是编译期已知的值，否则会触发编译错误。
consteval 函数的基本语法
consteval int square(int n) {
return n * n;
}
这个函数只能在编译期被调用。例如：
立即学习“C++免费学习笔记（深入）”；
constexpr int x = square(5); // ✅ 正确：在编译期计算 int arr[square(4)]; // ✅ 正确：square(4) 是编译期常量
但如果尝试用运行时值调用，就会出错：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
int n; std::cin >> n; int result = square(n); // ❌ 错误：n 不是编译期常量
与 constexpr 的区别
理解consteval和constexpr的区别很重要：
- constexpr 函数：可能在编译期执行，也可能在运行时执行，取决于调用上下文。
- consteval 函数：强制在编译期执行，任何调用都必须产生常量表达式。
举例说明：
constexpr int add_constexpr(int a, int b) {
return a + b;
}
<p>consteval int add_consteval(int a, int b) {
return a + b;
}</p><p>constexpr int x = add_constexpr(2, 3); // ✅ 编译期
int y = add_constexpr(2, 3); // ✅ 允许：运行时也可以</p><p>constexpr int z = add_consteval(2, 3); // ✅ 编译期
int w = add_consteval(2, 3); // ❌ 错误：不能在运行时调用</p>应用场景
consteval适用于需要确保完全在编译期完成计算的场景，比如：
- 生成编译期数组大小
- 模板元编程中的辅助计算
- 构建强类型的字面量运算
- 避免运行时代价的关键数学变换
它提供了一种比static_assert结合constexpr更清晰、更安全的方式来强制编译期求值。
基本上就这些。consteval 让你在设计接口时能明确表达“这个函数必须在编译时运行”的意图，提升了代码的安全性和可读性。不复杂但容易忽略。
