fill-insert(）-复制构造函数和复制赋值noexcept状态

1. STL容器元素是否需要具有noexcept复制构造函数和复制赋值运算符？如果可能的话，请提供参考资料
2. 如果不是，在多次插入期间发生异常时，STL容器的状态是什么，例如在填充插入期间

当试图编写一个允许拦截/否决修改的通用包装时，就会出现这个问题。我能想到的任何实现都可能改变底层容器的语义，除非专门针对每种容器类型(这实际上不是一个选项(。

例如，std::vector具有填充插入:

void insert (iterator position, size_type n, const value_type& val);

这要求value_type既是CopyInsertable又是CopyAssignable。请注意，它不要求值类型为DefaultConstructable。

Edit 3Stroustrup自己(第956页的表(指出多元素插入应该对所有向量、deque、list和map都有强保证。这意味着整个标准库操作要么成功，要么失败。

Edit 4但是，只有当相关操作(在本例中为复制构造函数(本身没有抛出异常时，才适用该保证，这正是我的问题。

据我所知，这留下了两种基本的实现方法：

1. 为新元素创建伪条目，并复制分配val。只有当可以通过复制容器中的现有元素来创建伪元素时，或者当value_type是DefaultConstructible时(这不是必需的(，这才有效
2. 将构造元素一个接一个地直接复制到容器中它们各自的位置。这似乎或多或少是规范化的实现

编辑2：我不会把这个称为未定义行为，因为这个词似乎让人们认为未定义为语言运行时/标准。

当复制构造函数或复制赋值运算符引发异常时，这两个实现似乎都会使容器留下未知内容(即，不清楚容器在异常后包含哪些元素(。

编辑1：请注意，这并不意味着我认为C++运行时存在不良行为，例如内存泄漏或未定义的值。然而，似乎或多或少有未指定容器的内容。特别是，容器中的内容可能已经完全(尽管一直(改变了。

例如，考虑第三种(混合(方法：

1. 创建模板对象CCD_ 7的CCD_
2. 将该列表中的元素复制并分配到目标容器中

不同之处在于复制构造函数引发异常时对容器的影响。在这种情况下，如果复制构造函数抛出，容器的内容将保持不变(但当复制赋值运算符抛出时，仍会导致未指定的内容(。当使用指针时(即，当不使用std::vector时(，可能会忽略复制分配，只重新排列指针，从而使操作成为原子写入异常。

至于容器元素上的noexcept：对象是通过allocator_traits<value_type>::construct(ptr, args)创建的，而不是noexcept，我也找不到容器元素大多数都有noexcept复制构造函数/复制赋值运算符的要求(例如std::shared_ptr和std::unique_ptr需要这样(。

请注意，为复制构造和复制分配自动生成的操作要求为noexcept，除非它们被要求调用本身可能引发异常的操作。

这让我很困惑，我确信我错过了一些东西，但我无法找出标准中可能证明我错了的部分。