1. 為什么是 ranges先把三個(gè)老痛點(diǎn)擺出來(lái)1.1 傳統(tǒng) STL 算法的三個(gè)痛點(diǎn)你大概率寫(xiě)過(guò)類(lèi)似的代碼一個(gè)容器先過(guò)濾出符合條件的元素再對(duì)每個(gè)元素做變換最后把結(jié)果收集到另一個(gè)容器里。用傳統(tǒng) STL 算法寫(xiě)就是下面這個(gè)樣子std::vectorint nums{1, 2, 3, 4, 5, 6}; std::vectorint tmp, result; std::copy_if(nums.begin(), nums.end(), std::back_inserter(tmp), [](int n) { return n % 2 0; }); std::transform(tmp.begin(), tmp.end(), std::back_inserter(result), [](int n) { return n * n; });這段代碼能跑但問(wèn)題很明顯。第一每次調(diào)用算法都要把begin()和end()寫(xiě)一遍信息密度極低十個(gè)算法就是二十次迭代器。第二只要算法組合超過(guò)兩層你就得引入臨時(shí)容器tmp這個(gè)名字會(huì)反復(fù)出現(xiàn)在你的代碼里為的是什么只是為了讓下一段算法能看到上一段的結(jié)果。第三算法和算法之間靠“容器”傳話導(dǎo)致一個(gè)本可以用一行表達(dá)的處理流水線硬生生被拆成了三段讀代碼的人得反向追蹤數(shù)據(jù)流動(dòng)才能明白整體邏輯。這還只是最簡(jiǎn)單的過(guò)濾加變換。如果中間再穿插排序、去重、取前 N 個(gè)、分組統(tǒng)計(jì)傳統(tǒng)寫(xiě)法會(huì)迅速膨脹成一大坨難以維護(hù)的循環(huán)和臨時(shí)變量。迭代器當(dāng)然是靈活的但靈活不等于好用就像你可以用扳手砸釘子可那不該是日常姿勢(shì)。1.2 ranges 改寫(xiě)后的第一印象std::ranges 要解決的正是這些問(wèn)題?！皉ange”這個(gè)詞直譯為“范圍”意思是把“一對(duì)迭代器”這個(gè)東西升級(jí)成“一個(gè)可遍歷的范圍”這個(gè)抽象。C20 的 ranges 算法可以直接吃整個(gè)容器也可以用|管道把多個(gè)視圖適配器串起來(lái)。同樣一段邏輯用 ranges 寫(xiě)是這樣namespace rv std::views; auto result nums | rv::filter([](int n) { return n % 2 0; }) | rv::transform([](int n) { return n * n; }); for (int v : result) { std::cout v ; } // 輸出 4 16 36注意到差別沒(méi)有沒(méi)有臨時(shí)容器沒(méi)有成對(duì)的begin/end甚至連“把結(jié)果存到哪”都暫時(shí)不用管。result不是一個(gè)容器它是一個(gè)“視圖”描述了一段數(shù)據(jù)處理的配方。這個(gè)配方是惰性的——你在這個(gè)循環(huán)真正迭代它之前它不會(huì)做任何計(jì)算。這種聲明式的寫(xiě)法讓人把注意力從“怎么取數(shù)據(jù)”轉(zhuǎn)移到“我要什么結(jié)果”上。我第一次用 ranges 改某段日志解析代碼時(shí)最大的感受不是代碼變短了多少而是思路變清楚了過(guò)濾條件、變換規(guī)則、截?cái)噙壿嫺髯元?dú)立成一段誰(shuí)也不會(huì)干擾誰(shuí)。后來(lái)再給同事講這個(gè)特性我都喜歡說(shuō)一句話ranges 不是讓 C 變得更花哨而是讓“處理一批數(shù)據(jù)”這件事終于有了符合直覺(jué)的表達(dá)方式。適合誰(shuí)適合所有寫(xiě)過(guò) STL 算法、覺(jué)得迭代器寫(xiě)起來(lái)煩、希望在 C20/23 項(xiàng)目里提升代碼表達(dá)力的開(kāi)發(fā)者。2. 核心模塊速覽range、view、sentinel、concepts 各自解決什么問(wèn)題2.1 range 與 view可借用范圍是一切的原料C20 里std::ranges是一個(gè)命名空間里面裝了一大票與范圍相關(guān)的組件。最基礎(chǔ)的range是一個(gè)概念concept定義也很直觀一個(gè)類(lèi)型如果能提供begin()和end()那它就是一個(gè)range。數(shù)組是 range各種std::vector是 rangestd::string是 range自定義的容器只要實(shí)現(xiàn)了迭代器接口也是 range。但真正讓 ranges 好用的是view。view 是一個(gè)“輕量、可拷貝、O(1) 拷貝代價(jià)”的范圍它不擁有數(shù)據(jù)只是對(duì)已有數(shù)據(jù)的觀察角度。std::views::filter返回的filter_view就是這樣一個(gè)觀察者它底層還是引用著你的std::vector但每次遍歷時(shí)只把滿足條件的元素交給上層。view 本身不分配內(nèi)存不拷貝元素這也是把它組合進(jìn)管道時(shí)不會(huì)產(chǎn)生額外性能開(kāi)銷(xiāo)的根本原因。這里有個(gè)容易混淆的點(diǎn)就是“右值范圍”和“左值范圍”的區(qū)別。假設(shè)你直接寫(xiě)auto v std::vectorint{1, 2, 3} | rv::take(2);這里的臨時(shí)容器會(huì)被移進(jìn)一個(gè)內(nèi)部持有的所有權(quán)視圖里數(shù)據(jù)跟著v走。這個(gè)所有權(quán)視圖在 C23 里正式叫std::ranges::owning_view。而如果你傳的是一個(gè)左值容器std::vectorint nums{1, 2, 3}; auto v nums | rv::take(2);那么nums不會(huì)被拷貝它會(huì)被包成一個(gè)ref_viewv實(shí)際上“借用”了nums。借用意味著一個(gè)問(wèn)題你必須保證nums活得比v久。這個(gè)問(wèn)題后面講懸垂案例時(shí)還會(huì)細(xì)說(shuō)這里只要先建立印象view 默認(rèn)不擁有數(shù)據(jù)它的生命周期和你傳入的范圍綁定。2.2 哨兵 sentinel迭代器不必和哨兵同類(lèi)型傳統(tǒng) STL 算法接受first, last兩個(gè)迭代器要求它們類(lèi)型相同。這帶來(lái)一個(gè)隱性的限制哨兵本身必須是同類(lèi)型的迭代器。但很多場(chǎng)景下范圍結(jié)束的標(biāo)志并不是一個(gè)迭代器而是一個(gè)可以判斷“到?jīng)]到頭”的哨兵。ranges 引入了 sentinel 概念允許begin()返回迭代器、end()返回一個(gè)不同類(lèi)型的哨兵只要這個(gè)哨兵滿足“和迭代器比較相等”的約束。這樣做的直接收益有兩個(gè)。第一個(gè)收益是字符串處理。像const char*這種以\0結(jié)尾的字符串傳統(tǒng)方式得到last只能是first strlen(first)需要先遍歷一次求長(zhǎng)度而如果允許哨兵是一個(gè)“遇到空字符就停止”的對(duì)象就可以直接把這個(gè)字符串當(dāng)作 range 遍歷省掉一次掃描。第二個(gè)收益是讓“結(jié)束條件”更自由。比如一個(gè)范圍不是以位置結(jié)束而是以某個(gè)謂詞結(jié)束你可以用帶哨兵的范圍來(lái)表達(dá)。雖然平時(shí)寫(xiě)業(yè)務(wù)代碼用到自定義哨兵的機(jī)會(huì)不多但理解這個(gè)機(jī)制后再看到 ranges 里那些“迭代器和哨兵可以不是同一類(lèi)型”的算法重載就不會(huì)覺(jué)得奇怪了。2.3 concepts 與約束編譯錯(cuò)誤變得人能讀懂ranges 依賴(lài) concepts 來(lái)做約束檢查這可能是它另一個(gè)被低估的貢獻(xiàn)。以前寫(xiě)模板傳入一個(gè)不支持的類(lèi)型爆出來(lái)的錯(cuò)誤往往是一坨深不見(jiàn)底的實(shí)例化嵌套最后一行寫(xiě)著某個(gè)庫(kù)里static_assert失敗。Ranges 引入了std::ranges::input_range、std::ranges::forward_range、std::ranges::random_access_range、std::ranges::sortable等一系列概念后算法對(duì)自己的輸入有了明確要求。舉個(gè)例子std::ranges::sort要求范圍滿足sortable而sortable展開(kāi)后涉及“元素可交換、可移動(dòng)、可比較”等約束。當(dāng)你試圖對(duì)一個(gè)只讀范圍排序時(shí)編譯器會(huì)直接告訴你“不滿足indirectly_movable_storable”而不是讓模板實(shí)例化錯(cuò)誤把你淹沒(méi)在幾百行日志里。這意味著什么意味著庫(kù)的作者可以把約束寫(xiě)成文檔的一部分用它來(lái)精確表達(dá)算法對(duì)輸入的要求使用者在寫(xiě)錯(cuò)時(shí)也能更快定位問(wèn)題。我個(gè)人的經(jīng)驗(yàn)是不要神話 concepts它不會(huì)讓所有錯(cuò)誤信息都變得一目了然但比起 C98 時(shí)代模板報(bào)錯(cuò)的混亂程度已經(jīng)是質(zhì)的提升。尤其是當(dāng)你給函數(shù)寫(xiě)的模板參數(shù)用std::ranges::range約束時(shí)調(diào)用方的錯(cuò)誤提示會(huì)清楚得多。3. 高密度實(shí)戰(zhàn)什么時(shí)候真正該用 ranges3.1 過(guò)濾加變換統(tǒng)計(jì)訂單金額我實(shí)際工作中用得最多的場(chǎng)景就是“過(guò)濾 變換”。比如某次我們改歷史訂單的結(jié)算邏輯要從一批訂單里篩出金額大于某個(gè)閾值的已支付訂單再把每單抽成算出來(lái)。傳統(tǒng)寫(xiě)法需要兩三次循環(huán)加中間容器ranges 則是一段管道struct Order { std::string id; double amount; bool paid; }; std::vectorOrder orders /* ... */; double threshold 100.0; auto commissions orders | rv::filter([](const Order o) { return o.paid; }) | rv::filter([threshold](const Order o) { return o.amount threshold; }) | rv::transform([](const Order o) { return o.amount * 0.02; });用這個(gè)管道去統(tǒng)計(jì)總抽成只需要在循環(huán)里累加double total 0.0; for (double c : commissions) { total c; }這里建議把兩個(gè)過(guò)濾分開(kāi)寫(xiě)而不是合并成一個(gè)大的 lambda。原因很簡(jiǎn)單業(yè)務(wù)條件通常是獨(dú)立的拆開(kāi)后將來(lái)改“支付狀態(tài)判斷”或“金額閾值”都可以各自維護(hù)。這是我在真實(shí)代碼里反復(fù)踩過(guò)的一個(gè)組織習(xí)慣——ranges 管道雖然可以寫(xiě)得很短但語(yǔ)義清晰比短更重要。如果你想把結(jié)果收集成std::vectordouble可以先做這一步std::vectordouble vec; for (double c : commissions) { vec.push_back(c); }C23 有std::ranges::tostd::vector(commissions)一行搞定這個(gè)后面單獨(dú)講。3.2 投影排序按結(jié)構(gòu)體成員排序另一個(gè)高頻場(chǎng)景是排序。處理結(jié)構(gòu)體數(shù)組時(shí)傳統(tǒng)寫(xiě)法要寫(xiě)一個(gè)比較 lambda比如按age排序struct Person { std::string name; int age; }; std::vectorPerson people{ {Alice, 30}, {Bob, 24}, {Charlie, 35} }; std::sort(people.begin(), people.end(), [](const Person a, const Person b) { return a.age b.age; });ranges 里排序可以接受一個(gè)投影projection參數(shù)直接指定用哪個(gè)成員參與比較std::ranges::sort(people, {}, Person::age);第二個(gè)參數(shù)是比較器這里我用{}表示默認(rèn)的std::less第三個(gè)參數(shù)就是投影。這個(gè)寫(xiě)法省掉了 lambda更重要的是它把“比較規(guī)則”和“比較對(duì)象”分開(kāi)了比較規(guī)則是升序比較對(duì)象是age成員。如果按名字長(zhǎng)度排std::ranges::sort(people, {}, [](const Person p) { return p.name.size(); });投影也不限于成員變量任何能從元素身上取出“比較鍵”的可調(diào)用對(duì)象都行。我在解析日志文件時(shí)經(jīng)常用投影按時(shí)間戳排序能少寫(xiě)很多模板樣板。3.3 字符串拆分與解析std::views::split對(duì)字符串處理特別有用。以前要按逗號(hào)拆 CSV要么用std::getline配合istringstream要么手寫(xiě)循環(huán)找find。用 ranges 可以這樣std::string line apple,banana,grape; auto parts line | rv::split(,) | rv::transform([](auto piece) { return std::string_view(piece); }); for (std::string_view s : parts) { std::cout s \n; }這里有個(gè)細(xì)節(jié)值得展開(kāi)split產(chǎn)生的“子串”類(lèi)型并不是std::string_view而是一個(gè)表示子范圍的 range 對(duì)象所以通常要再transform一層把它顯式轉(zhuǎn)成std::string_view。不轉(zhuǎn)的話你也能遍歷子串的字符但直接打印或傳給需要string_view的函數(shù)時(shí)會(huì)多一層周折。我自己寫(xiě)小工具時(shí)還會(huì)把這段包裝成通用函數(shù)auto split_to_views(std::string_view s, char delim) - std::vectorstd::string_view { return s | rv::split(delim) | rv::transform([](auto r) - std::string_view { return std::string_view(r); }) | std::ranges::tostd::vector(); }注意 C23 才提供std::ranges::to如果你的工具鏈支持 C23這個(gè)函數(shù)非常簡(jiǎn)單。即使還在 C20用循環(huán)收集也不算復(fù)雜只是 code 稍長(zhǎng)一點(diǎn)。另一個(gè)坑是string_view指向的原始字符串生命期如果s是臨時(shí)字符串轉(zhuǎn)換出來(lái)的string_view可就懸空了這個(gè)問(wèn)題本質(zhì)上是借用生命周期下面單獨(dú)會(huì)聊。3.4 統(tǒng)計(jì)、區(qū)間判斷與分頁(yè)除了組合式視圖ranges 還提供一批直接吃 range 的算法重載日常寫(xiě)代碼時(shí)幾乎每天都會(huì)碰到幾個(gè)。比如統(tǒng)計(jì)滿足條件的數(shù)量std::vectordouble prices{99.0, 199.0, 49.0, 799.0}; auto over100 std::ranges::count_if(prices, [](double p) { return p 100.0; });判斷一段數(shù)據(jù)是不是全部滿足條件bool allPositive std::ranges::all_of(prices, [](double p) { return p 0.0; });檢查是否已排序、找最大元素、判斷值是否存在這些都能用 ranges 算法一行完成。和傳統(tǒng) STL 算法的區(qū)別只有一個(gè)不用寫(xiě)begin/end。別小看這個(gè)差異函數(shù)簽名短了一截代碼密度和可讀性會(huì)明顯提升。分頁(yè)是另一個(gè)很常見(jiàn)的場(chǎng)景。假設(shè)要展示第 2 頁(yè)每頁(yè) 10 條auto page all_items | rv::drop(10 * 1) | rv::take(10);drop跳過(guò)前 N 個(gè)take取接下來(lái) N 個(gè)兩個(gè)視圖一組合就是清晰的分頁(yè)邏輯。以前寫(xiě)這種要么用下標(biāo)循環(huán)要么先resize一個(gè)臨時(shí)容器現(xiàn)在一行管道講清楚“從哪開(kāi)始取多少”。這類(lèi)邏輯在列表接口、報(bào)表分頁(yè)、日志采樣里都能直接套。4. 惰性求值與性能真相view 不拷貝但也不是魔法4.1 惰性求值的工作機(jī)制視圖是惰性的這是 ranges 最重要的設(shè)計(jì)原則之一。所謂惰性就是管道構(gòu)造完成時(shí)數(shù)據(jù)并沒(méi)有被實(shí)際處理只有當(dāng)你開(kāi)始迭代視圖或者把視圖傳給一個(gè)急切算法時(shí)計(jì)算才發(fā)生。用個(gè)生活化的類(lèi)比管道描述的是“做菜的配方”而不是已經(jīng)做好的菜。nums | filter(...) | transform(...)這條語(yǔ)句只把三個(gè)“加工步驟”串成了流水線但流水線本身沒(méi)有運(yùn)轉(zhuǎn)。每次你在 for 循環(huán)里取一個(gè)元素流水線才往前推一格先到容器里拿一個(gè)數(shù)判斷是否偶數(shù)是則平方然后交給循環(huán)體。如果你只取前兩個(gè)元素那容器里后面的元素永遠(yuǎn)不會(huì)被檢查。這個(gè)設(shè)計(jì)帶來(lái)兩件事。第一中間結(jié)果不落地不會(huì)生成臨時(shí)容器。第二組合次數(shù)與運(yùn)行時(shí)開(kāi)銷(xiāo)沒(méi)有必然關(guān)系因?yàn)槊恳徊蕉际侵饌€(gè)元素流式處理而不是每層生成一個(gè)完整數(shù)組。但也正因如此新手往往會(huì)覺(jué)得 ranges 很“玄學(xué)”。其實(shí)只要記住一句話視圖是延遲求值的它描述一個(gè)過(guò)程真正執(zhí)行發(fā)生在消費(fèi)端。寫(xiě)代碼時(shí)如果分不清哪一步是構(gòu)建視圖、哪一步是觸發(fā)求值那就容易寫(xiě)出“看起來(lái)對(duì)、但什么都不做”的代碼。4.2 性能到底如何說(shuō)到性能很多人第一反應(yīng)是擔(dān)心 ranges 的抽象會(huì)不會(huì)產(chǎn)生額外開(kāi)銷(xiāo)。實(shí)測(cè)下來(lái)主流編譯器在開(kāi)啟優(yōu)化后簡(jiǎn)單的 filtertransform 管道能生成和手寫(xiě)循環(huán)幾乎等價(jià)的機(jī)器代碼。比如我們組之前把一個(gè)熱點(diǎn)路徑上的日志清洗循環(huán)改成 ranges 管道開(kāi)了 O2 以后匯編反而少了幾個(gè)分支因?yàn)榫幾g器更容易看出每個(gè)元素之間沒(méi)有依賴(lài)可以做向量化。需要注意的其實(shí)是分配行為。視圖本身不分配內(nèi)存但如果把一個(gè)視圖tostd::vector變成容器那必然有一次容器分配。這個(gè)分配是符合預(yù)期的別誤以為所有操作都零分配就行。另一個(gè)容易忽略的細(xì)節(jié)是views::filter的謂詞如果捕獲了較大的對(duì)象視圖對(duì)象本身會(huì)變大因?yàn)橐晥D里保存了謂詞副本。但通常無(wú)狀態(tài)的 lambda 是空對(duì)象不會(huì)增加視圖體積。用 ranges 寫(xiě)代碼不一定更快也不一定更慢它的收益主要在于表達(dá)和可維護(hù)性。性能上我可以負(fù)責(zé)任地說(shuō)大多數(shù)場(chǎng)景和手寫(xiě)循環(huán)同量級(jí)少數(shù)場(chǎng)景因?yàn)榫幾g器更容易理解意圖反而有優(yōu)化空間。4.3 什么時(shí)候別用 ranges雖然我很喜歡 ranges但不會(huì)無(wú)腦推崇。有兩個(gè)場(chǎng)景我會(huì)刻意少用一個(gè)是需要和 C11/14 老代碼庫(kù)兼容另一個(gè)是在調(diào)試鋪天蓋地的模板錯(cuò)誤時(shí)先穩(wěn)住主線。第二個(gè)場(chǎng)景其實(shí)不是 ranges 的錯(cuò)而是模板深度帶來(lái)的現(xiàn)實(shí)成本——管道組合越復(fù)雜類(lèi)型名越長(zhǎng)斷點(diǎn)調(diào)試就越痛苦。還有一種情況是嵌套循環(huán)里本身就不適合用視圖。比如你要處理一個(gè)二維矩陣同時(shí)依賴(lài)行和列的索引來(lái)做邏輯判斷這時(shí)直接遍歷下標(biāo)反而更清楚。ranges 能做的事很多但“清晰”永遠(yuǎn)是第一原則。視圖管道寫(xiě)出來(lái)漂亮如果讀的人需要花五分鐘才能看明白每一層在干嘛那就該考慮拆函數(shù)、加注釋或者退回循環(huán)。5. 踩坑實(shí)錄視圖懸垂、生命周期與調(diào)試教訓(xùn)5.1 最經(jīng)典的懸垂案例寫(xiě)了兩年 ranges我遇到的最大坑也是社區(qū)里討論最多的坑給filter或transform傳一個(gè)臨時(shí)范圍結(jié)果視圖懸垂?？催@段代碼auto bad std::vectorint{1, 2, 3, 4} | std::views::filter([](int n) { return n % 2 0; });乍一看沒(méi)毛病管道建好filter 條件也對(duì)。但bad這個(gè)視圖內(nèi)部持有指向臨時(shí)容器的迭代器臨時(shí)容器在這條語(yǔ)句結(jié)束后就被銷(xiāo)毀了。等你在函數(shù)返回后遍歷bad它訪問(wèn)的是已經(jīng)釋放的內(nèi)存這就是經(jīng)典未定義行為。這種 bug 最陰的地方在于它可能在你本機(jī)跑一百次都不崩換一個(gè)編譯器、加一個(gè)優(yōu)化選項(xiàng)就隨機(jī)出現(xiàn)奇怪結(jié)果。那為什么filter和transform會(huì)這樣因?yàn)樗鼈儍?nèi)部存的是迭代器而不是范圍本身。迭代器指向哪里完全取決于傳入的 range 是誰(shuí)的。臨時(shí)容器一消失迭代器就成了空中的樓閣。5.2 take 為什么安全這里有個(gè)反直覺(jué)的對(duì)比views::take對(duì)臨時(shí)范圍反而安全。比如auto ok std::vectorint{1, 2, 3, 4} | std::views::take(2);take_view在底層范圍是右值時(shí)會(huì)直接把范圍“抱住”存進(jìn)自己內(nèi)部而不是只存迭代器。所以你把這個(gè)ok拿出去用數(shù)據(jù)是安全的。標(biāo)準(zhǔn)庫(kù)里也有owning_view來(lái)專(zhuān)門(mén)持有右值范圍。但問(wèn)題就在這里同樣是管道有的適配器安全有的不安全細(xì)節(jié)藏在“這個(gè)視圖到底存儲(chǔ)了什么”上面。我給自己的規(guī)則很簡(jiǎn)單凡是管道起始端是臨時(shí)構(gòu)造的右值容器一律先用一個(gè)具名局部變量保存std::vectorint nums{1, 2, 3, 4}; auto safe nums | std::views::filter(...) | std::views::transform(...);這樣生命周期就一目了然也能躲掉大多數(shù)懸垂場(chǎng)景。5.3 調(diào)試 ranges 表達(dá)式的技巧調(diào)試 view 管道比調(diào)試普通循環(huán)麻煩。原因有兩個(gè)第一表達(dá)式長(zhǎng)中間變量多沒(méi)有地方可以打斷點(diǎn)觀察“這一層過(guò)濾完是什么”第二view 的類(lèi)型名極長(zhǎng)IDE 的調(diào)試面板里顯示出來(lái)像天書(shū)。我的調(diào)試套路是先拆函數(shù)。把每個(gè)謂詞抽成一個(gè)命名好的 lambda再單獨(dú)驗(yàn)證auto is_paid [](const Order o) { return o.paid; }; auto above_threshold [t threshold](const Order o) { return o.amount t; }; auto commission [](const Order o) { return o.amount * 0.02; }; auto result orders | rv::filter(is_paid) | rv::filter(above_threshold) | rv::transform(commission);好處是每個(gè) lambda 都有名字編譯錯(cuò)誤能直接定位到具體步驟調(diào)試時(shí)也能單獨(dú)測(cè)謂詞對(duì)不對(duì)。還有一個(gè)技巧想確認(rèn)某個(gè)視圖產(chǎn)生的結(jié)果是什么先把它強(qiáng)制轉(zhuǎn)成std::vector再遍歷打印auto intermediate orders | rv::filter(is_paid); auto debug_vec intermediate | std::ranges::tostd::vector();C20 里沒(méi)有to那就std::vectorOrder dv(intermediate.begin(), intermediate.end());。這種“中間落地法”雖然犧牲了惰性但排查問(wèn)題時(shí)最直接。5.4 和舊代碼的互操作ranges 和舊代碼共存是個(gè)現(xiàn)實(shí)問(wèn)題。好消息是C20 的 ranges 算法普遍保留了迭代器版本的重載。比如std::ranges::sort(first, last)仍然可以傳一對(duì)迭代器std::ranges::transform(first, last, out, f)也照常工作。所以你不必一次性把所有代碼都改成 range 寫(xiě)法可以逐步遷移。反過(guò)來(lái)也一樣標(biāo)準(zhǔn)算法吃迭代器的也能用 ranges 的視圖迭代器。只要 view 的迭代器滿足相應(yīng) category比如random_access_iterator就可以當(dāng)普通迭代器去調(diào)老算法。唯一需要注意的是一些老函數(shù)可能要求迭代器和哨兵同類(lèi)型而視圖的end()可能是個(gè)哨兵而不是迭代器這時(shí)顯式轉(zhuǎn)成容器再用就比較穩(wěn)。另外自定義容器接入 ranges 生態(tài)非常簡(jiǎn)單保證提供begin()和end()且返回合法的迭代器即可。我自己的一個(gè)模擬項(xiàng)目里給自研的環(huán)形緩沖區(qū)補(bǔ)了begin/end所有 ranges 算法和視圖適配器立刻就能用了沒(méi)有額外的模板擴(kuò)展成本。6. C23 的新玩具與后續(xù)擴(kuò)展zip、chunk、stride、ranges::to6.1 C23 新增的視圖適配器C23 給 ranges 補(bǔ)了一批實(shí)用適配器讓很多原先要寫(xiě)一行循環(huán)的場(chǎng)景也能流程化。我挑幾個(gè)最常用的講。std::views::zip把多個(gè) range 同步打包成元組流。以前要同時(shí)遍歷兩個(gè)容器并組合只能寫(xiě)帶下標(biāo)的循環(huán)?，F(xiàn)在std::vectorstd::string names{a, b, c}; std::vectorint scores{90, 85, 95}; for (auto [name, score] : rv::zip(names, scores)) { std::cout name : score \n; }views::chunk(n)把范圍切成每組 n 個(gè)元素views::stride(n)每隔 n 個(gè)取一個(gè)。我在做時(shí)序數(shù)據(jù)抽稀和窗口統(tǒng)計(jì)時(shí)經(jīng)常用這兩個(gè)。比如對(duì)采樣點(diǎn)每 5 個(gè)一組取平均可以先chunk(5)再對(duì)每組做累加。views::enumerate給元素帶上下標(biāo)也省掉了 index 循環(huán)for (auto [idx, val] : nums | rv::enumerate) { std::cout idx - val \n; }views::join_with適合拼接內(nèi)層范圍比如打印二維矩陣時(shí)插入分隔符。這些適配器單獨(dú)看都不復(fù)雜但組合起來(lái)后原先需要三四層嵌套循環(huán)的邏輯可以壓成一段平鋪直敘的管道。6.2 更順手的容器轉(zhuǎn)換ranges::toC23 的std::ranges::toContainer()是我最期待落地的功能之一。它把一個(gè) view 或 range 直接轉(zhuǎn)成目標(biāo)容器并且支持指定轉(zhuǎn)換策略。之前想收集 view 結(jié)果必須自己循環(huán)push_back現(xiàn)在一行auto result nums | rv::filter(...) | rv::transform(...) | std::ranges::tostd::vectorint();甚至可以直接轉(zhuǎn)成關(guān)聯(lián)容器。比如從一個(gè)訂單視圖里提取 id 到std::setauto ids orders | rv::transform(Order::id) | std::ranges::tostd::setstd::string();這個(gè)能力讓“視圖負(fù)責(zé)惰性計(jì)算容器負(fù)責(zé)存儲(chǔ)結(jié)果”的分工徹底清晰。實(shí)際項(xiàng)目里我通常讓 view 管道保持惰性處理到最后一刻只有需要傳給舊接口、或者需要持久保存時(shí)才用to落地。這不只是代碼好看也是性能上的正確選擇先聲明處理邏輯再一次性分配結(jié)果避免中間容器反復(fù)分配。6.3 與標(biāo)準(zhǔn)庫(kù)新舊代碼的互操作深化C23 還調(diào)整了一些 ranges 語(yǔ)義比如split_view和lazy_split_view的區(qū)分更明確。C20 時(shí)代用split偶爾會(huì)遇到實(shí)現(xiàn)差異C23 的標(biāo)準(zhǔn)把它梳理好了普通split返回的每段默認(rèn)也是惰性的想要穩(wěn)定的行為就顯式轉(zhuǎn)string_view。如果你的代碼需要同時(shí)兼容 C20 和 C23 工具鏈對(duì)split的用法最好保持謹(jǐn)慎盡量把輸出立刻轉(zhuǎn)成容器或string_view避免依賴(lài)未定義的行為。ranges 生態(tài)從 C20 到 C23 一直在補(bǔ)短板未來(lái)的 C26 也在繼續(xù)擴(kuò)展。就我自己的心智模型來(lái)說(shuō)range是抽象輸入view是組合加工算法是消費(fèi)處理ranges::to是最后落袋。這四層互相解耦又通過(guò)一致的接口串聯(lián)起來(lái)。日常寫(xiě)代碼時(shí)先用視圖描述處理流程最后用to或者循環(huán)收口基本能覆蓋九成數(shù)據(jù)處理場(chǎng)景。最后分享一點(diǎn)個(gè)人體會(huì)我踩過(guò)很多視圖懸垂的坑也見(jiàn)過(guò)同事因?yàn)槟０鍒?bào)錯(cuò)對(duì) ranges 敬而遠(yuǎn)之但真正用順手之后它是能明顯減少樣板代碼、提升邏輯清晰度的。如果你所在的項(xiàng)目已經(jīng)切到 C20真心建議從最基礎(chǔ)的一個(gè)filter加transform開(kāi)始小步嘗試先不追求花哨的組合把“視圖是惰性的”“借用生命周期要管好”這兩條原則吃透ranges 就會(huì)慢慢變成你工具箱里順手的那把螺絲刀而不是束之高閣的新奇玩意。