17370845950

直接说结论：std::vector 是 C++ 标准库中最常用、最安全的动态数组容器，但新手常因忽略容量管理、迭代器失效或类型约束而踩坑。

怎么声明和初始化 vector

声明时必须指定元素类型，不能留空；初始化方式直接影响内存分配行为：

• std::vector v; —— 空容器，v.size() 为 0，v.capacity() 通常为 0 或实现相关的小值（如 GCC 常为 0）
• std::vector v(5); —— 创建含 5 个默认初始化 int（即 0）的 vector
• std::vector v{1, 2, 3}; —— 列表初始化，元素为 1/2/3，v.size() == 3
• std::vector v(5, 42); —— 创建 5 个值为 42 的元素

注意：std::vector 不支持 std::vector v(5, 3.14); 这类隐式转换，会编译失败 —— 类型必须严格匹配。

增删改查操作中哪些会触发重新分配

push_back() 和 emplace_back() 在容量不足时会自动扩容（通常是 1.5× 或 2×），导致原有迭代器、引用、指针全部失效；insert() 和 erase() 在中间位置操作时不会扩容，但会移动后续元素。

• 安全追加：用 v.push_back(x) 或更高效的 v.emplace_back(args...)（避免临时对象构造）
• 批量预留空间：若已知最终大小，先调 v.reserve(N)，再循环 push_back，可避免多次 realloc
• 删除末尾：用 v.pop_back()，O(1)，不触发移动
• 删除中间：用 v.erase(v.begin() + i)，O(N)，后续元素左移
• 清空全部：用 v.clear()，size 变 0，但 capacity() 通常不变（内存不释放）

常见错误：for (auto it = v.begin(); it != v.end(); ++it) { if (*it == x) v.erase(it); } —— erase() 返回下一个有效迭代器，此处会跳过元素且可能越界。正确写法是 it = v.erase(it)。

访问元素时的边界安全怎么做

v[i] 不检查下标，越界是未定义行为（UB），调试模式下某些 STL 实现（如 libstdc++ 的 _GLIBCXX_DEBUG）会抛异常；v.at(i) 始终做范围检查，越界抛 std::out_of_range。

• 性能敏感且确定安全：用 v[i]
• 输入来自用户或外部数据：优先用 v.at(i)
• 遍历推荐范围 for：

  for (const auto& x : v) { /* read-only */ }

  或

  for (auto& x : v) { /* mutable */ }

• 取首尾元素：用 v.front() / v.back()，但调用前必须确保 !v.empty()，否则 UB

vector 的内存布局和跨函数传递建议

std::vector 是连续内存块（类似 C 数组），支持 &v[0] 转为裸指针传给 C 接口，但前提是 !v.empty()；其拷贝开销是 O(N)，移动是 O(1)。

• 函数参数尽量传 const std::vector&（读）或 std::vector&&（写后转移）
• 避免返回局部 vector 的值（C++11 后会被移动，但语义不清），明确意图用 return std::move(v)
• 与 C 互操作：确认 size 后可用 std::data(v) 或 v.data() 获取起始地址
• 注意：std::vector 是特化版本，不保证连续存储，也不满足普通容器要求，应避免依赖其行为

最易被忽略的一点：capacity() 和 size() 的区别不是“理论概念”，而是直接影响性能的关键指标——反复 push_back 而不 reserve，可能造成数十次内存重分配和元素拷贝。