如何在施工时为std :: vector保留内存？

Question

通常我在构造它之后立即调用std::vector上的reserve 。 这通常不会导致std::vector的现有堆分配被销毁并替换为新的堆分配吗？ 有没有办法在构建时保留内存而不是分配堆空间然后立即销毁它？ 或者是否在std::vector有一个实现技巧来确保这不是问题？

可用的构造函数似乎只能用于使用值填充std::vector ，而不是显式保留空间。

Answer 1

您的问题基于一个错误的前提，即默认构造的std::vector<T>将执行[零长度]分配。

实际上没有理由这样做。 一个新的向量应该具有零容量（虽然这是理智所要求的，而不是标准所要求的）。

因此，您的目标已经天生就满足了。

说实话，标准库并不是那么愚蠢。

Answer 2

如果您在编译时知道元素的数量，则可以使用以下元素列出初始化向量：

 class MyClass 
 {
      int x, y, z;
      std::vector<int> v;

  public:
         MyClass(int X, int Y, int Z) : x(X), y(Y), z(Z), v{x, y, z}
         {}
 };

但这不是很好维护。 有更多高级技术，例如自定义分配器，你可以使std::vector使用它可以从预先分配的内存池中获取内存，例如：我怀疑你真的需要它，但是。 现代实现可以轻松优化这么简单的问题。

Answer 3

原因可能是具有讽刺意味的，我们的功能签名已经用完了。

要求来自使用场景，我们确切地知道我们将保存到向量中的元素数量，但我们真的不喜欢n重复元素构造函数：

std::vector( size_type count, const T& value = T())

不幸的是，签名被上面的构造函数占用。 任何其他可能的签名都可能导致问题 例如

1. vector(size_type count, size_type reserve_count)将与T(size_type)向量的上述n重复元素构造函数冲突。

2. vector(size_type count, const T& value = T(), size_type reserve_count)是一种可能的解决方案，但它太长而且仍然很无聊。 我们需要在调用auto v = vector<T>(0, T(), reserve_count)构造一个我们从不使用的默认值

其他可行方案：

1. 提供类似make_pair / make_unique的函数。

2. 定义一个从Allocator派生的Reserver，所以我们可以使用构造函数向量（const Allocator＆alloc）之类的

auto v = vector<Type>(new Reserver(reserve_count));

Answer 4

对象std::vector及其元素数组不存在于同一个连续的内存块中，否则每次调整数组大小时其地址都会发生变化，从而无法保持对它的可靠引用。 对象的主体仅包含控制变量和指向实际数组的指针，它将在堆栈中实例化（假设您将其用作局部变量）以及其他局部变量。 此时数组将为空，可能由指向nullptr的指针表示。 因此，如果您在构造时间或之后reserve ，则无关紧要，将不会发生重大优化。

如果你想要一个静态保留的静态大小的std::vector ，你可以使用常规的C数组而不是std::vector 。 只要确保它适合堆栈。