vector::erase删除单个元素后,被删位置及之后所有迭代器、引用、指针均失效;应使用其返回的新有效迭代器继续遍历,而非对原迭代器递增。

vector::erase 删除单个元素时,迭代器失效是最大陷阱
调用 erase 删除某个位置的元素后,该位置及之后所有迭代器、引用、指针全部失效。常见错误是删完还继续用原 it 递增:it++ —— 这会访问已释放内存,行为未定义。
- 正确做法:用
erase的返回值(指向被删元素后一个位置的有效迭代器)继续遍历 - 错误写法:
for (auto it = v.begin(); it != v.end(); ++it) { if (*it == x) v.erase(it); }——it在erase后失效,++it出错 - 安全写法:
for (auto it = v.begin(); it != v.end(); ) { if (*it == x) it = v.erase(it); else ++it; } - 注意:
erase返回的是新有效迭代器,不是void;C++11 起才保证返回值可用
删除满足条件的所有元素,用 remove-erase 惯用法更高效
erase 本身只删指定位置,不支持“按值删多个”。直接循环调用 erase 会导致多次内存搬移,时间复杂度 O(n²)。标准解法是先用 std::remove 把目标元素“逻辑移走”,再用 erase 一次性物理删除尾部冗余段。
-
std::remove不真正删除,只是重排容器,把非目标元素前移,返回新逻辑尾迭代器 - 组合写法:
v.erase(std::remove(v.begin(), v.end(), x), v.end()); - 对自定义类型或复杂条件,改用
std::remove_if:v.erase(std::remove_if(v.begin(), v.end(), [](int a) { return a % 2 == 0; }), v.end()); - 注意:
remove系列算法作用于迭代器范围,不改变容器大小,必须配合erase才生效
用下标删除(erase(v.begin() + i))要注意越界和性能
通过下标定位再删,看似直观,但容易忽略两个问题:一是下标合法性检查缺失,二是随机访问虽快,但删除仍触发后续元素整体左移。
- 下标删前必须确认
i >= 0 && i (v.size()),否则v.begin() + i行为未定义 - 删末尾元素最快(无移动),删开头最慢(O(n) 搬移);若顺序不重要,可考虑用末尾元素覆盖待删位置,再
pop_back() - 示例替换删法:
if (!v.empty() && i - 该方法不保持原顺序,仅适用于允许重排的场景(如哈希桶、临时缓存)
clear() 和 shrink_to_fit() 的区别常被混淆
clear() 只清空元素、调用析构,但不释放底层内存;shrink_to_fit() 是请求释放多余容量,不保证成功,且 C++11 起才支持。
立即学习“C++免费学习笔记(深入)”;
-
v.clear()后v.size() == 0,但v.capacity()通常不变 -
v.shrink_to_fit()是非绑定请求,实际是否缩容取决于实现(libc++ 通常响应,MSVC 有时忽略) - 想彻底释放内存且确保成功?只能交换空 vector:
vector().swap(v); - 注意:
swap后原v容量归零,但需确保类型可移动或可默认构造











