c++ - 三个 std::complex 特化和 noexcept

Question

我有一个关于 std::complex<float> 的 C++17 问题, std::complex<double> , 和 std::complex<long double>及其成员函数 real()和 imag() .

显然，这些成员函数不能抛出异常，因为它们只是通过复制内置浮点类型返回一个值。

那么为什么没有指定它们 noexcept ？

Answer 1

有人问过类似的问题here但上下文略有不同。 noexcept 通常由标准库指定的方式是仅在可能有益时才这样做。请记住，缺少 noexpect 规范的函数仍然可以从 noexcept 函数中调用(与 const 的类似情况不同)，因此省略noexcept 没有任何限制。只是，noexcept 向编译器指示不需要/不可能进行异常处理，这可以带来显着的性能优势，尤其是在编译器只能根据以下函数进行推理的情况下它的签名。然而 std::complex::(real|imag) 无论如何都可能被内联，并且无论如何在这种情况下都可以省略异常处理。

话虽如此，我也看不出在这种情况下声明 noexcept 有什么问题。通常，应注意不要声明任何库 API noexcept，因为这可能会限制实现者。然而，在 std::complex 的情况下，实现的回旋余地是如此之小，以至于规定不能抛出异常是公平的。我的猜测是，std::complex 早于 noexcept，没有足够的理由追溯添加 noexcept 说明符。