是新的(&*p)双倍;一个无操作。因此，uninitialized_default_construct是否也变得无操作？

Is new(&*p) double; a no-op. Does therefore uninitialized_default_construct becomes no-op as well?

本文关键字：操作 default uninitialized construct 因此是否双倍一个更新时间：2023-10-16

STL 文档说 (1(uninitialized_default_construct调用::new (static_cast<void*>(std::addressof(*p))) Value;.

与 (2(uninitialized_value_construct的唯一区别是后面的调用::new (static_cast<void*>(std::addressof(*p))) Value();。(注意()(

我想知道内置类型和非平凡类型的实际区别是什么。

对于内置函数，在我看来，第二个 (2( 将进行值初始化，即将值设置为零，而第一个 (1( 将是无操作(使值未初始化(。

对于非平凡类型(2(将调用默认构造函数。我不清楚的是(1(对非平凡类型的作用。还会调用默认构造函数吗？如果类被设计为这样，它是否也是T::T() = default并且它是无操作的，并使元素处于部分形成状态？

同样让我感到困惑的是，为什么 STL 容器总是使用uninitialized_value_construct尽管在可能的情况下调用uninitialized_default_construct会更一致。

例如std::vector<double>(100)-> 应该调用uninitialized_default_construct，而当前行为可以用std::vector<double>(100, {})或std::vector<double>(100, double{})来模仿。

这是因为uninitialized_default_construct的概念在STL的初始版本中不存在吗？或者只是没有简单的方法将信息传递给容器的构造函数？

同样让我感到困惑的是，为什么 STL 容器总是使用uninitialized_value_construct，尽管在可能的情况下调用uninitialized_default_construct会更一致。

容器不使用这两种方法。容器通过其分配器构造对象。不幸的是，allocator_traits<...>::construct采用任意一系列参数。不传递任何参数在默认初始化和值初始化之间是不明确的。使用哪一个取决于分配器，但无法通过参数列表选择哪一个。默认allocator_traits::construct将使用值初始化，并且始终对所有类型执行此操作。

当前的行为本可以用std::vector<double>(100, {})来模仿

即使忽略向后兼容性问题以及我刚刚说的关于分配器的内容，该构造函数也意味着"默认构造一个double，然后将该double的值一次复制到 100 个元素中。所以它不会是"当前的行为"。