c++ - array::operator[] 实际上是 noexcept 吗？

Question

根据 cppref ，当前未指定重载 noexcept。但我认为它们实际上是noexcept，对吧？由于

1. 不执行边界检查。所以没有像 array::at 这样的 out_of_range 异常.
2. 如果输入超出范围，就会发生低级段错误或访问冲突，这超出了 C++ 异常范围(我猜)。

Answer 1

operator[] 没有标记为noexcept 的原因是它有一个“窄契约”，即要求索引值在范围内0 ... N-1。如果传递的值不在该范围内，则行为未定义，并且(谁知道？)函数可能会抛出异常。

关于不将具有“狭义契约”的事物标记为 noexcept，该标准非常一致。这被非正式地称为“拉科斯规则”。

请注意，如果图书馆实现者选择，他们可以在标准未指定的地方自由添加 noexcept。我会考虑将其添加到 libc++。

[稍后:事实证明，libc++ 已经为 string 和 string_view 做了这个，但不是 vector，array 或 deque]

[稍后:libc++ 现在将 operator[] 标记为 noexcept for vector/array 和 deque。 ]