fill insert（） - 复制构造函数和复制赋值 noexcept status？

问：

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

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

例如，有一个填充插入：std::vector

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

这需要同时是 CopyInsertable 和 CopyAssignable。请注意，它不要求值类型为 DefaultConstructible。value_type

编辑 3 Stroustrup 本人（第 956 页的表格）指出，多元素插入应该对所有向量、deque、list 和 map 都有强有力的保证。这意味着完整的标准库操作在原子上成功或失败。

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

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

1. 为新元素创建虚拟条目并复制分配 .仅当可以通过复制容器中的现有元素或 DefaultConstructible（这不是必需的）来创建虚拟元素时，这才有效。valvalue_type
2. 将元素一个接一个地复制构造到容器中的相应位置。这似乎或多或少是规范的实现。

编辑 2：我不会称其为未定义的行为，因为该术语似乎会提醒人们将未定义的行为视为语言运行时/标准。

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

编辑1：请注意，这并不意味着我认为C++运行时存在不良行为，例如内存泄漏或未定义的值。但是，似乎或多或少没有具体说明容器的内容是什么。特别是，容器的内容物可能已经完全（尽管始终如一）地被改变。

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

1. 创建模板对象的副本列表。nval
2. 将此列表中的元素复制并分配到目标容器中。

区别在于复制构造函数引发异常时对容器的影响。在这种情况下，如果复制构造函数抛出容器的内容，则容器的内容保持不变（但在复制赋值运算符抛出时仍会导致未指定的内容）。当使用指针时（即不使用指针时），复制赋值可能会被省略，只有指针被重新排列，使操作原子 wrt。异常。std::vector

至于容器元素：对象是通过 创建的，但事实并非如此，我也找不到容器元素大多数具有复制构造函数/复制同化运算符的要求（例如 并要求这样做）。noexceptallocator_traits<value_type>::construct(ptr, args)noexceptnoexceptstd::shared_ptrstd::unique_ptr

请注意，自动生成的 copy-construct 和 copy-assign 操作是必需的，除非它们需要调用本身可能引发异常的操作。noexcept

这让我感到困惑，我确信我错过了一些东西，但我无法弄清楚标准中可能证明我错了的部分。