c++ - std::vector X(0) 保证不分配吗？

Question

理论上，给定:

std::vector X(0);

那么X会从栈中为自己分配内存，但是保证不分配堆内存吗？

换句话说，由于实现通常会为 vector 使用一个指针，这个指针是否总是初始为 0？

注意:这与 Initial capacity of vector in C++ 不同因为当没有参数传递给构造函数时，它会询问容量，而不是容量为 0 时堆分配的保证；在这种情况下，容量可以不为零这一事实说明了差异。

Answer 1

该构造函数调用 explicit vector( size_type count ) 执行以下操作:

Constructs the container with count default-inserted instances of T. No copies are made.

您得到的唯一保证是 vector 将为空，它的 size() 将为 0。允许实现分配他们想要的任何东西用于簿记或初始化时的任何东西。

因此，如果您的问题是您是否可以指望 X 占用 0 个字节的可用存储空间，那么答案是否。