consteval用于声明必须在编译时求值的函数，适用于要求参数为常量表达式的场景。1. 它强制函数只能在编译期执行，否则报错；2. 与constexpr不同，后者可运行时执行；3. 常用于生成查找表、配置检查等需编译期验证的场景；4. 注意不可用于构造函数、析构函数或虚函数，且参数必须是字面类型。
在C++20中，consteval关键字用于声明一个函数必须在编译时求值，也就是所谓的“立即调用函数”（immediate function）。简单来说，只有当调用这个函数的上下文要求其结果在编译期就能确定时，它才合法。
这跟constexpr不同，后者允许函数在运行时或编译时执行，而consteval强制必须在编译期完成计算。
什么时候应该使用 consteval？
当你希望某个函数只能在编译时执行，并且不允许它在运行时被调用，这时候就该使用consteval。
立即学习“C++免费学习笔记（深入）”；
举个例子：你想写一个用来计算数组大小的函数，但你不希望它在运行时也能被调用，因为那样会带来不必要的性能开销。这时候你就可以把它声明为consteval：
consteval int array_size(int n) {
return n * 2;
}
int arr[array_size(5)]; // 合法，array_size在编译期求值
int x = array_size(10); // 合法，仍然是编译期求值
// int y = array_size(std::cin.get()); // 错误！参数不是常量表达式如果你尝试传入一个运行时才能知道的值，编译器就会报错。
consteval 和 constexpr 的区别
虽然两者都和编译期计算有关，但它们的用途是不同的：
-
constexpr函数可以在编译期或运行期执行，取决于它的参数是否是常量表达式。 -
consteval函数只能在编译期执行，否则就是编译错误。
所以你可以理解为：consteval比constexpr更严格，是一种“更强的承诺”。
举个小对比：
constexpr int square(int x) {
return x * x;
}
consteval int compile_square(int x) {
return x * x;
}下面这些调用的区别就很明显了：
int a = square(5); // 编译期或运行期都可以 int b = compile_square(5); // 必须在编译期 int input; std::cin >> input; int c = square(input); // 可以，运行期执行 int d = compile_square(input); // 报错，input不是常量表达式
使用 consteval 的一些注意事项
使用consteval时有几个细节需要注意：
- 它不能用于构造函数、析构函数或者虚函数。
- 函数体必须是一个有效的常量表达式，不能有副作用或无法在编译期处理的操作（比如IO、动态内存分配）。
- 参数必须是字面类型（literal type），否则无法保证能在编译期求值。
常见问题包括：
- ❌ 在
consteval函数里调用非consteval函数，如果那个函数不能在编译期运行，就会出错。 - ❌ 试图将运行时变量作为参数传递给
consteval函数，会导致编译失败。
实际应用场景举例
- 元编程辅助函数：例如生成固定大小的查找表、计算数值常数（如π的高精度近似）。
- 配置检查：某些配置项在编译时就应该验证合法性，比如线程数量、缓冲区大小等。
- 安全边界检查：确保某些关键逻辑必须在编译时确定，避免运行时错误。
举个例子，假设你要根据平台决定缓冲区大小，并且想在编译期验证是否合理：
consteval int get_buffer_size(int platform_id) {
if (platform_id == 1) return 1024;
else if (platform_id == 2) return 2048;
else throw "Unsupported platform"; // 这里其实不会真正抛异常，在编译期就会报错
}
constexpr int buffer_size = get_buffer_size(1); // OK
// constexpr int bad_size = get_buffer_size(some_runtime_value); // 编译错误基本上就这些。用起来不复杂，但很容易忽略它适用的场景和限制条件。
