有什么东西可以阻止 std::optional::value_or() 有条件地不例外吗？

Question

这是 C++17 标准中value_or() 的定义：

template <class U> constexpr T value_or(U&& v) const&;

效果：相当于：

return bool(*this) ? **this : static_cast<T>(std::forward<U>(v));

备注：如果is_copy_constructible_v<T> && is_convertible_v<U&&, T> 是false，则程序格式错误。

（右值重载类似）

value_or的效果描述为等同于return bool(*this) ? **this : static_cast<T>(std::forward<U>(v));

operator bool 是 noexcept。 operator* 是 not noexcept （即使它没有抛出，可能是因为如果在可选项不包含值时使用它仍然会因 UB 失败）。但是，我们保证永远不会尝试返回包含的值，除非我们有一个。

那么在给定is_nothrow_copy_constructible<T> && noexcept(static_cast<T>(std::forward<U>(v))) 的情况下，不能将value_or 声明为noexcept 吗？

Answer 1

noexcept 在c++ 标准中的使用非常谨慎。这是唯一的障碍。

---

虽然这回答了问题，但下一个问题是“为什么要谨慎使用它”。这是您可能会发现有用的额外信息；如果这是答案的核心，我会包含更多引号而不是链接。论文编号应该比我使用的特定超链接的寿命长，所以就是这样。

N3279 是关于 noexcept 的讨论的结论。基本上，任何具有狭义合同（可以表现出 UB）并且不是移动 ctor 或 dtor 的东西都不会被标记为 noexcept。

以下是指南：

采用的准则

• 不应抛出任何库析构函数。他们应使用隐式提供的（非抛出）异常规范。
• LWG 同意不能抛出的具有广泛合同的每个库函数都应标记为无条件 noexcept。
• 如果库交换函数、移动构造函数或移动赋值运算符是有条件的（即可以通过应用 noexcept 运算符证明不会抛出），则应将其标记为有条件的 noexcept。任何其他函数都不应使用有条件的 noexcept 规范。
• 为与“C”代码（例如原子工具）兼容而设计的库函数可能被标记为无条件 没有例外。

我没有参与讨论，但基本上这个想法是编译器可以向这些方法添加异常。

我相信这就是所谓的拉科斯法则。要更改它，请与委员会讨论。

N3248 是提出 noexcept 问题的论文。主要是关于测试。