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

本文链接：https://blog.csdn.net/2302_78391795/article/details/147031924

.
💓 博客主页：倔强的石头的CSDN主页
📝Gitee主页：倔强的石头的gitee主页
⏩ 文章专栏：《C++指南》
期待您的关注

文章目录

一、引言

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

前文回顾：
【C++指南】vector（一）：从入门到详解
 【C++指南】vector（二）：手把手教你底层原理与模拟实现

二、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;
    }
}

核心问题：

memcpy 导致自定义类型浅拷贝
扩容后 _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;
    }
}

解决思路：

提前记录有效元素数量 old_size
逐个元素赋值实现深拷贝
使用预存的 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; // 重新定位迭代器
    }
    // ... 元素移动逻辑
}

解决思路：

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

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

4.1 问题现象

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

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

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

4.2 正确实现

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

解决策略：

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

4.3 编译器行为对比

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

五、结尾总结

操作类型	失效原因	解决方案
reserve	内存重分配导致指针变化	预存有效元素数量
insert	扩容后迭代器定位错误	记录相对偏移量
erase	元素移动导致内容改变	使用返回的迭代器

开发建议：