std::vector初始化应优先用带容量参数的构造函数以避免重分配;迭代器在内存重分配时全部失效,遍历时修改需用erase返回值;移动语义可高效转移资源,但依赖元素类型支持移动构造。

vector 初始化和常见构造方式
直接用 std::vector 声明空容器最安全,避免未初始化导致的访问越界。构造时若已知大小,优先用带容量参数的构造函数,减少后续 push_back 触发的多次内存重分配。
-
std::vector—— 空容器,v1; v1.size()和v1.capacity()都为 0 -
std::vector—— 构造含 5 个默认值(0)的 vector,v2(5); size() == capacity() == 5 -
std::vector—— 含 5 个值为 42 的元素v3(5, 42); -
std::vector—— 列表初始化(C++11 起),注意大括号语法不支持窄化转换v4{1, 2, 3, 4};
误用 std::vector 会静默截断为 3,编译器可能只报 warning;用 -Wnarrowing 可捕获这类问题。
迭代器失效场景与安全遍历
只要发生内存重分配(如 push_back、insert、resize 超出当前 capacity),所有指向该 vector 的迭代器、指针、引用全部失效。这不是“偶尔出错”,而是未定义行为(UB),可能在调试版运行正常,发布版崩溃。
- 遍历时插入/删除元素:必须用
erase返回的新迭代器,不能 ++ 原迭代器 -
for (auto it = v.begin(); it != v.end(); ++it)是安全的,但若循环体内调用v.push_back(...),v.end()可能变化且it失效 - 推荐用范围 for 循环处理只读遍历:
for (const auto& x : v);需修改时用索引for (size_t i = 0; i 更可控
特别注意:pop_back() 不会导致迭代器失效(除最后一个),但 erase(v.begin()) 会使 v.begin() 失效,而 v.begin() + 1 可能仍有效——但这属于“侥幸”,不应依赖。
立即学习“C++免费学习笔记(深入)”;
reserve vs resize 的核心区别
reserve(n) 只改变容量(capacity),不改变大小(size),也不构造任何元素;resize(n) 改变大小,必要时构造或析构元素,但不一定改变容量。
-
v.reserve(100);→v.capacity() >= 100,v.size()不变,v[0]仍非法(除非原 size > 0) -
v.resize(100);→v.size() == 100,若原 size 100,则尾部元素被析构 - 批量插入前先
reserve是典型优化手段,例如读文件前预估行数再 reserve,可避免反复 realloc + memcpy
滥用 resize 替代 reserve 会导致无谓的对象构造/析构开销,尤其对非 POD 类型(如 std::string 或自定义类)影响显著。
移动语义与 vector 元素的高效转移
C++11 后,std::vector 的移动构造和移动赋值是常数时间操作,真正转移的是内部指针,不拷贝数据。但前提是元素类型本身支持移动(即有移动构造函数)。
- 用
std::move(v1)赋值给另一个 vector 可触发移动:v2 = std::move(v1);→v1变为空,v2拿走全部资源 - 向 vector 插入临时对象时,自动触发移动(如
v.push_back(std::string("hello"))),无需显式 move - 若元素类型无移动构造(如某些老式类),则退化为拷贝;检查方法:确保类有
T(T&&)且未被 delete
一个易忽略点:返回局部 vector 的函数天然受益于移动(NRVO 或移动优化),但不要写 return std::move(local_v); —— 这反而抑制编译器优化,且 C++17 后 guaranteed copy elision 已让多数情况无需干预。









