c++ - std::list::splice() 和 std::forward_list::splice_after() 在 C++11 中声明为 noexcept 吗？

Question

Cppreference 没有提及 std::forward_list::splice_after() 的异常保证和 std::list::splice() .

但是，由于这两个函数仅更改列表节点的指针，因此不需要复制/移动任何元素或分配任何内存，恕我直言，它们应该是 noexcept。

它们是 C++11 中的 noexcept 吗？如果不是，为什么不呢？

Answer 1

除了一个之外，所有的都有一个“Throws: Nothing。”在标准和缺失的标准中，它似乎是一种疏忽。

它们不是 noexcept 因为它们是狭义契约。如果您打破(许多)先决条件， Debug模式实现可能想要抛出异常。