我有一个关于 std::complex<float>
的 C++17 问题, std::complex<double>
, 和 std::complex<long double>
及其成员函数 real()
和 imag()
.
显然,这些成员函数不能抛出异常,因为它们只是通过复制内置浮点类型返回一个值。
那么为什么没有指定它们 noexcept
?
最佳答案
有人问过类似的问题here但上下文略有不同。 noexcept
通常由标准库指定的方式是仅在可能有益时才这样做。请记住,缺少 noexpect
规范的函数仍然可以从 noexcept
函数中调用(与 const
的类似情况不同),因此省略noexcept
没有任何限制。只是,noexcept
向编译器指示不需要/不可能进行异常处理,这可以带来显着的性能优势,尤其是在编译器只能根据以下函数进行推理的情况下它的签名。然而 std::complex::(real|imag)
无论如何都可能被内联,并且无论如何在这种情况下都可以省略异常处理。
话虽如此,我也看不出在这种情况下声明 noexcept
有什么问题。通常,应注意不要声明任何库 API noexcept
,因为这可能会限制实现者。然而,在 std::complex
的情况下,实现的回旋余地是如此之小,以至于规定不能抛出异常是公平的。我的猜测是,std::complex
早于 noexcept
,没有足够的理由追溯添加 noexcept
说明符。
关于c++ - 三个 std::complex 特化和 noexcept,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/57622150/