【C++指南】vector（三）：迭代器失效问题详解

@[toc]

一、引言

在 C++ 容器开发中，迭代器失效问题是影响程序稳定性的常见痛点。
本文将结合上一篇文章自主实现的 vector类，针对 reserve、insert、erase 三种操作引发的迭代器失效问题展开深入分析，并提供完整的解决方案。

二、reserve 扩容引发的迭代器失效

2.1 问题现象

当 reserve 触发扩容时，容器会重新分配内存，导致原有迭代器失效。错误实现如下：

// 错误示范 1
void reserve(size_t n)
{
    if (n > capacity()) {
        T* tmp = new T[n];
        memcpy(tmp, _start, sizeof(T) * size()); // 浅拷贝问题
        delete[] _start;
        _start = tmp;
        _finish = _start + size(); // 此时_start已改变，size()计算错误
        _endofstorage = _start + n;
    }
}

核心问题：

1. memcpy 导致自定义类型浅拷贝
2. 扩容后 _start 指针变化，size() 返回错误值

2.2 正确实现

void reserve(size_t n)
{
    if (n > capacity()) {
        size_t old_size = _finish - _start; // 提前记录有效元素数量
        T* tmp = new T[n];
        
        // 深拷贝元素（支持自定义类型）
        for (size_t i = 0; i < old_size; ++i) {
            tmp[i] = _start[i];
        }
        
        delete[] _start;
        _start = tmp;
        _finish = _start + old_size; // 使用预存的old_size
        _endofstorage = _start + n;
    }
}

解决思路：

1. 提前记录有效元素数量 old_size
2. 逐个元素赋值实现深拷贝
3. 使用预存的 old_size 更新 _finish

三、insert 插入引发的迭代器失效

3.1 问题现象

插入操作可能触发扩容，导致传入的迭代器 pos 失效：

// 错误示范
void insert(iterator pos, const T& val)
{
    if (_finish == _endofstorage) {
        reserve(2 * capacity()); // 扩容后pos失效
    }
    // ... 元素移动逻辑
}

核心问题：扩容后 pos 指向原内存空间，导致后续操作错误

3.2 正确实现

void insert(iterator pos, const T& val)
{
    if (_finish == _endofstorage) {
        size_t offset = pos - begin(); // 记录相对偏移量
        reserve(2 * capacity());
        pos = begin() + offset; // 重新定位迭代器
    }
    // ... 元素移动逻辑
}

解决思路：

1. 扩容前计算 pos 与 begin() 的相对距离
2. 扩容后通过新 begin() 重建有效迭代器

四、erase 删除引发的迭代器失效

4.1 问题现象

删除元素后，被删除位置的迭代器仍然指向原内存，但内容已改变：

// 错误示范
void erase(iterator pos)
{
    // ... 元素前移逻辑
    --_finish;
}

错误后果：后续访问 pos 会导致未定义行为

4.2 正确实现

iterator erase(iterator pos)
{
    // ... 元素前移逻辑
    --_finish;
    return pos; // 返回当前迭代器（需配合编译器行为处理）
}

解决策略：

1. 使用返回的迭代器继续操作
2. 注意不同编译器的行为差异：
   • g++：允许访问已删除位置（除非越界）
   • VS：严格检查，访问即报错

4.3 编译器行为对比

vector<int> v = {1, 2, 3};
auto it = v.begin() + 1;
v.erase(it);
cout << *it << endl; // g++输出随机值，VS直接报错

五、结尾总结

开发建议：

1. 避免在可能触发扩容的操作后直接使用原有迭代器
2. 优先使用标准库 erase 的返回值
3. 在性能敏感场景，提前计算容量避免频繁扩容
4. 自定义容器时，严格遵循迭代器失效规则

提示：迭代器失效问题本质上是内存管理问题。建议在复杂操作前后通过 begin() 重建迭代器，或使用 reverse_iterator 辅助处理。对于高并发场景，考虑使用 std::vector 的线程安全增强版本。

本文完