c++ consteval的限制条件有哪些

consteval 是 C++20 中引入的一个新关键字，用于指定函数必须在编译时进行计算。这意味着 consteval 函数不能在运行时被调用，只能在编译时常量表达式中使用。consteval 函数的限制条件如下：

1. 编译时计算：consteval 函数必须在编译时进行计算，不能在运行时执行。这意味着它们不能依赖于运行时的输入或状态。
2. 无副作用：consteval 函数不能有任何可观察的副作用，例如修改全局变量、输出到控制台或文件等。这是因为它们在编译时计算，而不是在运行时。
3. 返回类型：consteval 函数的返回类型必须是字面量类型或 constexpr 类型。这意味着返回值在编译时是已知的。
4. 参数类型：consteval 函数的参数类型也必须是字面量类型或 constexpr 类型。这意味着参数在编译时是已知的。
5. 递归限制：consteval 函数不能直接或间接地调用自身。这是为了防止无限递归导致编译器崩溃。
6. 函数体限制：consteval 函数的函数体不能包含以下内容：
   • goto 语句
   • try、catch 或 throw 语句
   • asm 语句（除非编译器明确支持）
   • 标签（除了 case 和 default 标签）
   • reinterpret_cast（除非编译器明确支持）
   • new 或 delete 操作符
   • 动态内存分配（例如 malloc 或 free）
   • 非 constexpr 函数的调用
   • 非 constexpr 构造函数或析构函数的调用
   • 非 constexpr 成员函数的调用
   • 非 constexpr 静态成员变量的访问
   • 非 constexpr 全局变量的访问
   • 非 constexpr 局部变量的访问
   • 非 constexpr 类型的对象的创建
   • 非 constexpr 类型的引用的创建
   • 非 constexpr 类型的指针的创建
   • 非 constexpr 类型的数组的创建
   • 非 constexpr 类型的模板实例化

请注意，这些限制可能会随着 C++ 标准的发展而发生变化。在编写 consteval 函数时，建议查阅最新的 C++ 标准文档以获取最准确的信息。