C++ vector容量确定机制及实例化相关问题咨询

问题1：实例化vector时，编译器如何确定其capacity？是随机值吗？ #

vector的capacity不是随机值，由标准库的内存分配策略决定，不同实现（如clang使用的libc）遵循C++标准规则：

• 默认构造（std::vector<T> v;）：标准允许capacity为0或最小预分配值，libc++中默认构造的vector capacity为0。
• 指定元素数量初始化（std::vector<T> v(X); 或 std::vector<T> v(X, value);）：标准要求容器分配恰好容纳X个元素的内存，因此此时capacity等于X，这也是你测试中看到的情况。
• 迭代器范围初始化（std::vector<T> v(begin_iter, end_iter);）：多数实现（包括libc++）会分配刚好容纳范围内元素数量的内存，capacity等于元素总数；但标准允许实现预分配额外空间，少数实现可能会这么做。

问题2：用X个元素实例化vector时capacity等于X，pop_back后capacity不变，这种情况是否始终存在？实例化时capacity与size是否始终相等？ #

• pop_back()后capacity不变是始终成立的：pop_back()仅销毁末尾元素并减少size，不会触发内存释放。vector的设计目标是减少频繁内存分配/释放的开销，因此只会在需要扩容时分配更大空间，不会在元素减少时主动缩容。若需要缩容，可手动调用shrink_to_fit()，但这只是向容器发出请求，标准不保证一定会执行缩容。
• 实例化时capacity与size并非始终相等：
  • 若先调用reserve(N)预分配内存，再添加元素，比如：

    std::vector<int> v;
    v.reserve(10);
    v.push_back(1);
    

    此时size为1，capacity为10，二者不相等。
  • 当通过push_back多次触发扩容后，即使调用resize(X)将size调整为X，capacity仍会大于X（因为扩容通常按固定倍数增长，比如1.5倍或2倍，不会刚好缩到X）。
• 你测试中出现实例化时capacity等于X，是因为使用了指定元素数量的初始化方式，libc++对这种方式会严格分配刚好容纳X个元素的内存，因此capacity等于size。换用其他初始化方式即可看到capacity大于size的情况。

内容的提问来源于stack exchange，提问作者kubo