1. 從“指針”到“迭代器”為什么我們需要它如果你寫過C語(yǔ)言或者剛開始接觸C對(duì)“指針”這個(gè)概念一定不陌生。指針給了我們直接操作內(nèi)存地址的能力是C/C強(qiáng)大性能的基石。但指針也是一把雙刃劍尤其是在處理容器比如數(shù)組、鏈表時(shí)我們常常需要計(jì)算偏移量、判斷邊界一不小心就會(huì)越界訪問導(dǎo)致程序崩潰或者難以察覺的bug。比如遍歷一個(gè)動(dòng)態(tài)數(shù)組你得時(shí)刻記著數(shù)組的長(zhǎng)度循環(huán)條件里寫i size一旦size搞錯(cuò)或者指針運(yùn)算出錯(cuò)麻煩就來了。C迭代器的出現(xiàn)就是為了解決這個(gè)問題。你可以把它理解為一種“智能指針”或“泛型指針”。它的核心思想是為不同的容器如vector,list,map提供一套統(tǒng)一的訪問和遍歷接口。你不用關(guān)心容器底層是連續(xù)內(nèi)存數(shù)組還是鏈?zhǔn)浇Y(jié)構(gòu)鏈表也不用自己手動(dòng)計(jì)算下標(biāo)或next指針迭代器幫你封裝了這些細(xì)節(jié)。你只需要知道幾個(gè)基本操作如何獲取起始迭代器begin()、如何獲取末尾后迭代器end()、如何移動(dòng)到下一個(gè)元素、如何解引用獲取值*。這樣一來代碼不僅更安全減少了手動(dòng)指針運(yùn)算的錯(cuò)誤也更通用、更優(yōu)雅?？纯催@個(gè)簡(jiǎn)單的對(duì)比。用原始指針遍歷數(shù)組int arr[] {1, 2, 3, 4, 5}; int* p arr; int* end arr 5; // 需要手動(dòng)計(jì)算結(jié)束位置 while (p ! end) { std::cout *p ; p; }用迭代器遍歷std::vectorstd::vectorint vec {1, 2, 3, 4, 5}; for (auto it vec.begin(); it ! vec.end(); it) { std::cout *it ; }兩段代碼邏輯幾乎一樣但后者用的是vec.begin()和vec.end()容器自己知道邊界在哪你不需要計(jì)算size更安全。而且如果你把vector換成list第一段指針代碼可能完全失效因?yàn)殒湵韮?nèi)存不連續(xù)5操作無意義但第二段迭代器代碼一行都不用改這就是迭代器帶來的抽象威力。所以學(xué)習(xí)迭代器不僅僅是學(xué)習(xí)一個(gè)新語(yǔ)法更是理解C標(biāo)準(zhǔn)庫(kù)STL設(shè)計(jì)哲學(xué)的關(guān)鍵一步。它是連接算法如sort,find和容器如vector,map的橋梁是寫出高質(zhì)量、可復(fù)用C代碼的必備技能。無論你是正在啃《深入淺出C》的新手還是在準(zhǔn)備C面試、刷LeetCode的進(jìn)階者透徹理解迭代器都能讓你事半功倍。2. 迭代器的“五種面孔”理解分類與能力迭代器并不是鐵板一塊根據(jù)其支持的操作能力標(biāo)準(zhǔn)庫(kù)將其分成了五類形成一個(gè)層次結(jié)構(gòu)。理解這個(gè)分類至關(guān)重要因?yàn)樗苯記Q定了某個(gè)迭代器能用在什么算法上。這五類迭代器能力從弱到強(qiáng)依次是輸入迭代器Input Iterator只讀且只能單向向前移動(dòng)。它就像一張一次性車票只能從前到后讀一遍數(shù)據(jù)讀過后就不能再回頭或重新讀取。典型例子是從標(biāo)準(zhǔn)輸入如cin讀取數(shù)據(jù)的迭代器。輸出迭代器Output Iterator只寫且只能單向向前移動(dòng)。和輸入迭代器類似但方向是寫入。典型例子是向標(biāo)準(zhǔn)輸出如cout寫入數(shù)據(jù)的迭代器。前向迭代器Forward Iterator具備了輸入和輸出迭代器的能力并且可以多次遍歷同一個(gè)序列。它像一張公園通票可以在同一條路上來回走但不能“跳躍”。std::forward_list單鏈表的迭代器就是典型的前向迭代器。雙向迭代器Bidirectional Iterator在前向迭代器的基礎(chǔ)上增加了反向移動(dòng)的能力--。它像一輛可以前進(jìn)和倒車的汽車。std::list雙向鏈表、std::set、std::map的迭代器都是雙向迭代器。隨機(jī)訪問迭代器Random Access Iterator這是功能最強(qiáng)大的迭代器在雙向迭代器的基礎(chǔ)上支持在常數(shù)時(shí)間內(nèi)跳躍到任意位置。它支持、-、、-、、等類似指針的算術(shù)和比較操作。std::vector、std::deque和普通數(shù)組的指針都屬于隨機(jī)訪問迭代器。為什么需要這么復(fù)雜的分類核心原因是效率和泛型。一個(gè)算法如果只需要讀取數(shù)據(jù)一次比如std::find那么它只需要輸入迭代器這樣它就能適用于單鏈表forward_list。如果一個(gè)算法需要對(duì)序列排序需要頻繁隨機(jī)訪問元素比如std::sort那么它就必須要求隨機(jī)訪問迭代器因此std::list就不能直接用std::sort因?yàn)樗惶峁╇p向迭代器。編譯器會(huì)在你錯(cuò)誤使用迭代器類型時(shí)報(bào)錯(cuò)這實(shí)際上是一種編譯期的“契約”檢查保證了代碼的正確性。注意很多初學(xué)者容易混淆vector的迭代器和指針。雖然vector的迭代器在很多實(shí)現(xiàn)里就是原生指針但你不能依賴這一點(diǎn)。從概念上你應(yīng)該始終把它當(dāng)作迭代器對(duì)象來使用。例如不要假設(shè)*it一定等于vec[0] distance雖然對(duì)于vector這通常成立但對(duì)于其他容器則不成立。下面這個(gè)表格清晰地展示了這五類迭代器支持的操作操作/迭代器類別輸入輸出前向雙向隨機(jī)訪問讀 (*it, 作為右值)?????寫 (*it a, 作為左值)?????向前移動(dòng) (it,it)?????向后移動(dòng) (--it,it--)?????多次遍歷同一序列?????隨機(jī)訪問 (it n,it[n],it1 it2)?????典型容器istream_iteratorostream_iteratorforward_listlist,set,mapvector,deque,array3. 實(shí)戰(zhàn)如何在標(biāo)準(zhǔn)庫(kù)容器中使用迭代器理論說再多不如動(dòng)手寫幾行代碼。我們來看看在常見的STL容器中迭代器具體怎么用。這里會(huì)涵蓋基本遍歷、結(jié)合算法以及一些容易踩坑的細(xì)節(jié)。3.1 遍歷從for循環(huán)到范圍for最經(jīng)典的遍歷方式是使用begin()和end()獲取迭代器范圍。end()返回的是“末尾后”迭代器指向容器最后一個(gè)元素之后的位置因此循環(huán)條件是it ! end()。#include iostream #include vector #include list #include map int main() { // 1. vector遍歷 (隨機(jī)訪問迭代器) std::vectorint vec {10, 20, 30, 40}; std::cout Vector traversal: ; for (std::vectorint::iterator it vec.begin(); it ! vec.end(); it) { std::cout *it ; } std::cout std::endl; // 使用auto簡(jiǎn)化類型聲明 (C11起推薦) std::cout Using auto: ; for (auto it vec.begin(); it ! vec.end(); it) { std::cout *it ; } std::cout std::endl; // 2. list遍歷 (雙向迭代器) std::liststd::string lst {apple, banana, cherry}; std::cout List traversal: ; for (auto it lst.begin(); it ! lst.end(); it) { std::cout *it ; } std::cout std::endl; // 3. map遍歷 (雙向迭代器解引用得到pair) std::mapint, std::string mp {{1, one}, {2, two}, {3, three}}; std::cout Map traversal: ; for (auto it mp.begin(); it ! mp.end(); it) { // it-first 是key, it-second 是value std::cout { it-first : it-second } ; } std::cout std::endl; return 0; }從C11開始有了更簡(jiǎn)潔的范圍for循環(huán)。它本質(zhì)上就是迭代器遍歷的語(yǔ)法糖編譯器會(huì)自動(dòng)將其展開為上面的迭代器循環(huán)。對(duì)于簡(jiǎn)單的遍歷強(qiáng)烈推薦使用它代碼更清晰。std::vectorint vec {1, 2, 3}; for (int value : vec) { // 注意這里value是元素的拷貝 std::cout value ; } // 輸出: 1 2 3 // 如果想避免拷貝特別是元素是大對(duì)象時(shí)使用引用 for (const auto value : vec) { std::cout value ; }實(shí)操心得在范圍for循環(huán)中默認(rèn)是值拷貝。如果容器里存的是std::string、自定義類等較大對(duì)象無意義的拷貝會(huì)影響性能。養(yǎng)成習(xí)慣除非明確需要修改元素或元素是內(nèi)置小型類型如int,double否則使用const auto。3.2 與算法庫(kù)的“天作之合”algorithm迭代器的真正威力在于與STL算法庫(kù)的結(jié)合。algorithm頭文件提供了大量泛型算法它們都通過迭代器來操作數(shù)據(jù)實(shí)現(xiàn)了算法與數(shù)據(jù)結(jié)構(gòu)的分離。查找 (std::find)在序列中查找特定值。std::vectorint vec {5, 2, 8, 1, 9}; auto it std::find(vec.begin(), vec.end(), 8); if (it ! vec.end()) { std::cout Found 8 at position: std::distance(vec.begin(), it) std::endl; } else { std::cout 8 not found. std::endl; }std::find返回一個(gè)迭代器。如果找到它指向第一個(gè)匹配的元素如果沒找到它等于vec.end()。這是判斷查找是否成功的標(biāo)準(zhǔn)方法。排序 (std::sort)對(duì)序列進(jìn)行排序。注意它要求隨機(jī)訪問迭代器。std::vectorint vec {5, 2, 8, 1, 9}; std::sort(vec.begin(), vec.end()); // 默認(rèn)升序 // vec 現(xiàn)在是 {1, 2, 5, 8, 9} // 降序排序 std::sort(vec.begin(), vec.end(), std::greaterint()); // vec 現(xiàn)在是 {9, 8, 5, 2, 1}嘗試對(duì)std::list使用std::sort會(huì)編譯錯(cuò)誤因?yàn)閘ist的迭代器不是隨機(jī)訪問的。list有自己的成員函數(shù)sort()。其他常用算法std::count/std::count_if: 計(jì)數(shù)。std::copy: 拷貝序列。std::transform: 對(duì)序列中每個(gè)元素進(jìn)行變換。std::accumulate: 累加求和、求積等。3.3 迭代器失效一個(gè)必須警惕的“大坑”這是使用迭代器時(shí)最容易出錯(cuò)的地方也是面試高頻考點(diǎn)。迭代器失效指的是在容器發(fā)生某些修改操作如插入、刪除后原來獲取的迭代器所指向的元素或其意義已經(jīng)發(fā)生了變化再使用這個(gè)迭代器會(huì)導(dǎo)致未定義行為程序崩潰或數(shù)據(jù)錯(cuò)誤。不同容器的迭代器失效規(guī)則不同但有幾個(gè)核心原則對(duì)于序列容器 (vector,deque)插入元素如果引起內(nèi)存重新分配如vector的push_back導(dǎo)致capacity不足所有迭代器、指針、引用都會(huì)失效。如果沒有重新分配則插入點(diǎn)之后的迭代器、指針、引用會(huì)失效。刪除元素被刪除元素及其之后的所有迭代器、指針、引用都會(huì)失效。對(duì)于鏈表容器 (list,forward_list)插入和刪除操作不會(huì)使其他元素的迭代器、指針、引用失效。只有指向被刪除元素本身的迭代器會(huì)失效。對(duì)于關(guān)聯(lián)容器 (set,map,unordered_set,unordered_map)插入操作不會(huì)使任何迭代器失效。刪除操作只會(huì)使指向被刪除元素的迭代器失效。經(jīng)典錯(cuò)誤示例std::vectorint vec {1, 2, 3, 4, 5}; for (auto it vec.begin(); it ! vec.end(); it) { if (*it % 2 0) { vec.erase(it); // 致命錯(cuò)誤erase后it失效再執(zhí)行it行為未定義 } }正確做法是利用erase的返回值它返回被刪除元素之后元素的有效迭代器std::vectorint vec {1, 2, 3, 4, 5}; for (auto it vec.begin(); it ! vec.end(); ) { if (*it % 2 0) { it vec.erase(it); // erase返回下一個(gè)有效迭代器賦值給it } else { it; // 只有沒刪除元素時(shí)才手動(dòng)遞增 } } // 或者使用“擦除-移除”慣用法更安全簡(jiǎn)潔 vec.erase(std::remove_if(vec.begin(), vec.end(), [](int x){ return x % 2 0; }), vec.end());踩坑實(shí)錄我曾經(jīng)在遍歷一個(gè)std::map并刪除滿足條件的元素時(shí)直接用了erase(it)這種技巧。雖然對(duì)于map這樣可以工作因?yàn)閕t會(huì)在erase之前先計(jì)算下一個(gè)迭代器但代碼可讀性很差且容易記錯(cuò)規(guī)則。后來我統(tǒng)一改用it container.erase(it)這種形式邏輯清晰適用于大多數(shù)容器除了vector和deque在循環(huán)中刪除需要特別小心順序。對(duì)于vector我更傾向于先用std::remove_if標(biāo)記再統(tǒng)一erase避免在循環(huán)中處理復(fù)雜的迭代器失效邏輯。4. 進(jìn)階反向迭代器、插入迭代器與自定義迭代器掌握了基本用法我們來看看迭代器家族里一些更特殊的成員它們能解決特定場(chǎng)景下的問題。4.1 反向迭代器倒著走的世界反向迭代器允許你從后向前遍歷容器。所有提供雙向迭代器或隨機(jī)訪問迭代器的容器如vector,list,map,set都支持。通過rbegin()和rend()獲取。std::vectorint vec {1, 2, 3, 4, 5}; std::cout Reverse traversal: ; for (auto rit vec.rbegin(); rit ! vec.rend(); rit) { std::cout *rit ; } // 輸出: 5 4 3 2 1這里有個(gè)關(guān)鍵點(diǎn)rbegin()指向最后一個(gè)元素rend()指向第一個(gè)元素之前的位置。對(duì)反向迭代器執(zhí)行操作是向容器的前端移動(dòng)。這有點(diǎn)反直覺但記住總是讓迭代器朝著end()對(duì)于反向迭代器是rend()的方向移動(dòng)就對(duì)了。反向迭代器有一個(gè)非常實(shí)用的方法base()。它返回一個(gè)對(duì)應(yīng)的普通正向迭代器。它們之間存在一種偏移關(guān)系*(rit) *(rit.base() - 1)。這在配合某些算法時(shí)很有用例如你想在容器中從后往前查找但找到后需要用到正向迭代器進(jìn)行插入操作。4.2 插入迭代器讓算法“插入”而非“覆蓋”標(biāo)準(zhǔn)算法如std::copy默認(rèn)行為是覆蓋目標(biāo)迭代器指向的位置。如果我們想將源序列的內(nèi)容插入到目標(biāo)容器中就需要插入迭代器。主要有三種std::back_inserter調(diào)用容器的push_back方法在末尾插入。適用于vector,deque,list,string。std::front_inserter調(diào)用容器的push_front方法在頭部插入。適用于deque,list,forward_list。std::inserter調(diào)用容器的insert方法在指定位置前插入。適用于所有標(biāo)準(zhǔn)容器。#include iterator // 需要包含此頭文件 #include algorithm std::vectorint src {1, 2, 3}; std::vectorint dst; // 錯(cuò)誤dst為空copy會(huì)試圖覆蓋不存在的元素導(dǎo)致未定義行為 // std::copy(src.begin(), src.end(), dst.begin()); // 正確使用back_inserter std::copy(src.begin(), src.end(), std::back_inserter(dst)); // dst 現(xiàn)在是 {1, 2, 3} std::listint lst; // 使用front_inserter注意結(jié)果順序是反的 std::copy(src.begin(), src.end(), std::front_inserter(lst)); // lst 現(xiàn)在是 {3, 2, 1} std::vectorint vec2 {10, 20, 30}; auto insert_pos vec2.begin() 1; // 指向20 // 在vec2的第二個(gè)元素20之前插入src的所有元素 std::copy(src.begin(), src.end(), std::inserter(vec2, insert_pos)); // vec2 現(xiàn)在是 {10, 1, 2, 3, 20, 30}4.3 自定義迭代器讓你的類支持STL生態(tài)當(dāng)你設(shè)計(jì)自己的容器類時(shí)為其實(shí)現(xiàn)迭代器可以讓它無縫接入STL算法世界極大提升代碼的可用性和逼格。自定義迭代器本質(zhì)上是一個(gè)類它需要重載一些操作符并定義一些嵌套類型typedef或using以便STL能識(shí)別它。需要定義的類型通常包括iterator_category迭代器類別如std::forward_iterator_tag。value_type迭代器指向的元素類型。difference_type兩個(gè)迭代器距離的類型通常是ptrdiff_t。pointer元素指針類型。reference元素引用類型。需要重載的操作符至少包括operator*()解引用獲取元素。operator-()成員訪問。operator()和operator(int)前綴和后綴遞增。operator()和operator!()相等性比較。下面是一個(gè)極簡(jiǎn)的、針對(duì)固定大小數(shù)組的自定義迭代器示例它模擬了隨機(jī)訪問迭代器#include iterator // 用于 std::random_access_iterator_tag template typename T class SimpleArray { private: T* m_data; size_t m_size; public: // 嵌套的迭代器類 class Iterator { public: // 必須定義的迭代器類型標(biāo)簽 using iterator_category std::random_access_iterator_tag; using value_type T; using difference_type std::ptrdiff_t; using pointer T*; using reference T; Iterator(pointer ptr) : m_ptr(ptr) {} // 解引用 reference operator*() const { return *m_ptr; } pointer operator-() const { return m_ptr; } // 前綴遞增 Iterator operator() { m_ptr; return *this; } // 后綴遞增 Iterator operator(int) { Iterator tmp *this; m_ptr; return tmp; } // 隨機(jī)訪問迭代器需要的額外操作 Iterator operator--() { --m_ptr; return *this; } Iterator operator--(int) { Iterator tmp *this; --m_ptr; return tmp; } Iterator operator(difference_type n) { m_ptr n; return *this; } Iterator operator(difference_type n) const { return Iterator(m_ptr n); } difference_type operator-(const Iterator other) const { return m_ptr - other.m_ptr; } bool operator(const Iterator other) const { return m_ptr other.m_ptr; } reference operator[](difference_type n) const { return m_ptr[n]; } // 比較 bool operator(const Iterator other) const { return m_ptr other.m_ptr; } bool operator!(const Iterator other) const { return m_ptr ! other.m_ptr; } private: pointer m_ptr; }; SimpleArray(size_t size) : m_size(size), m_data(new T[size]{}) {} ~SimpleArray() { delete[] m_data; } // 容器需要提供begin()和end() Iterator begin() { return Iterator(m_data); } Iterator end() { return Iterator(m_data m_size); } T operator[](size_t index) { return m_data[index]; } }; int main() { SimpleArrayint arr(5); arr[0] 10; arr[1] 20; arr[2] 30; arr[3] 40; arr[4] 50; // 現(xiàn)在可以使用STL算法了 for (auto it arr.begin(); it ! arr.end(); it) { std::cout *it ; } std::cout std::endl; // 范圍for循環(huán)也能用 for (int val : arr) { std::cout val ; } std::cout std::endl; // 甚至可以用std::sort std::sort(arr.begin(), arr.end()); return 0; }實(shí)現(xiàn)一個(gè)完整的、符合所有STL要求的迭代器比較復(fù)雜尤其是隨機(jī)訪問迭代器。在實(shí)際項(xiàng)目中如果不需要復(fù)雜的隨機(jī)訪問可以從實(shí)現(xiàn)一個(gè)前向迭代器開始。C20引入了std::forward_iterator等概念可以通過requires子句來約束讓編譯器的錯(cuò)誤信息更友好但基本原理是一樣的。5. 現(xiàn)代C中的迭代器新特性與性能考量C11/14/17/20標(biāo)準(zhǔn)為迭代器帶來了更多便利和安全性。5.1cbegin()/cend()與rbegin()/rend()的常量版本為了支持常量正確性C11引入了cbegin(),cend(),crbegin(),crend()。它們返回常量迭代器即使容器本身不是常量通過這些迭代器也無法修改元素。這有助于表達(dá)“只讀”意圖讓代碼更安全編譯器也能做更好的優(yōu)化。std::vectorint vec {1, 2, 3}; auto it1 vec.begin(); // 非常量迭代器可以修改 *it1 *it1 100; // 合法 auto it2 vec.cbegin(); // 常量迭代器不能修改 *it2 // *it2 200; // 編譯錯(cuò)誤5.2 基于范圍的for循環(huán)與迭代器如前所述范圍for循環(huán)是迭代器的語(yǔ)法糖。但要注意在循環(huán)體內(nèi)直接使用erase或insert可能導(dǎo)致迭代器失效從而引發(fā)未定義行為。范圍for循環(huán)隱藏了迭代器因此不推薦在范圍for循環(huán)中修改容器結(jié)構(gòu)增刪元素。如果需要請(qǐng)回歸到顯式的迭代器循環(huán)。5.3 性能考量迭代器 vs 下標(biāo) vs 指針對(duì)于像std::vector和std::array這樣的連續(xù)內(nèi)存容器很多人會(huì)糾結(jié)用迭代器、下標(biāo)[]還是原生指針哪個(gè)更快。迭代器 vs 下標(biāo)在Release優(yōu)化模式下對(duì)于標(biāo)準(zhǔn)庫(kù)的迭代器兩者的性能幾乎沒有區(qū)別。編譯器會(huì)將迭代器操作優(yōu)化成與指針?biāo)阈g(shù)等效的代碼。選擇哪個(gè)主要取決于代碼風(fēng)格和場(chǎng)景。迭代器更通用能用于所有容器而下標(biāo)訪問有時(shí)更直觀。迭代器 vs 原生指針對(duì)于vector其迭代器在很多實(shí)現(xiàn)中就是T*的別名所以性能完全一樣。但你不能依賴這個(gè)實(shí)現(xiàn)細(xì)節(jié)。從抽象和代碼安全的角度優(yōu)先使用迭代器。一個(gè)微小的性能提示在循環(huán)中將end()的調(diào)用提到循環(huán)外。雖然編譯器優(yōu)化后可能沒區(qū)別但這是一個(gè)好習(xí)慣。// 稍好一點(diǎn)的寫法 for (auto it vec.begin(), end vec.end(); it ! end; it) { // ... }5.4 C20的Ranges庫(kù)迭代器的未來C20引入了Ranges庫(kù)它是對(duì)迭代器-對(duì)begin/end范式的一次重大升級(jí)。Ranges提供了更組合化、更聲明式的編程方式。例如傳統(tǒng)的寫法std::vectorint vec {...}; auto it std::find_if(vec.begin(), vec.end(), [](int x){ return x 5; });使用Ranges可以寫成namespace rv std::ranges::views; auto result vec | rv::filter([](int x){ return x 5; }) | rv::take(10);Ranges庫(kù)提供了“視圖”views它們是惰性求值的不會(huì)拷貝或修改底層數(shù)據(jù)性能開銷很小。雖然Ranges很強(qiáng)大但它的基礎(chǔ)仍然是迭代器。理解好傳統(tǒng)的迭代器是學(xué)習(xí)Ranges的堅(jiān)實(shí)基礎(chǔ)。6. 常見面試題與實(shí)戰(zhàn)陷阱解析最后我們結(jié)合一些常見的面試題和實(shí)戰(zhàn)中容易遇到的問題來鞏固對(duì)迭代器的理解。面試題1vector的erase操作后迭代器為什么會(huì)失效如何安全地刪除元素解析vector在內(nèi)存中是連續(xù)存儲(chǔ)的。當(dāng)調(diào)用erase(it)刪除it指向的元素時(shí)it之后的所有元素都需要向前移動(dòng)一個(gè)位置以填補(bǔ)空缺。這意味著被刪除元素的內(nèi)存位置被覆蓋。原來指向被刪除元素之后位置的迭代器現(xiàn)在指向的元素已經(jīng)變了向前移動(dòng)了一位。因此erase返回的是指向被刪除元素之后那個(gè)新元素的迭代器。安全刪除的寫法是it vec.erase(it);。如果在循環(huán)中刪除需要特別注意只有沒刪除元素時(shí)才手動(dòng)it。面試題2map和unordered_map的迭代器有什么區(qū)別遍歷時(shí)順序如何解析std::map基于紅黑樹實(shí)現(xiàn)迭代器是雙向迭代器。遍歷時(shí)元素按鍵key的升序排列默認(rèn)使用std::less。迭代器自增會(huì)移動(dòng)到下一個(gè)鍵值更大的元素。std::unordered_map基于哈希表實(shí)現(xiàn)迭代器是前向迭代器C11起至少是前向?qū)嶋H實(shí)現(xiàn)可能提供雙向。遍歷時(shí)元素是無序的順序取決于哈希函數(shù)、桶的布局和插入歷史。每次程序運(yùn)行遍歷順序都可能不同除非哈希種子固定。因此如果需要有序遍歷用map如果只需要快速查找不關(guān)心順序用unordered_map。實(shí)戰(zhàn)陷阱在循環(huán)中同時(shí)使用迭代器和下標(biāo)有時(shí)為了邏輯需要我們可能既用迭代器遍歷又用下標(biāo)訪問。但要極度小心迭代器失效。std::vectorint vec {1, 2, 3, 4, 5}; for (auto it vec.begin(); it ! vec.end(); it) { if (*it 3) { vec.erase(it); // it失效 // 此時(shí)如果再用 vec[std::distance(vec.begin(), it)] 訪問行為未定義 break; } }好的實(shí)踐是在可能修改容器結(jié)構(gòu)的操作增、刪之后立即停止使用所有舊的迭代器除非它們被明確地更新如通過erase的返回值。實(shí)戰(zhàn)陷阱e(cuò)nd()迭代器的解引用end()迭代器指向的是“末尾后”絕對(duì)不能解引用。一個(gè)常見的錯(cuò)誤是在查找失敗后忘記檢查就直接使用返回的迭代器。auto it std::find(vec.begin(), vec.end(), 99); std::cout *it; // 如果99不在vec中it等于vec.end()解引用會(huì)導(dǎo)致崩潰正確的做法永遠(yuǎn)是先判斷if (it ! vec.end())。迭代器是C STL的基石它抽象了數(shù)據(jù)訪問讓算法和容器解耦。從簡(jiǎn)單的遍歷到復(fù)雜的泛型編程迭代器無處不在。理解它的分類、用法、失效規(guī)則以及現(xiàn)代C中的新發(fā)展是成為一名合格C開發(fā)者的必經(jīng)之路。我個(gè)人的經(jīng)驗(yàn)是初期多寫多練刻意使用迭代器替代下標(biāo)遇到錯(cuò)誤時(shí)耐心分析編譯器報(bào)錯(cuò)特別是與迭代器類別相關(guān)的錯(cuò)誤慢慢就會(huì)建立起深刻的直覺。當(dāng)你能夠?yàn)樽约旱臄?shù)據(jù)結(jié)構(gòu)實(shí)現(xiàn)一個(gè)正確的迭代器時(shí)你對(duì)C的理解就又上了一個(gè)臺(tái)階。