B1.若調整後容器的size>調整前容器的size，則原來vector的所有迭代器都不會失效；
B2.若調整後容器的size<調整前容器的size，則容器中那些別切掉的元素對應的迭代器都將失效。
4.賦值操作(v1=v2 v1.assign(v2))
會導致左操作數v1的所有迭代器都失效，顯然右操作數v2的迭代器都不會失效。
5.交換操作(v1.swap(v2))
由於在做交換操作時，v1,v2均不會刪除或插入元素，所以容器內不會移動任何元素，故v1,v2的所有迭代器都不會失效。
使deque迭代器失效的操作
1.插入操作（push_front,push_back,insert)
deque的插入操作對迭代器的影響分兩種情況：
A.在deque容器首部或尾部插入元素不會是任何迭代器失效；
B.在除去首尾的其他位置插入元素會使該容器的所有迭代器失效。
2.刪除操作
A.在deque首、尾刪除元素只會使被刪除元素對應的迭代器失效；
B.在其他任何位置的刪除操作都會使得整個迭代器失效。
使list/map/set迭代器失效的操作
由於list/map/set容器內的元素都是通過指針連接的，list實現的數據結構是雙向鏈表，而map/set實現的數據結構是紅黑樹，故這些容器的插入和刪除操作都只需更改指針的指向，不會移動容器內的元素，故在容器內增加元素時，不會使任何迭代器失效，而在刪除元素時，僅僅會使得指向被刪除的迭代器失效。
再回憶下find函數，find函數前兩個形參都是輸入迭代器類型，這兩個迭代器並不是某個容器特有的迭代器，而是一個一般的迭代器，可將所有標准庫容器內部的迭代器視為形參所對應迭代器類的派生類。下面我們透過stl中迭代器的實現代碼來分析迭代器的實現方法.
#include
#include//ptrdiff_t對應的頭文件
struct input_iterator_tag{};//輸入迭代器
struct output_iterator_tag{};//輸出迭代器
struct forward_iterator_tag:public input_iterator_tag{};//前向迭代器
struct bidirectional_iterator_tag:public forward_iterator_tag{};//雙向迭代器
struct random_access_iterator_tag:public bidirectional_iterator_tag{};//隨機訪問迭代器
//std::iterator,標准迭代器的類模板
template
struct iterator//迭代器包含五個常用屬性
{
typedef Category iterator_category;//迭代器的類型，五種之一
typedef T value_type;//迭代器所指向的元素的類型
typedef Distance difference_type;//兩個迭代器的差值
typedef Pointer pointer;//迭代器的原始指針
typedef Reference reference;//迭代器所指向元素的引用
};
//定義iterator_traits，用於提取迭代器的屬性,該類的對象不應該讓用戶看到
template
struct iterator_traits
{
//下面的操作相當於一個遞歸的操作，用於遞歸提取原始指針的相關值
typedef typename Iterator::iterator_category iterator_category;
typedef typename Iterator::value_type value_type;
typedef typename Iterator::difference_type difference_type;
typedef typename Iterator::pointer pointer;
typedef typename Iterator::reference reference;
};
//針對原始指針的偏特化版本
template
struct iterator_traits
{
//相當於遞歸終止條件
typedef random_access_iterator_tag iterator_category;
typedef T value_type;
typedef ptrdiff_t diffrence_type;
typedef T* pointer;
typedef T& reference;
};
//針對指向常用的原始指針設計的偏特化版本
template
struct iterator_traits
{
typedef random_access_iterator_tag iterator_category;
typedef T value_type;
typedef ptrdiff_t diffrence_type;
typedef const T * pointer;//重點在這裡
typedef const T & reference;//還有這裡
};
//定義兩個迭代器的差值類型的函數distance_type
template
inline typename iterator_traits::difference_type *
distance_type(const Iterator&)
{
return static_cast::difference_type *>(0);
}
//獲取迭代器的value_type函數
template
inline typename iterator_traits::value_type *
value_type(const Iterator&)
{
return static_cast::value_type*>(0);
}
//求兩個一般迭代器之間的距離的函數_distance,供distance函數分類調用
template
inline typename iterator_traits::difference_type
_distance(InputIterator first,InputIterator last,input_iterator_tag)
{
typename iterator_traits::difference_type n=0;
while(first!=last)
{
++first;
++n;
}
return n;
}
//求兩個隨機訪問迭代器之間的距離的函數_distance，供distance函數分類調用
template
inline typename iterator_traits::difference_type
_distance(RandomAccessIterator first,RandomAccessIterator last,
random_access_iterator_tag)
{
return last-first;
}
//自適應地調用distance函數
template
inline typename iterator_traits::difference_type
distance(InputIterator first,InputIterator last)
{
typedef typename iterator_traits::iterator_category category;
//從typename可以看出，category是一個類型
return _distance(first,last,category());//顯示調用category類的構造函數，返回該類的一個對象
}
/*****下面的函數用於將指針移動n位的方法*/
//一般迭代器求向前移動的方法，與雙向迭代器和隨機反問迭代器不同
template
inline void _advance(InputIterator& i,Distance n,input_iterator_tag)
{
while(n--)
{
++i;
}
}
//針對雙向迭代器移動的方法
template
inline void _advance(BidirectionalIterator &iter,Distance n,
bidirectional_iterator_tag)
{
if(n>=0)//當n大於0時，向後移動
{
while(n--)
{
++iter;
}
}
else//當n小於0時，向前移
{
while(n++)
{
--iter;
}
}
}
//定義隨機訪問迭代器移動的方法
template
inline void _advance(RandomAccessIterator &iter,Distance n,
random_access_iterator_tag)
{
iter+=n;
}
//自適應的調用advance函數
template
inline void advance(InputIterator &iter,Distance n)
{
_advance(i,n,iterator_catetory(iter));
}
從上面的代碼中不難發現，實現一個迭代器，需要做一下工作：
1.定義5類迭代器的標志類，該標志類用於實現函數的區別調用（即重載），例如求兩迭代器距離函數distance(iter1,iter2,tag)，移動函數advance(iter,n,tag)。這五個標志類分別為：input_iterator_tag，output_iterator_tag，forward_iterator_tag，bidirectional_iterator_tag，random_access_iterator_tag。
2.對於每一個iterator類，都必須包含5個屬性，分別為：iterator_category、value_type、difference_type、pointer、reference。
3.定義一個迭代器的“屬性搾汁機”iterator_traits，用於獲取iterator的5中屬性值。
4.定義迭代器的操作，分別為：
1） 獲取iterator的標志----->iterator_category(iter)；
2）獲取兩迭代器差值的類型----->distance_type(iter)；
3）獲取迭代器的原始類型--------->value_type(iter)；
4）求兩迭代器的距離---------------->distance(iter1,iter2,tag)；
5）將迭代器移動n位------------------>advance(iter,n,tag)。
參考文獻：
[1]《C++ Primer中文版 第4版》
[2]《STL源碼剖析 侯捷》
