C++标准库为何通常不采用conditional noexcept？

根据C++标准的相关规范：

所有具有宽契约且LWG确认不会抛出的库函数，应标记为无条件noexcept。
若库的swap函数、移动构造函数或移动赋值运算符为条件宽契约（即通过noexcept运算符可证明不会抛出），则应标记为conditional noexcept。其他函数均不应使用conditional noexcept规范。

背后的原因可以从这几个角度理解：

• 接口行为要明确，别给用户添负担：普通库函数的异常行为必须清晰可预测。要是随便用conditional noexcept，用户得时刻盯着模板参数或外部条件判断函数会不会抛异常，写代码时的心智成本会大幅提升。要么无条件保证不抛，要么明确可能抛出，才能让用户放心构建自己的代码逻辑。
• 特殊函数得适配场景需求：swap、移动构造/赋值都是C++性能优化的核心节点——像vector这类容器，会根据这些操作是否noexcept来选择是移动元素还是拷贝元素，直接影响运行效率。但这些操作的异常安全性完全依赖于内部元素的行为：比如容器的移动构造会不会抛，全看它存储的元素的移动构造会不会抛。这种情况下必须用conditional noexcept精准反映这种依赖，让上层代码能做出正确的优化决策。
• 减少维护和兼容风险：要是允许普通函数用conditional noexcept，库的实现细节一旦变化，noexcept的条件可能跟着改变，用户代码的异常安全逻辑直接就会被破坏。只限定特定函数使用，能把这种潜在的兼容风险降到最低，库的维护也会更可控。

内容的提问来源于stack exchange，提问作者Blackteahamburger