std::vector X(0) 是否保证不分配？

Question

理论上，给定：

std::vector X(0);

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

换句话说，由于实现通常会使用一个指向向量的指针，所以这个指针最初总是为0吗？

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

Answer 1

该构造函数调用explicit vector( size_type count ) 这样做：

用计数默认插入的 T 实例构造容器。 没有复制。

您得到的唯一保证是向量将为空，其size() 将为0。允许实现分配任何他们想要的簿记或初始化时的任何内容。

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