vector扩容新容量主流为1.5倍或2倍，但标准不强制；搬移元素优先用noexcept移动构造，否则回退拷贝；capacity与size差值非必然浪费，shrink_to_fit仅为请求；手写vector易错在reserve(0)处理、非法类型分配及移动后指针置空。
vector::push_back 触发扩容时，新容量怎么算
标准库不强制规定扩容倍数，但主流实现（libstdc++、libc++、MSVC STL）都采用「1.5 倍」或「2 倍」增长策略。libstdc++（GCC）用的是 old_capacity + old_capacity / 2（即 1.5 倍），向上取整；MSVC 则直接翻倍。关键点在于：这不是简单的乘法，而是通过 std::max(old_capacity + 1, old_capacity * 2) 类似逻辑保证至少增 1，且避免 0 容量死循环。
实际中别依赖具体倍数——std::vector 只保证均摊 O(1) 的 push_back 复杂度，不承诺增长率。若需确定性行为（如预留空间防重分配），应主动调用 reserve()。
扩容时旧元素怎么搬，移动语义起什么作用
扩容本质是三步：申请新内存 → 搬移元素 → 释放旧内存。搬移方式取决于元素类型是否满足 std::is_nothrow_move_constructible_v：
- 若为
true（如std::string、自定义含 noexcept 移动构造函数的类），优先调用移动构造，避免深拷贝 - 若为
false（如仅提供抛异常移动构造，或只有拷贝构造），退回到拷贝构造，此时若拷贝抛异常，旧容器仍保持有效（强异常安全） - POD 类型（如
int、double）可能被编译器优化为memmove，不调用任何构造函数
这意味着：没写 noexcept 移动构造函数的类，在 vector 扩容时大概率走拷贝路径，性能受损且无法享受移动优势。
立即学习“C++免费学习笔记（深入）”；
capacity() 和 size() 差值大，一定浪费内存吗
不一定。差值反映「已分配但未使用」的空间，但这是为避免频繁分配/释放做的权衡。真正的问题不在差值本身，而在：shrink_to_fit() 不保证释放内存（C++11 起是「请求」而非「命令」），libc++ 和 MSVC 通常会释放，libstdc++ 则常忽略（因涉及重新分配+搬移，开销可能比留着更大）。
如果你明确需要回收内存（例如 vector 生命周期长、后续不再增长），可手动 std::vector 强制收缩，但注意这会引发一次完整搬移。
自己实现简易 vector 时最容易错的边界
真实源码里最常出问题的不是增长公式，而是三处细节：
- 初始
capacity()通常为 0 或 1，但reserve(0)必须合法且不改变 capacity —— 很多手写实现误判为「无需操作」而跳过分配检查 - 当
T是引用类型或数组类型时，std::allocator会编译失败，必须用::allocate() std::allocator<:byte>+ placement new 绕过 - 移动构造后原对象必须处于「可析构但不可读写」状态，若忘记将原 vector 的
data_置为nullptr，析构时 double free
这些在标准库源码（比如 libstdc++ 的 stl_vector.h）里都有显式处理，但抄代码时极易漏掉其中一两条。
