c++之迭代器

迭代器的概念

提供一种方法，使之能够依次寻访某个容器所包含的所有元素，而又无需暴露该容器底层的结构。

迭代器的本质

迭代器实际是一种行为类似指针的对象，因此指针的所有操作迭代器都支持，使用迭代器时向使用指针一样去使用。比如：指针的解引用、成员访问、前置/后置++、前置/后置–、==、!=等迭代器支持，但是迭代器是一种行为类似指针的新类型，因此迭代器的实际只需将指针的上述操作在类中重载即可
（以后补充代码示例）

迭代器的实现

迭代器是算法和容器的粘合剂，同一个算法可以操作不同类型的容器，而容器类型不同，意味着底层数据结构不同，数据结构不同则迭代器寻访的方式就不同。

为了解决上述问题：容器的设计者根据容器底层数据结构的特点，选择指针的响应操作去重载即可。

STL设计的中心思想

将数据容器和算法分离开，彼此独立设计，算法要操作容器中的元素时，通过迭代器去访问即可。因此，算法不需要去关心所操作数据底层的结构，只要能够按照迭代器去寻访到所需的数据即可，实现其通用性。

示例代码：

#include<iostream>
#include<stdlib.h>
#include<vector>
#include<list>
using namespace std;
 
template<class iterator, class T>

iterator myfind(iterator first, iterator last, const T& value)
{
while (first != last && *first != value)
    {
        ++first;
    }
    return first;
}

void TestFind(){
    int array[] = { 1, 2, 3, 4, 5, 6, 7, 8, 9 };
    vector<int> v(array, array + sizeof(array) / sizeof(array[0]));
    
    if (myfind(v.begin(), v.end(), 6) != v.end())
    {
        cout << "5 is in vector" << endl;
    }
    else
    {
        cout << "5 is not in vector" << endl;
    }

list<int> l(array, array + sizeof(array) / sizeof(array[0]));
    if (myfind(l.begin(), l.end(), 6) != l.end())
    {
        cout << "5 is in list!" << endl;
    }
    else
    {
        cout << "5 is not list!" << endl;
    }

}

迭代器失效的情况

三种情况考虑，也是分三种数据结构考虑，分别为数组型，链表型、树型结构

数组型数据结构

问题：使用v.erase(iter),再进行iter++会出错。

出错原因：

该数据结构的元素是分配在连续的内存中，insert和erase操作，都会使得插入点和删除点之后的元素挪动位置，所以插入点和删除点之后的迭代器全部失效，

解决方法：

解决方法：iter=v.erase(iter); iter++;

这样erase会返回下一个有效的iterator

链表型数据结构

问题：使用v.erase(iter),再进行iter++会出错。

出错原因：

对于list型的数据结构，使用了不连续分配的内存，删除元素使得删除位置的迭代器失效，但是不会使得其他迭代器失效。

）解决的方法有两种：

方法一：l.erase(iter++)
原理：先把iter传值到erase里面，然后iter自增，最后执行erase，所以iter在失效前已经自增。

方法二：
list::iterator iter2 =iter;
iter++;
l.erase(iter2);
原理：先保留要删除的节点迭代器，再让iter指向下一个有意义的节点，最后删除节点。所以，这个操作结束后iter指向的是下一个有意义的节点，没有失效

树型数据结构

1）问题：使用m.erase(iter),再进行iter++会出错。

2）出错原因：

使用红黑树来存储数据，插入不会使得任何迭代器失效，但是删除元素会使得删除位置的迭代器失效，而其他迭代器不会失效。