Vector C++用法_C++中vector容器的各类使用技巧

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

vector 初始化和常见构造方式

直接用 std::vector 声明空容器最安全,避免未初始化导致的访问越界。构造时若已知大小,优先用带容量参数的构造函数,减少后续 push_back 触发的多次内存重分配。

  • std::vector v1; —— 空容器,v1.size()v1.capacity() 都为 0
  • std::vector v2(5); —— 构造含 5 个默认值(0)的 vector,size() == capacity() == 5
  • std::vector v3(5, 42); —— 含 5 个值为 42 的元素
  • std::vector v4{1, 2, 3, 4}; —— 列表初始化(C++11 起),注意大括号语法不支持窄化转换

误用 std::vector v(5, 3.14); 会静默截断为 3,编译器可能只报 warning;用 -Wnarrowing 可捕获这类问题。

迭代器失效场景与安全遍历

只要发生内存重分配(如 push_backinsertresize 超出当前 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 可能仍有效——但这属于“侥幸”,不应依赖。

reserve vs resize 的核心区别

reserve(n) 只改变容量(capacity),不改变大小(size),也不构造任何元素;resize(n) 改变大小,必要时构造或析构元素,但不一定改变容量。

  • v.reserve(100);v.capacity() >= 100v.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 已让多数情况无需干预。