C++迭代器失效問題及解決
什么是迭代器
迭代器不是指針,是類模板,表現(xiàn)的像指針。他只是模擬了指針的一些功能,通過重載了指針的一些操作符,->,*,++ --等封裝了指針,是一個“可遍歷STL( Standard Template Library)容器內(nèi)全部或部分元素”的對象, 本質(zhì)是封裝了原生指針,他可以根據(jù)不同類型的數(shù)據(jù)結(jié)構(gòu)來實現(xiàn)不同的++,–,*等操作;
迭代器只能指向容器,而指針還可以指向函數(shù),
迭代器返回的是對象引用而不是對象的值,所以cout只能輸出迭代器使用*取值后的值而不能直接輸出其自身。
迭代器失效
迭代器失效就是迭代器底層對應指針所指向的空間倍銷毀了,導致使用了一塊已經(jīng)被釋放了的空間。
容器操作可能使迭代器失效,一個失效的迭代器將不再表示任何元素。使用失效的迭代器是一個嚴重的程序設(shè)計錯誤,很可能產(chǎn)生與使用未初始化化指針一樣的問題。
順序容器迭代器失效
添加操作
容器是vector或者string的情況下,在向容器添加元素后,如果容器擴容,即容器的存儲空間重新分配,則指向容器的迭代器失效。
以vector為例,當我們插入一個元素時它的預分配空間不夠時,它會重新申請一段新空間,將原空間上的元素復制到新的空間上去,以滿足vector元素要求連續(xù)存儲的目的,而原空間會被系統(tǒng)撤銷或征做他用,于是指向原空間的迭代器就成了類似于“空懸指針”一樣的東西,指向了一片非法區(qū)域,從而使得指向原空間的迭代器失效。
int main()
{
vector<int>v1;
vector<int>::iterator it1 = v1.begin();
for (int i = 0;i < 10;i++) {
v1.push_back(i);
cout << "Size:" << v1.size() << " Capacity:" << v1.capacity() << " address:" << &v1[0] << endl;
}
return 0;
}

容器是vector或者string的情況下,在向容器添加元素后,如果容器未擴容,則指向插入位置之前的元素的迭代器有效,但指向插入位置之后元素的迭代器將會失效,這是因為插入位置后的元素次序發(fā)生變化使得原本指向某元素的迭代器不再指向希望指向的元素。
對于push_back()操作,end操作返回的迭代器肯定失效
int main()
{
vector<int>v1 = { 0,1,2,3 };
v1.reserve(10);//分配至少能容納10個元素的內(nèi)存空間
vector<int>::iterator it1 = v1.begin();
vector<int>::iterator it2 = v1.begin() + 1;
vector<int>::iterator it3 = v1.begin() + 2;
v1.insert(v1.begin() + 2, 4);
while (it1 <= it2) { //輸出0 1
cout << *it1 << endl;
it1++;
}
cout << *it3 << endl; //此時該迭代器已失效,指向非法的區(qū)域
return 0;
}

容器是deque的情況下,插入到任何位置都會導致迭代器。
插入前迭代器處于正常狀態(tài)

插入后所有迭代器失效

容器是list和forward_list的情況下,插入到任何位置,指向容器的迭代器仍然有效,
刪除操作
刪除操作會導致元素次序發(fā)送改變而導致迭代器失效
容器是vector或者string的情況下,在刪除容器元素后,指向被刪元素之前元素的迭代器有效,被刪元素之后的迭代器失效
注意:當我們刪除元素時,尾后迭代器總是會失效
容器是deque的情況下,如果刪除的是首尾元素,則只有首尾迭代器失效,如果刪除的是其他元素,則所有迭代器失效。




容器是list和forward_list的情況下,刪除任何元素,僅僅會使被刪除元素 的迭代器失效,這是因為 list 之類的容器,使用了鏈表來實現(xiàn),插入、刪除一個結(jié)點不會對其他結(jié)點造成影響。
關(guān)聯(lián)容器迭代器失效
對于關(guān)聯(lián)容器map、multimap、set、multiset,底層是使用紅黑樹實現(xiàn)的,所以刪除某個元素,僅僅會刪除元素的迭代器失效。
插入、刪除一個結(jié)點不會對其他結(jié)點造成影響。
swap()操作迭代器為什么不失效
因為swap操作不會對容器的任何元素進行拷貝、刪除或插入操作,也意味著元素不會被移動,這也就是迭代器為什么不失效的原因,因為指向容器的迭代器swap操作之后,仍指向swap操作之前所指向的那些元素,只不過這些元素已經(jīng)屬于不同的容器了
注意:對于string容器調(diào)用swap操作會導致迭代器失效,而swap兩個array會真正交換它門的元素
int main()
{
vector<int>v1 = { 0,1,2,3 };
vector<int>v2 = { 4,5,6,7};
vector<int>::iterator it1 = v1.begin();
vector<int>::iterator it2 = v2.begin();
vector<int>::iterator tmp1 = v1.begin();
vector<int>::iterator tmp2 = v2.begin();
cout << "v1: ";
for (const auto&n : v1) {
cout << n << " ";
}
cout << endl;
cout << "v2: ";
for (const auto&n : v2) {
cout << n << " ";
}
cout << endl;
while (it1 != v1.end()) {
cout << *it1 << " ";
it1++;
}
cout << endl;
while (it2 != v2.end()) {
cout << *it2 << " ";
it2++;
}
cout << endl;
swap(v1, v2); //交換容器v1,v2;
it1 = tmp1;
it2 = tmp2;
cout << "v1: ";
for (const auto&n : v1) {
cout << n << " ";
}
cout << endl;
cout << "v2: ";
for (const auto&n : v2) {
cout << n << " ";
}
cout << endl;
while (it1 != v2.end()) {
cout << *it1 << " ";
it1++;
}
cout << endl;
while (it2 != v1.end()) {
cout << *it2 << " ";
it2++;
}
cout << endl;
return 0;
}
輸出:

可以看到swap操作后,迭代器未失效,且指向相同的元素,只不過這些元素已經(jīng)屬于不同的容器了;
注意事項
不用在循環(huán)之前保存end返回的迭代器,一直當做容器末尾使用,因為如果在循環(huán)中添加/刪除 vector或string的元素后,或在deque中首元素之外任何位置添加/刪除元素后,原來end返回的迭代器總會失效。
因此在循環(huán)中我們必須反復調(diào)用end()來獲取迭代器


對于刪除元素導致的迭代器失效解決方法
方法1.erase§時,尾后遞增當前迭代器,即erase(p++);
方法2.由于erase()可以返回一個指向被刪除元素之后元素的迭代器,所以也可以直接把erase§的返回值賦給當前迭代器,即p=erase§
注意:對于vector、string這種在內(nèi)存中連續(xù)存儲的只能使用方法1,因為刪除元素后,后面元素的迭代器也失效了
對于關(guān)聯(lián)容器,也只能使用方法1,因為它們的erase操作返回值為void。
總結(jié)
以上為個人經(jīng)驗,希望能給大家一個參考,也希望大家多多支持腳本之家。
相關(guān)文章
一起來了解一下C++的結(jié)構(gòu)體?struct
這篇文章主要為大家詳細介紹了C++的結(jié)構(gòu)體struct,文中示例代碼介紹的非常詳細,具有一定的參考價值,感興趣的小伙伴們可以參考一下,希望能夠給你帶來幫助2022-02-02
C++中的頭文件與Extern(外部函數(shù)調(diào)用)方式
這篇文章主要介紹了C++中的頭文件與Extern(外部函數(shù)調(diào)用)方式,具有很好的參考價值,希望對大家有所幫助,如有錯誤或未考慮完全的地方,望不吝賜教2023-08-08

