很多人剛學(xué)編程時都覺得“i 和 i”不過是先加后加的區(qū)別背下來就完事?？傻鹊秸嬲龑戫椖磕銜l(fā)現(xiàn)面試官愛問它、代碼評審里老同事會為它較真、自己實現(xiàn)迭代器時后置莫名其妙慢一截、線上排查詭異 bug 時罪魁禍?zhǔn)拙尤皇莍 i這種從未設(shè)想過的問題。這篇內(nèi)容就是想一次性講透這個“看似入門、實則水深”的話題既講清語言規(guī)范和底層原理也給足可落地的編碼建議和實操驗證還準(zhǔn)備了十幾道覆蓋各種坑點的練習(xí)題。無論你剛學(xué)完 C/C 基礎(chǔ)還是在準(zhǔn)備面試或是想帶團(tuán)隊統(tǒng)一代碼風(fēng)格都能從中拿到能直接用的東西。1. 先把概念掰開揉碎前置和后置的語義核心1.1 一句話說清兩者的本質(zhì)區(qū)別用最直白的話講前置i先把i加 1表達(dá)式的結(jié)果是加完之后的新值。后置i先把i的舊值保存下來作為表達(dá)式結(jié)果再把i加 1。注意這里的關(guān)鍵不是“誰先加”而是表達(dá)式求值結(jié)果不同。i的求值結(jié)果是i1i的求值結(jié)果是自增前的i值。無論哪一個副作用都是讓i最終加 1。int i 5; int a i; // a 6, i 6 int b i; // b 6, i 7a拿到的是i自增后的 6b拿到的是自增前的 6但此時i已經(jīng)是 7。這就是兩者最根本的區(qū)別。1.2 從“表達(dá)式值”和“副作用”兩條線理解很多初學(xué)者會把“先加”和“后加”理解成“執(zhí)行順序”這在單條語句里好像沒什么問題一旦放進(jìn)復(fù)雜表達(dá)式就會產(chǎn)生大量誤解。更嚴(yán)謹(jǐn)?shù)囊暯鞘前驯磉_(dá)式拆成兩層來看表達(dá)式值value這個表達(dá)式本身算出來的結(jié)果是什么。副作用side effect表達(dá)式執(zhí)行過程中對內(nèi)存、變量、外部狀態(tài)造成的影響。i的表達(dá)式值是舊值副作用是讓i增加 1i的表達(dá)式值是新值副作用也是讓i增加 1。兩者副作用相同差別只在表達(dá)式值。為什么特別強(qiáng)調(diào)這一點因為“后置先把舊值存起來”這個行為對內(nèi)置類型來說成本很低但對自定義類型來說意味著一次臨時對象的構(gòu)造和一次返回值拷貝。這也是后面要重點展開的性能問題。1.3 用生活化的類比加深記憶可以把自增操作想象成“排隊取號”。i就像先按一下取號機(jī)取走當(dāng)前最新號碼再去辦事。i就像先看一眼當(dāng)前屏幕上的號碼記住這個舊號再去按取號機(jī)讓屏幕顯示新號。如果只是單純想“讓號變成下一個”兩者沒區(qū)別但如果你還需要“記住舊號”就必須用后置。這個類比能幫你快速判斷在不需要舊值的情況下沒有理由一定要用后置。2. 內(nèi)置類型現(xiàn)代編譯器下到底還有沒有必要糾結(jié)2.1 標(biāo)準(zhǔn)怎么說int 的 i 和 i對int這類內(nèi)置類型C 標(biāo)準(zhǔn)規(guī)定i的結(jié)果是自增后的值類型是int屬于純右值prvalue。i的結(jié)果是自增前的值類型也是int同樣屬于純右值。這里的“純右值”意味著你不能對i或i的結(jié)果繼續(xù)取地址也不能對它們賦值。很多人誤以為i返回的是左值其實對于內(nèi)置類型標(biāo)準(zhǔn)并沒有給它左值身份。這一點在判斷連續(xù)自增、i能不能編譯時會非常關(guān)鍵。2.2 一個實驗看匯編差異為了打消“到底誰更快”的糾結(jié)我直接寫一段代碼分別用i和i做同樣次數(shù)的循環(huán)然后去看編譯產(chǎn)物。void test_post(int n) { for (int i 0; i n; i) { // 空操作 } } void test_pre(int n) { for (int i 0; i n; i) { // 空操作 } }在不優(yōu)化或低優(yōu)化級別下i可能會多一條保存舊值的指令但在-O2級別下兩段代碼生成的匯編幾乎一模一樣。原因很簡單i的舊值在循環(huán)體里根本沒有被用到編譯器可以根據(jù)“as-if 規(guī)則”把后置自增優(yōu)化成前置自增的等價形式?？梢赃@么說對于內(nèi)置類型在開啟優(yōu)化后糾結(jié)i和i的性能意義不大。無論是循環(huán)、數(shù)組遍歷還是簡單累加現(xiàn)代編譯器都能處理得很好。2.3 for 循環(huán)i 和 i 的日常選擇既然內(nèi)置類型性能沒差別那日常寫for (int i 0; i n; i)還是i我的建議是看團(tuán)隊規(guī)范統(tǒng)一優(yōu)先用i。原因不是為了那點性能而是為了“習(xí)慣一致性”。因為團(tuán)隊里一定會有人寫自定義類型或者迭代器版本如果大家都習(xí)慣了后置寫法一旦換成迭代器或智能指針遍歷性能差異就開始顯現(xiàn)了。// 不太建議依賴的邊緣寫法 for (int i 0; i n; i) // 內(nèi)置 int沒問題 // 更穩(wěn)妥的習(xí)慣 for (int i 0; i n; i) // 內(nèi)置 int 也沒問題換成迭代器也穩(wěn)把代碼風(fēng)格統(tǒng)一成i之后遇到vector::iterator、map::iterator、自定義計數(shù)器類的時候就不需要邊寫邊想“這里到底該前置還是后置”少一個思維負(fù)擔(dān)評審也少一個討論點。2.4 必須使用后置的場景雖然日常循環(huán)推薦前置但確實有一些場景必須或自然而然使用后置需要“自增前的值”參與后續(xù)運算典型就是數(shù)組拷貝或叫號邏輯v2[i] v1[j]。為了實現(xiàn)“先用舊值再自增”的算法語義比如while (i n) { arr[i] f(i); }。重載后置邏輯時必須明確區(qū)分前置與后置那也只能寫operator(int)。但注意如果只是想讓變量加 1后置不是“不能寫”而是“沒必要”。能避免就避免能讓代碼意圖更明確。3. 自定義類型和迭代器這里才能真正拉開差距3.1 操作符重載的語法一個神秘的 int到了自定義類型這里前后置的差別就不僅僅是語義了而是直接體現(xiàn)在函數(shù)簽名和對象生命周期上。C 用了一個非常巧妙的“占位參數(shù)”來區(qū)分兩個重載class Counter { public: int value 0; // 前置 返回引用 Counter operator() { value; return *this; } // 后置 返回舊值臨時對象int 是占位參數(shù)實際調(diào)用時傳 0 Counter operator(int) { Counter old *this; // 保存舊狀態(tài) value; // 修改當(dāng)前對象 return old; // 返回舊狀態(tài) } };前置版本返回Counter后置版本返回Counter。返回引用意味著不產(chǎn)生拷貝直接操作并返回原對象返回對象則必須構(gòu)造一個臨時副本。這就是后置“天生比前置更重”的本質(zhì)原因。調(diào)用時編譯器靠語法區(qū)分Counter c; c; // 相當(dāng)于 c.operator(0) c; // 相當(dāng)于 c.operator()后置版本那個int參數(shù)永遠(yuǎn)不會被真正使用它只是為了讓編譯器能區(qū)分兩個相同名字的函數(shù)。這算是 C/C 設(shè)計里“借參數(shù)類型區(qū)分同名操作符”的經(jīng)典案例。3.2 效率差異多出來的臨時對象為什么說自定義類型這里差距才真正體現(xiàn)看后置實現(xiàn)就知道它要拷貝一次舊狀態(tài)返回時還可能再涉及一次拷貝或移動。如果類型里有一大堆字段、容器、動態(tài)內(nèi)存這個成本就被放大了。標(biāo)準(zhǔn)庫迭代器就是最好的例子。std::vectorint::iterator這種輕量迭代器后置和前置差距不明顯但像std::map的迭代器、某些自定義鏈表迭代器內(nèi)部可能持有多個指針和狀態(tài)后置每次都多一次拷貝遍歷百萬級元素時差異是可感知的。所以業(yè)界有一條不成文規(guī)則遍歷容器時優(yōu)先寫it而不是it。std::vectorint v {1, 2, 3}; // 推薦前置 for (auto it v.begin(); it ! v.end(); it) { // ... } // 不推薦但常見后置 for (auto it v.begin(); it ! v.end(); it) { // ... }這兩種寫法在邏輯上沒有任何區(qū)別唯一區(qū)別就是每次循環(huán)多一次舊值拷貝。你可以在自己的運行環(huán)境中打印迭代器拷貝構(gòu)造的次數(shù)來驗證后置版本的拷貝次數(shù)幾乎等于循環(huán)次數(shù)前置版本為零。3.3 左值右值與連續(xù)自增繼續(xù)說前面埋下的伏筆i和i到底能不能編譯對內(nèi)置類型i不能編譯因為第一個i的結(jié)果是純右值不是左值不能作為第二個的操作數(shù)。對自定義類型i可以編譯因為前置operator返回Counter左值引用第二次能繼續(xù)操作同一個對象。Counter c; c; // 合法但別這么寫后置的連續(xù)自增呢Counter c; c; // 能否編譯取決于類型是否禁止在右值上調(diào)用非 const 成員函數(shù)由于后置operator(int)返回的是臨時對象c會在臨時對象上再次執(zhí)行后置自增結(jié)果就是原始對象只增加 1而臨時對象增加 1 后被丟棄。絕大多數(shù)情況下這不是你想要的語義。所以代碼評審時看到連續(xù)自增直接要求改寫可讀性極差且?guī)缀醣厝话殡S誤解。3.4 迭代器遍歷的實際影響我實測過一個單向鏈表風(fēng)格的迭代器每次it都會生成一個舊迭代器快照內(nèi)部需要額外維護(hù)結(jié)構(gòu)信息循環(huán) 100 萬次后后置版本比前置版本慢 10% 到 30%。如果迭代器內(nèi)部還管理著共享指針或鎖差距更夸張。給團(tuán)隊的硬性規(guī)范一般就是兩條遍歷代碼一律寫it。只有在需要舊迭代器值時才用it。這兩條加上“內(nèi)置類型循環(huán)也統(tǒng)一i”基本能消滅一整類性能隱患。4. 求值順序、未定義行為與代碼陷阱4.1 經(jīng)典未定義行為i i 為什么錯這是面試最高頻的陷阱之一。int i 5; i i; // 未定義行為Undefined Behavior在 C/C 里對同一個標(biāo)量變量在同一個表達(dá)式中進(jìn)行多次無確定順序的寫入屬于未定義行為。i要修改i賦值i ...也要修改i這兩個寫操作之間沒有明確的順序保證編譯器可以按任何順序處理也可能直接給出完全出乎意料的結(jié)果。不要去猜“最終 i 是不是等于 5”在不同編譯器、不同優(yōu)化級別下結(jié)果可能都不一樣。更嚴(yán)格地說這種代碼本身就是錯誤不是“結(jié)果不確定”這么簡單而是整個程序的行為都不受語言標(biāo)準(zhǔn)約束。類似地i i、i i、arr[i] i這類在同一表達(dá)式中多次讀寫同一變量的寫法都屬于高危代碼。哪怕某些場景在某些標(biāo)準(zhǔn)版本下看起來可能有定義也不值得依賴。我見過一個線上排查案例某同事寫了個類似max_index i (step * 2)的表達(dá)式升級編譯器后突然出現(xiàn)詭異結(jié)果。最終定位就是從標(biāo)準(zhǔn)庫實現(xiàn)版本變化導(dǎo)致的求值順序差異引發(fā)的。從那之后團(tuán)隊規(guī)范里多了一條一條表達(dá)式里禁止對同一個變量做多于一次的自增自減。4.2 逗號表達(dá)式、短路運算與求值順序這里補充兩個容易混淆但確實有明確順序的運算符。逗號表達(dá)式按照從左到右的順序求值并且每個子表達(dá)式的副作用會在下一個子表達(dá)式求值前完成int i 0; int j (i, i 1); // i 執(zhí)行后 i 1然后 i 1 2j 2所以在逗號表達(dá)式里寫多個i是安全的但可讀性通常很差一般只建議在for循環(huán)的頭部使用for (int i 0, j 10; i j; i, --j) { // ... }短路運算和||也有明確順序左側(cè)表達(dá)式先求值右側(cè)表達(dá)式只在必要時才求值。int i 0; if (i 0 i 10) { // 左側(cè) i 0 為 false右側(cè) i 根本不會執(zhí)行i 最終為 1 }這里i的求值順序是明確的不會構(gòu)成未定義行為。但把自增混在條件判斷里閱讀成本偏高除非代碼很短且意圖清楚否則建議提前拆開。4.3 容易被忽略的 sizeof(i) 陷阱還有一個特別經(jīng)典的考點int i 0; size_t s sizeof(i); // s 是什么i 會變成多少答案是s等于sizeof(int)而i仍然是 0。因為sizeof的操作數(shù)處于“未求值上下文”unevaluated context編譯器只需要知道類型根本不會執(zhí)行表達(dá)式。所以i的副作用不會發(fā)生。這是一個很好的“求值”與“不求值”的區(qū)分題。類似地decltype(i)也不會真正執(zhí)行自增只推導(dǎo)類型。理解這一點能避免寫出依賴sizeof副作用的錯誤代碼。5. 編碼規(guī)范與項目實戰(zhàn)心得5.1 幾條可以立刻落地的編碼建議默認(rèn)用前置自增。內(nèi)置類型無差別自定義類型和迭代器更安全。統(tǒng)一成i習(xí)慣成本為零。只有需要舊值時才用后置自增。典型場景就是arr[pos] x、拷貝隊列、實現(xiàn)棧式回溯邏輯。禁止連續(xù)自增和復(fù)雜表達(dá)式混合自增。i、i、i i、i i全部禁止。多線程環(huán)境下不使用自增操作代替原子操作。i是“讀-改-寫”三步不是原子操作多線程累加必須用std::atomicint或加鎖。這是面試常考真實項目同樣容易踩。用工具約束團(tuán)隊。在編譯器告警、靜態(tài)檢查工具或 CI 規(guī)則里把常見危險自增表達(dá)式直接設(shè)為報錯或 warning。5.2 代碼評審中的自增自減紅線我在代碼評審里基本按下面這張表來卡效率很高代碼寫法評審結(jié)論建議改寫int j i i;未定義行為必須改拆成多行分步計算i i;未定義行為必須改先取舊值再自增for (auto it v.begin(); it ! v.end(); it)可運行但不夠好改itarr[i] val;語義清晰允許無需改寫i;/i;可讀性極差禁止改成i 2;sizeof(i)不會按預(yù)期執(zhí)行禁止不要依賴求值副作用這條紅線不需要背只要記住一句話自增自減是“動詞”讓它單獨成句不要嵌套在復(fù)雜表達(dá)式的深處。復(fù)雜表達(dá)式嵌套自增是代碼 bug 的最常見來源之一。5.3 面試和筆試中常見的擴(kuò)展考點除了語法題面試官經(jīng)常把自增和底層概念結(jié)合著考問i是原子操作嗎答不是讀、改、寫三步。問i返回什么后置i返回什么答返回新值/舊值重載后各自返回引用/臨時對象。問連續(xù)自增i在自定義類型上為什么合法答因為前置重載返回引用。問sizeof(i)會改變 i 嗎答不會未求值上下文。問后置自增比前置自增慢嗎答內(nèi)置類型優(yōu)化后通常無差自定義類型多一次舊值拷貝可能慢。這些問題都能從上面幾節(jié)內(nèi)容推出答案不需要死記硬背。理解了“表達(dá)式值、副作用、左值右值、臨時對象”這四條主線再怎么變著問都能接住。6. 附12 道綜合練習(xí)題與答案解析6.1 基礎(chǔ)題1-4題目 1int i 5; int j i;求j和i。題目 2int i 5; int j i;求j和i。題目 3下面代碼輸出什么int i 0; printf(%d %d\n, i, i);題目 4int i 0; size_t s sizeof(i);求s和i。6.2 進(jìn)階題5-8題目 5寫出自定義類的前置operator和后置operator(int)的正確簽名并說明為什么后置要多一個int。題目 6int i 0; i i;最終i是多少題目 7int i 0; int j (i, i);求j和i。題目 8遍歷一個std::vectorint的迭代器為什么推薦it而不是it6.3 綜合題9-12題目 9Counter c; c;這段代碼合法嗎c的值最終是多少題目 10int i 0; if (i 0 i 10) {}執(zhí)行后i是多少題目 11說出前置和后置的返回值類型左值還是右值并解釋它們對連續(xù)自增的影響。題目 12在多線程環(huán)境下兩個線程同時執(zhí)行counter1000 次最終結(jié)果一定是 2000 嗎為什么6.4 答案解析題目 1 答案j 5i 6。解析i的表達(dá)式值是舊值 5副作用讓i變?yōu)?6。題目 2 答案j 6i 6。解析i的表達(dá)式值是自增后的 6副作用讓i變?yōu)?6。題目 3 答案未指定行為取決于編譯器。解析函數(shù)參數(shù)的求值順序在 C 中未完全規(guī)定i和i的執(zhí)行順序不確定。這種題目如果在線上環(huán)境測試結(jié)果可能每次編譯都不同不能作為可依賴行為。正確答案應(yīng)該答“未指定/未定義”。題目 4 答案s sizeof(int)i仍為 0。解析sizeof不觸發(fā)表達(dá)式求值i的副作用不會發(fā)生。這是未求值上下文的典型考點。題目 5 答案class Counter { public: Counter operator(); // 前置 Counter operator(int); // 后置 };解析后置版本多一個無名的int占位參數(shù)調(diào)用時由編譯器傳入 0目的只是區(qū)分兩個重載。后置版本必須先保存舊值、再自增、最后返回臨時對象。題目 6 答案未定義行為不能依賴任何結(jié)果。解析i寫i賦值又寫i兩個寫操作之間沒有確定順序。任何運行結(jié)果都是沒意義的程序本身錯誤。題目 7 答案j 2i 2。解析逗號表達(dá)式從左到右求值第一個i讓i 1第二個i讓i 2并返回 2 作為整個逗號表達(dá)式的值。題目 8 答案后置it會先保留舊迭代器狀態(tài)再自增然后返回臨時對象。每輪循環(huán)都多一次迭代器拷貝遍歷大容器時性能有可感知差距。前置it直接操作原對象并返回引用無額外拷貝。題目 9 答案代碼可以編譯如果類型沒有限制右值調(diào)用成員函數(shù)但原始c的值只增加 1第二次自增發(fā)生在臨時對象上。實際工程中應(yīng)該用c 2。解析c等價于c.operator(0).operator(0)第一次返回臨時對象第二次在這個臨時對象上執(zhí)行后置自增最終臨時對象被丟棄。題目 10 答案i最終為 1。解析短路求值左側(cè)i 0中i返回舊值 00 0為 false右側(cè)表達(dá)式根本不會執(zhí)行所以i只在左側(cè)自增過一次。題目 11 答案對內(nèi)置類型兩者都是右值對重載的自定義類型前置返回T左值后置返回T右值。解析左值才能繼續(xù)作為自增操作數(shù)所以自定義類型支持i而內(nèi)置類型的i不能編譯。后置返回右值導(dǎo)致i在語義上變成對臨時對象的操作。題目 12 答案不一定大概率不是 2000。解析counter不是原子操作它包含讀、改、寫三步。兩個線程的讀寫可能交錯導(dǎo)致結(jié)果丟失更新。必須使用std::atomicint或互斥鎖。這也是并發(fā)編程里自增操作最經(jīng)典的坑。做這些題的時候不要光記答案要回到“表達(dá)式值、副作用、左值右值、臨時對象”這幾條線索去推導(dǎo)。把每道題都當(dāng)成一次小實驗?zāi)茏约簩懘a驗證就寫代碼驗證。編譯器優(yōu)化和標(biāo)準(zhǔn)行為之間的微妙差異親手跑一跑比背十遍定義都管用。最后再分享一個我常用的驗證技巧遇到任何拿不準(zhǔn)的自增表達(dá)式永遠(yuǎn)隨手開一個空項目跑一下并且至少切換兩個編譯優(yōu)化級別看看輸出是否一致。那些“在 -O0 下這樣、在 -O2 下那樣”的題目就是幫我們理解編譯器優(yōu)化和標(biāo)準(zhǔn)語義之間差距的最好教材。別怕多花這幾分鐘你要知道線上環(huán)境一次詭異 bug 的排查代價往往遠(yuǎn)超你集中把這里研究透徹的時間。