为什么std :: vector的元素不需要默认构造函数？

Question

我该如何编写我自己的数组类，以便不需要的元素的默认构造函数？现在，当我执行new []来分配空间时，我需要一个默认构造函数。

std :: vector没有。

他们如何做到这一点？

Answer 1

您可以分配一个字节块，然后使用placement new通过拷贝构造函数（当然不是默认构造函数）创建T（您的参数类型）的新实例，当新项目被推送到向量的背面时。这将不允许创建“一个N默认初始化的向量”（这是std :: vector可以做到的 - 这就是为什么它需要T有一个默认的构造函数来达到这个目的），但是你可以使向量开始空了，可以把Ts推到他们身上。

Answer 2

std::vector不需要默认构造函数，因为它从不使用它。每次需要构建元素时，都会使用复制构造函数来执行此操作，因为每次需要复制时：现有向量元素或您自己提供的用于通过方法参数进行复制的元素（显式或隐式地，通过依靠默认参数）

你可以写这样的一类以完全相同的方式：每次你需要你的数组构造新的元素时，需要用户进行复印提供的元素。在这种情况下，构建原始元素成为用户的责任。

它似乎来自你，如果std::vector“需要”一个默认的构造函数时，它都会只是意味着某个地方你依靠的一些vector小号方法默认参数，即它是你谁试图默认 - 构建一个元素，而不是矢量。矢量本身再也不会尝试默认构建元素。

为了避免内存分配过程中的默认构造函数的要求，标准库分配原料未初始化的内存块，然后立即复制构造在原始内存块（这是一件好事new[]不能做的）新的元素。这个功能被封装在std::allocator类中。您也可以在代码中使用std::allocator，这意味着“魔术”也即时提供给您。

注：以上内容适用于C++ 11以前版本的C++语言规范。 C++ 11改变了很多东西。并且这些更改确实会创建内部使用默认构造函数的情况。

而且它可能是值得注意的是，即使是原来的C++ 98规范允许实现使用功能，以实现标准库接口超载代替默认参数。这意味着在形式上可能有一个有效的C++ 98实现std::vector，它使用默认构造函数内部。

Answer 3

std::vector只要求元素具有默认构造函数，如果以需要默认构造函数的方式使用它。所以这个代码（从已删除的答案被盗）将无法编译，因为X没有一个默认的构造函数：

#include <vector> 

struct X 
{ 
    X(int) {} 
}; 

int main(void) 
{ 
    std::vector<X> x(1); // vector of length 1, second argument defaults to X() !! 
    return 0; 
} 

但是，如果你写main喜欢这个：

int main(void) 
{ 
    std::vector<X> x; // make empty vector 
    x.push_back(X(1)); 
    return 0; 
} 

然后，它的工作原理精细。