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