STL容器陷阱：迭代器失效与拷贝问题解析

理解STL容器的常见陷阱需掌握迭代器失效场景与深浅拷贝区别。1. 迭代器失效发生在容器结构变化时，如vector插入删除中间元素导致后续迭代器失效，正确做法是使用erase返回的新迭代器。2. 浅拷贝复制指针而非内存，易引发double free错误，应手动实现深拷贝或使用智能指针自动管理内存。3. 根据场景选择合适容器，vector适合频繁访问、少修改，list适合频繁增删，deque支持双端高效操作，map/set适用于有序高效查找，unordered_map/set适用于高性能无序查找。

理解并避免STL容器的常见陷阱，核心在于掌握迭代器失效的场景和深浅拷贝的区别。迭代器失效是STL编程中一个常见的bug来源，而深浅拷贝则关系到数据的一致性和内存管理。

迭代器失效与深浅拷贝问题解析

STL容器的强大毋庸置疑，但稍不留神，就会掉进坑里。迭代器失效、深浅拷贝，都是新手容易踩的雷。

副标题1：什么情况下迭代器会失效？

迭代器失效，说白了，就是你手里的“指针”指向了不该指的地方。这通常发生在容器结构发生变化的时候。举个例子，vector的插入和删除操作，如果发生在中间位置，后面的元素都要移动，那之前的迭代器就可能失效了。map和set相对好一些，删除操作只会使指向被删除元素的迭代器失效，其他迭代器不受影响。但是，如果你用erase(iterator)之后，还继续使用这个iterator，那就肯定出问题了。

一个常见的错误用法是：

std::vector vec = {1, 2, 3, 4, 5};
for (auto it = vec.begin(); it != vec.end(); ++it) {
    if (*it % 2 == 0) {
        vec.erase(it); // 错误！it失效
    }
}

正确的做法是：

std::vector vec = {1, 2, 3, 4, 5};
for (auto it = vec.begin(); it != vec.end(); ) { // 注意：没有++it
    if (*it % 2 == 0) {
        it = vec.erase(it); // erase返回下一个有效迭代器
    } else {
        ++it;
    }
}

副标题2：深拷贝和浅拷贝的区别，以及如何避免浅拷贝带来的问题？

深拷贝和浅拷贝，本质上是内存复制的问题。浅拷贝只复制对象的指针，而深拷贝会复制指针指向的内存区域。如果对象包含动态分配的内存，浅拷贝会导致多个对象共享同一块内存，修改一个对象的数据可能会影响到其他对象，甚至导致程序崩溃。

例如，一个简单的字符串类：

class MyString {
public:
    MyString(const char* str) {
        data = new char[strlen(str) + 1];
        strcpy(data, str);
    }

    ~MyString() {
        delete[] data;
    }

private:
    char* data;
};

如果使用默认的拷贝构造函数和赋值运算符，就会发生浅拷贝，导致多个MyString对象指向同一块内存，析构时会重复释放，造成double free错误。

要避免浅拷贝，需要手动实现拷贝构造函数和赋值运算符，进行深拷贝：

class MyString {
public:
    MyString(const char* str) {
        data = new char[strlen(str) + 1];
        strcpy(data, str);
    }

    // 拷贝构造函数
    MyString(const MyString& other) {
        data = new char[strlen(other.data) + 1];
        strcpy(data, other.data);
    }

    // 赋值运算符
    MyString& operator=(const MyString& other) {
        if (this != &other) { // 避免自赋值
            delete[] data; // 释放原有内存
            data = new char[strlen(other.data) + 1];
            strcpy(data, other.data);
        }
        return *this;
    }

    ~MyString() {
        delete[] data;
    }

private:
    char* data;
};

更现代的做法是使用RAII（Resource Acquisition Is Initialization）和智能指针，例如std::unique_ptr或std::shared_ptr，来自动管理内存，避免手动管理内存带来的问题。例如，可以将data改为std::unique_ptr，这样就不需要手动编写拷贝构造函数、赋值运算符和析构函数了。编译器会自动生成正确的拷贝和赋值操作。

副标题3：如何选择合适的STL容器？

选择合适的容器，需要根据具体的应用场景来决定。

• vector: 连续存储，随机访问效率高，但插入和删除操作（特别是中间位置）效率较低。适合需要频繁访问元素，但很少插入和删除元素的场景。
• list: 双向链表，插入和删除操作效率高，但随机访问效率低。适合需要频繁插入和删除元素的场景。
• deque: 双端队列，可以在两端进行快速插入和删除操作，随机访问效率也比较高。
• map/set: 基于红黑树实现，插入、删除和查找操作的时间复杂度都是O(log n)。map存储键值对，set存储唯一元素。适合需要高效查找的场景。
• unordered_map/unordered_set: 基于哈希表实现，平均情况下插入、删除和查找操作的时间复杂度都是O(1)，但最坏情况下是O(n)。适合对性能要求非常高，且对元素顺序没有要求的场景。

除了考虑性能，还需要考虑内存占用、代码可读性等因素。选择最适合的容器，才能写出高效、可靠的代码。