为什么立即函数默认不是 noexcept，为什么它们允许为 noexcept(false)？

Question

从 c++20 开始，我们可以使用 consteval 说明符定义立即函数。当一个函数被声明为consteval 时，对该函数的每次调用都必须产生一个编译时常量，否则程序是错误的。此外，由于 c++20 的 try-catch 块在常量评估上下文中是允许的，但仍然不允许抛出异常。因此，我最初认为consteval 暗示inline 它也暗示noexcept，因为禁止抛出任何异常。正如您在这一点上可以想象的那样，这不是真的：除非您指定noexcept，否则立即函数是一个潜在的抛出函数，其所有负面影响都来自于此。有什么我不知道的原因吗？

Answer 1

一些算法根据 noexcept 规范执行不同的操作（参见 std::vector::resize() ）。此外，编译器可能会删除非抛出函数的异常处理代码

立即函数在编译时被调用。虽然 C++20 现在确实有编译时容器，但它们的性能与运行时代码无关。他们可以很容易地使用基于if(is_constant_evaluated) 的不同内部实现，这将不仅仅使noexcept 查询受益。

但即便如此，constexpr 编码的目标之一是使编译时代码像运行时代码一样。因此，如果您有一个只应该在编译时存在的类并且有一个 consteval 移动构造函数，那么用户应该像对待运行时类一样考虑它。因此，如果他们将移动构造函数 noexcept 在运行时类中，它也应该在编译时类中。

这是双重重要的，因为它保留了编译时代码能够在未来版本的语言中引发异常的能力。如果 P0709：静态异常进入标准，这尤其可能。

另外，立即函数只存在于编译时，这是一个没有异常处理的上下文。因此，无论编译器如何为 constexpr 函数构建代码，它都不涉及异常处理机制。所以为了代码生成的目的而隐含地noexcept 是没有意义的。

最后，consteval 最终构建为对 constexpr 函数声明的微小更改。甚至隐含的inline 也来自consteval，意思是constexpr，而不是consteval 本身。向consteval 添加新语义将产生重大变化。