C++标准列表和默认构造类型

Question

为什么单个参数构造函数std::list<T>需要T是一个默认可构造类型？我的意思是以下代码无法编译.

struct Foo { // does not have default constructor.
  Foo (int i) {} 
}
int main(void) {
  std::list<Foo> l(10);
}

似乎可以使用构造并销毁习惯用法,因为它们已经在std :: vector中完成了,尽管有更多的书籍保持列表类.

在相关的说明中,为什么没有列表中的容量功能？您可以争辩说,这样的函数会预先支付内存分配成本,并在您push_back反对时消除开销.至少它会使两个STL序列容器的接口稍微更一致.

Answer 1

没有一般要求类型默认可构造 - 它必须是可复制和可分配的。您的代码不起作用，因为您尝试创建一个包含 10 个项目的列表 - 必须以某种方式构造它们，因此必须使用默认构造函数 - 但仅限于这种特定情况。如果您创建了一个空列表并将其添加到其中，则不会有这样的要求。

对于其他容器也是如此 - 尝试编译以下内容：

#include <vector>

struct A {
    A( int x ) : z(x) {}
    int z;
};

std::vector <A> a(10);

关于你问题的第二部分，我只是观察到接口的一致性并不是标准容器的主要设计标准 - 例如，无意将一种类型的容器“直接”替换为其他。Scott Meyers 的书“Effective STL”的第 1 项和第 2 项对此进行了很好的讨论。

Answer 2

std :: list没有容量函数,因为它没有任何意义; 它永远不会像矢量那样调整大小.它的容量仅受可用内存的限制,这是不容易确定的.

根据你的要求,我认为你真的想要保留().这是向量的一次性,因为它(非常)需要这样的东西; 并没有特别要求在所有STL容器中使所有功能保持一致,特别是当它们对其他容器没有意义时.

您可以使用自定义分配器完成相同的效果.正如曼努埃尔建议的那样,看看提振.