GESP四級備考群里經(jīng)常有人發(fā)出同一個問題為什么我在函數(shù)里明明交換了兩個變量的值回到主函數(shù)一看啥都沒變這個問題的答案幾乎都落在“函數(shù)參數(shù)的傳參方式”這個考點上。今天這篇是C四級函數(shù)專題的第9講傳參方式的第二部分。上一講我們梳理了實參和形參的關(guān)系也弄明白了值傳遞為什么是單向傳遞。這一講集中解決剩下的內(nèi)容引用傳遞、指針傳遞以及這兩者和值傳遞混在一起時考試?yán)镒畛Ｒ姷哪切┛?。如果你正在備考GESP四級或者你是幫學(xué)生做考前輔導(dǎo)的家長、老師這篇可以當(dāng)成一份完整的課堂筆記來用。我會從最基礎(chǔ)的代碼現(xiàn)象講起逐步把引用和指針的底層邏輯拆開最后落到四級考試的典型題目和易錯場景上。文中的所有示例都是短小的獨立程序可以直接復(fù)制到本地編譯器里驗證。1. 值傳遞的局限為什么一個swap函數(shù)會讓初學(xué)者集體翻車1.1 一次失敗的交換實驗幾乎所有C初學(xué)者都寫過這樣一段代碼#include iostream using namespace std; void swap(int x, int y) { int tmp x; x y; y tmp; } int main() { int a 3, b 5; swap(a, b); cout a b endl; return 0; }運行結(jié)果是什么輸出依然還是3 5。很多同學(xué)第一反應(yīng)是“我的代碼寫錯了”于是反復(fù)檢查swap函數(shù)發(fā)現(xiàn)邏輯完全沒問題態(tài)度端正變量名清楚最后卻栽在了“函數(shù)根本沒拿到你想改的那些變量本身”這個默認(rèn)機(jī)制上。關(guān)鍵原因就在形參x和y上。當(dāng)調(diào)用swap(a, b)時系統(tǒng)先創(chuàng)建了兩個新的局部變量x和y把a(bǔ)的值拷貝給x把b的值拷貝給y。函數(shù)內(nèi)部交換的是x和y的值主函數(shù)中的a和b從頭到尾沒有參與運算當(dāng)然也就不會變化。這就叫值傳遞傳遞的是值的一份拷貝而不是變量本體。1.2 “單向傳遞”這個本質(zhì)解釋了很多考題值傳遞最核心的一個特性就是單向傳遞數(shù)據(jù)能從實參流向形參但函數(shù)內(nèi)的任何修改都流不回實參。這不是C的缺陷而是一種設(shè)計選擇。它保證了調(diào)用者傳入的變量不會因為函數(shù)內(nèi)部的誤操作被意外篡改對大多數(shù)只讀函數(shù)來說非常安全。比如你調(diào)用getLength(str)、isPrime(n)這種只需要讀取數(shù)據(jù)的函數(shù)值傳遞完全夠用。但如果函數(shù)的目的就是修改外部變量問題就來了。C語言時代解決辦法是傳地址把變量的地址交給函數(shù)函數(shù)通過地址去操作那塊內(nèi)存。C在保留這套方案的同時又引入了引用這種更安全的機(jī)制。我們要想真正理解后面的內(nèi)容必須先接受一個事實所謂“傳參方式”本質(zhì)上就是在回答一個問題——函數(shù)拿到的究竟是一份拷貝、一個別名還是一個地址。很多GESP四級的判斷題、讀程序題考的就是這個底層認(rèn)知。比如給你一段代碼讓你判斷函數(shù)內(nèi)部修改會不會影響外部變量你只要先判斷傳參方式再判斷修改路徑基本不會錯。下面我先把引用傳遞講透因為它是最容易上手、也最容易出錯的方案。2. 引用傳遞C給參數(shù)提供的“別名方案”2.1 引用的語法和交換函數(shù)的正確寫法引用傳遞的寫法非常直觀只在形參類型后面加一個#include iostream using namespace std; void swap(int x, int y) { int tmp x; x y; y tmp; } int main() { int a 3, b 5; swap(a, b); cout a b endl; // 輸出 5 3 return 0; }這次調(diào)用成功的原因很簡單x不是a的拷貝而是a的別名。可以把它理解成同一個人換了兩個名字——x和a指向同一塊內(nèi)存。函數(shù)內(nèi)寫x y本質(zhì)上就是在修改a那塊內(nèi)存里的內(nèi)容。于是交換完成后主函數(shù)中的a變成了 5b變成了 3。很多學(xué)生第一次看到這種寫法都會問那到底是“取地址”還是“引用”這個要根據(jù)上下文判斷。寫在類型旁邊時它是引用寫在一元表達(dá)式前面時它是取地址運算符例如int *p a;。這也是一個GESP四級?？嫉母拍畋嫖鳇c題目經(jīng)常拿短代碼讓你判斷的含義。2.2 引用的底層機(jī)制它不是指針但勝似指針從編譯器的實現(xiàn)角度來說引用通常會被翻譯成指針常量也就是說底層用的是地址但語法層面對使用者隱藏了“地址”這個概念。我們不需要知道引用變量的內(nèi)部存儲位置只需要遵守三條規(guī)則引用必須在定義時初始化不能先聲明一個引用、以后再綁定。引用一旦綁定某個變量就不能再改綁到其他變量上。對引用執(zhí)行賦值改變的是被引用對象的值而不是引用所指向的目標(biāo)?？催@個例子int a 1, b 2; int r a; r b; // 這行等同于 a ba 變成 2r 仍然綁定在 a 上很多人誤以為r b會把r改綁到b上這是很經(jīng)典的誤解。經(jīng)過這行代碼以后a和r的值都變成 2但r依然代表著a。為什么因為引用從出生起就和a綁定后續(xù)所有操作都發(fā)生在a的內(nèi)存上不存在“重新指向”這個動作。2.3 引用傳參的真正優(yōu)勢省拷貝、能修改、更安全引用傳遞不只是為了修改變量還有一個大優(yōu)勢是避免拷貝。如果某個類型特別大比如一個包含幾千個元素的結(jié)構(gòu)體或者長字符串按值傳遞的話函數(shù)調(diào)用時要把它完整復(fù)制一份時間和內(nèi)存開銷都不小。用引用傳遞函數(shù)直接操作原對象少一次拷貝運行效率明顯更高。但直接傳普通引用也有風(fēng)險如果函數(shù)只打算讀取數(shù)據(jù)不小心在函數(shù)里寫了obj.field ...原對象就被改了。于是C提供了一種組合寫法——常量引用也就是const T 。比如#include iostream #include string using namespace std; void printMessage(const string msg) { // 這里可以讀 msg但不能修改 msg cout msg.length() msg endl; } int main() { string s GESP; printMessage(s); // 可以傳變量 printMessage(C); // 也可以直接傳常量字符串 return 0; }const string msg這樣寫有三層好處第一函數(shù)內(nèi)不能通過msg修改實參第二傳參時不發(fā)生拷貝第三它能綁定臨時對象和字面量因為常量引用對臨時對象是開放的。普通引用string msg是綁定不了C這種常量字符串的因為字面量不是可修改的左值。這一點在選擇題里經(jīng)常出現(xiàn)問哪個調(diào)用編譯報錯答案往往就藏在這里。我給學(xué)生的記憶口訣是能修改且希望修改實參用普通引用只讀且數(shù)據(jù)量較大用常量引用處理基本類型的小數(shù)據(jù)且不需要回傳結(jié)果用值傳遞就夠了。后面在第四部分我還會結(jié)合GESP四級的出題習(xí)慣把這個選擇邏輯再展開講。3. 指針傳遞手動管理地址的另一種選擇3.1 指針作為形參的本質(zhì)引用傳遞雖然好用但C里還有一套更底層的傳參方案——指針傳遞。注意“指針傳遞”本身依然是一種值傳遞只不過傳遞的值是“地址”?？催@個交換函數(shù)#include iostream using namespace std; void swap(int *x, int *y) { int tmp *x; *x *y; *y tmp; } int main() { int a 3, b 5; swap(a, b); cout a b endl; // 輸出 5 3 return 0; }調(diào)用時寫作swap(a, b)把a(bǔ)的地址和b的地址分別傳進(jìn)去。形參類型是int *x這意味著x是一個指針變量它保存了a的地址。函數(shù)里寫*x *y是取出指針指向的內(nèi)存并賦值真正改變的是a處的值。所以交換能成功。初學(xué)者最容易混淆的是“改變指針本身”和“改變指針指向的內(nèi)容”。如果函數(shù)內(nèi)只寫x y那只是讓形參指針x的指向變成了y的位置外部實參指針不會發(fā)生變化。真正影響外部的是*x *y這種通過地址修改內(nèi)存的操作。在GESP四級的讀程序題里這是一個出現(xiàn)頻率很高的辨析點。3.2 什么時候需要二級指針或指針引用的形式既然指針作為形參是“按值傳地址”那如果函數(shù)內(nèi)部想修改指針本身讓它指向另一個對象普通的指針形參就不夠了。這里需要二級指針或者一級指針的引用。比如#include iostream using namespace std; void changeToZero(int **p) { static int value 0; *p value; // 讓實參指針指向 value } int main() { int x 123; int *q x; changeToZero(q); cout *q endl; // 輸出 0 return 0; }調(diào)用時把q的地址傳給pp的類型是int **。*p value的意思是修改p所指向的那個指針變量也就是修改q讓q指向value。如果用int *p作形參寫法是changeToZero(q)語義差不多但更容易理解。到底是考二級指針還是指針引用取決于題目風(fēng)格但核心考點只有一個要改“指針本身”就得把這個指針的地址傳進(jìn)來或者在傳參聲明中加上引用。3.3 指針與引用的對比一張表看清選擇邏輯在學(xué)習(xí)階段很多同學(xué)喜歡問“到底用指針還是引用”。我的建議是動態(tài)場景和可選參數(shù)多用指針配合操作符-訪問成員常規(guī)函數(shù)傳參只要不是歷史代碼風(fēng)格限制優(yōu)先用引用。兩者的關(guān)鍵差異可以從下表看出來對比維度引用指針語法形式int r a;int *p a;訪問方式直接用r用*p是否可以為空不可以必須初始化可以為空需要判空是否能重新指向否是底層實現(xiàn)通常編譯為指針常量保存地址的變量安全性相對安全受編譯器約束更靈活容易出錯適合場景函數(shù)參數(shù)、運算符重載動態(tài)數(shù)據(jù)結(jié)構(gòu)、遍歷數(shù)組指針給出的是“可控的間接性”允許為空、允許改變方向所以寫鏈表、樹這些動態(tài)結(jié)構(gòu)時指針必不可少。引用給出的則是“強(qiáng)制綁定某個對象”一旦綁定就專一因此作為函數(shù)參數(shù)反而更省心。如果拿不準(zhǔn)用哪個我建議四級備考階段優(yōu)先理解和掌握引用因為考試中的填空題、改錯題更喜歡考察引用的邊界條件比如能不能傳常量、能不能修改綁定關(guān)系。另外指針是變量它有自己的地址還可以被指針指向這就是二級指針的來源。引用則不是對象不具備“引用的引用”這種天然嵌套關(guān)系雖然有引用折疊等語言細(xì)節(jié)但四級不涉及這也是兩者在類型系統(tǒng)里的本質(zhì)差別之一。3.4 空指針與野指針最容易讓內(nèi)存操作翻車的隱患指針模式還有一個繞不開的坎空指針和野指針。函數(shù)接收一個指針參數(shù)時先判斷它是否為nullptr再解引用是一種基本素養(yǎng)。比如void safePrint(int *p) { if (p nullptr) { cout null endl; return; } cout *p endl; }如果不做判空傳入nullptr程序執(zhí)行到*p時可能直接崩潰。野指針則是指針保存了已經(jīng)被釋放的內(nèi)存地址再通過它訪問數(shù)據(jù)屬于未定義行為。在考試題目里這類問題可能以“程序會不會報錯”“哪一行有邏輯錯誤”的形式出現(xiàn)不會要求你查內(nèi)存但正確判斷的前提是理解指針形參拿到的是地址要小心地址指向的存儲空間是否合法。動態(tài)分配的內(nèi)存用完要釋放這也是新標(biāo)準(zhǔn)下的基本要求。4. GESP四級真正愛考的傳參組合點數(shù)組、常量與默認(rèn)參數(shù)4.1 數(shù)組傳參函數(shù)參數(shù)里的數(shù)組為什么不是數(shù)組GESP四級的函數(shù)題里數(shù)組傳參是重頭戲。很多同學(xué)在函數(shù)里寫int arr[]或int arr[10]潛意識里以為把數(shù)組整個傳進(jìn)去了。事實并非如此數(shù)組名在作為實參傳給函數(shù)時會退化為指向首元素的指針。來看這段代碼#include iostream using namespace std; double avg(int scores[], int n) { int sum 0; for (int i 0; i n; i) { sum scores[i]; } return double(sum) / n; } int main() { int a[] {88, 92, 76, 65}; cout avg(a, 4) endl; // 輸出 80.25 return 0; }形參int scores[]只是語法糖實際含義相當(dāng)于int *scores。正因為數(shù)組退化成指針函數(shù)內(nèi)部拿不到數(shù)組長度所以必須額外傳一個n。這也是GESP四級考題里“寫出缺失參數(shù)”這類題目的常見來源。要是有人腦筋沒轉(zhuǎn)過彎想在函數(shù)里用sizeof(scores) / sizeof(scores[0])求數(shù)組長度在64位系統(tǒng)上sizeof(scores)得到的是8指針大小除以4得到2完全不靠譜。正確的長度信息要從外部傳進(jìn)來。另外二維數(shù)組作為參數(shù)時除第一維外其余維度必須顯式給出因為編譯器需要知道每一行有多少列才能正確計算偏移量比如void showMatrix(int mat[3][4], int rows) { for (int i 0; i rows; i) { for (int j 0; j 4; j) { cout mat[i][j] ; } cout endl; } }這種寫法比較死板也可以用int (*mat)[4]表示指向含4個整數(shù)的數(shù)組的指針。二者語義一致考試中經(jīng)常互換考察。4.2 全局?jǐn)?shù)組與局部數(shù)組傳參時的生命周期陷阱有一類題目專門考驗“函數(shù)結(jié)束后數(shù)組是否還存在”。如果數(shù)組是在函數(shù)內(nèi)部定義的局部變量函數(shù)返回后數(shù)組空間就失效了絕對不要把這個局部數(shù)組的地址返回給外部使用。例如int *badFunc() { int arr[3] {1, 2, 3}; return arr; // 返回時 arr 已失效隱患很大 }這個函數(shù)返回的指針指向一塊已經(jīng)失效的棧內(nèi)存外部再去訪問就是未定義行為。正確做法是把結(jié)果通過參數(shù)數(shù)組帶回或者在函數(shù)內(nèi)部用new[]動態(tài)分配并約定好由調(diào)用者釋放。考試中見到“函數(shù)返回局部數(shù)組首地址”的判斷正誤題一律給定為主。反過來如果數(shù)組定義在函數(shù)外的全局區(qū)它的生命周期貫穿整個程序函數(shù)內(nèi)可以直接訪問。但全局?jǐn)?shù)組會破壞函數(shù)的獨立性不建議在GESP備考練習(xí)中用它代替數(shù)組傳參?？荚囎钕Ｍ吹降哪芰κ浅Ｒ?guī)傳值、傳數(shù)組名、傳長度參數(shù)組合使用完成統(tǒng)計或修改任務(wù)。4.3 const引用與默認(rèn)參數(shù)在傳參中的應(yīng)用前面我們提到const T 能防止修改、避免拷貝、接受常量字面量。到了GESP四級這個知識點常常和默認(rèn)參數(shù)、函數(shù)重載放在一起考。看一個組合題目#include iostream using namespace std; int add(int a, int b 100) { return a b; } int add(int a, int b) { // 這種重載聲明合法嗎 b a; return b; } int main() { int x 1; cout add(x) endl; // 該調(diào)用會產(chǎn)生什么歧義 return 0; }兩個add都接受一個int參數(shù)時明顯是二義性調(diào)用編譯會報錯。另外一個更隱蔽的坑是普通引用不能綁定常量。如果函數(shù)聲明是int add(int a, int b)調(diào)用時寫add(1, 2)是非法的因為2是一個臨時對象不是可修改的左值。把它改成int add(int a, const int b)一切又正常了。所以做這一類題目時第一步看形參聲明第二步看實參到底是變量還是常量第三步判斷可不可以綁。默認(rèn)參數(shù)也常和傳參方式糾纏在一起。默認(rèn)參數(shù)只能放在形參列表的最后不能出現(xiàn)“一個帶默認(rèn)值、一個不帶默認(rèn)值”交錯排列的情況。比如void f(int x, int y 1, int z 1)合法而void f(int x 1, int y, int z 1)不合法。調(diào)用f(2)時會自動執(zhí)行x2, y1, z1但注意默認(rèn)值和實參結(jié)合時仍然遵循傳參方式如果某個形參是引用類型默認(rèn)值也必須是可以被綁定成引用的左值表達(dá)式否則無法通過編譯。4.4 結(jié)構(gòu)體對象傳參值、引用和指針三類寫法都要能看懂四級考試有時會把結(jié)構(gòu)體或類對象作為函數(shù)參數(shù)。假設(shè)定義了一個記錄學(xué)生成績的結(jié)構(gòu)體分別用三種方式傳參考點就很清晰值傳遞會完整復(fù)制整個結(jié)構(gòu)體適合小對象但開銷較大引用傳遞直接操作原對象可以修改且省去拷貝const引用則只能讀取不能修改指針傳遞的空間開銷最小但要記得用-訪問成員。實際考試?yán)锊粫竽惚容^性能而是讓你判斷某個成員變量的修改是否會反映到主函數(shù)。我的建議是做到“看一眼形參就知道修改能不能帶回”形參沒有沒有*修改就帶不回有引用直接改原對象有指針通過解引用修改的內(nèi)容能帶回。這里有一個結(jié)構(gòu)體傳參的參考示例#include iostream using namespace std; struct Score { int chinese; int math; }; void setMath(Score s, int value) { s.math value; } int main() { Score stu {88, 92}; setMath(stu, 100); cout stu.math endl; // 輸出 100 return 0; }假如把setMath的形參改成Score s那么主函數(shù)里的stu.math還是原來的92。這個區(qū)別就是一道標(biāo)準(zhǔn)的判斷題。5. 易錯題形態(tài)與考前自查清單怎么把這些知識點變成分?jǐn)?shù)5.1 三類高頻題型的解題邏輯GESP四級的函數(shù)傳參部分題型主要分成三類。第一類是“讀程序?qū)戄敵觥苯o你一段完整的程序讓你寫出運行結(jié)果。這時候我建議按三個步驟執(zhí)行先圈出所有函數(shù)調(diào)用語句再看形參聲明判斷傳參方式最后沿著函數(shù)體追蹤實參的變化。只要把這個流程走一遍基本不會錯。第二類是“補(bǔ)全代碼”函數(shù)體內(nèi)有空位給你一組選項。選項之間往往只有一個或*的區(qū)別。做題時先判斷這個空位是在函數(shù)定義處還是調(diào)用處再結(jié)合上下文找線索如果調(diào)用語句里實參前面有說明實參傳的是地址形參很可能是指針調(diào)用處也對應(yīng)傳地址如果實參直接寫變量名且題目要求在函數(shù)里修改這個變量那形參多半是引用。這種“看調(diào)用倒推聲明”的思路比死記硬背效率高很多。第三類是“判斷正誤”陳述某種寫法的合法性。最容易出錯的點包括普通引用能否綁定常量、const引用能否修改內(nèi)容、參數(shù)默認(rèn)值的位置是否合法、數(shù)組參數(shù)能否直接取到長度、指針參數(shù)需不需要判空。下面這張表是我平時復(fù)習(xí)用的小結(jié)可以直接保存下來對照。命題場景結(jié)論理解要點void f(int x); f(5);不合法5不能綁定普通引用void f(const int x); f(5);合法常量引用允許臨時對象void f(int x 5, int y);不合法默認(rèn)參數(shù)必須連續(xù)放在末尾void f(int arr[], int n);內(nèi)求sizeof(arr)結(jié)果不是數(shù)組長度形參退化為指針函數(shù)返回局部數(shù)組首地址危險行為局部數(shù)組生命周期已結(jié)束swap(int *x, int *y)內(nèi)寫x y不改變外面指針指針本身按值傳遞改變指向內(nèi)容才有效5.2 一道綜合模擬題的完整分析把上面所有內(nèi)容綜合起來可以直接拿下面這個例子當(dāng)自測題#include iostream using namespace std; void change(int a, int b, int *c) { a 10; b 10; *c 10; } int main() { int x 1, y 1, z 1; change(x, y, z); cout x y z endl; return 0; }第一步調(diào)用change(x, y, z)時實參分別是x的值、y的引用、z的地址。第二步進(jìn)入函數(shù)a 10修改的是形參副本不影響外面的xb 10通過引用修改了y本體*c 10通過地址修改了z本體。第三步結(jié)果應(yīng)當(dāng)是1 11 11。這種題目如果答錯往往不是不會寫代碼而是一開始沒有把“哪個參數(shù)是引用、哪個參數(shù)是地址”看清楚。把這三步養(yǎng)成習(xí)慣綜合題就變成了送分題。5.3 考前傳參專項練習(xí)方案如果你距離考試還有兩到三周可以做一個專項練習(xí)每天手寫四個小函數(shù)并運行驗證分別是“交換兩個整數(shù)”“把數(shù)組的偶數(shù)全部翻倍”“求字符串中某個字符出現(xiàn)的次數(shù)用常量引用”“讓指針指向外部某個變量用二級指針或指針引用”。這四個任務(wù)剛好覆蓋值傳遞、引用傳遞、const引用、指針傳遞的全部核心場景。寫完以后把每個函數(shù)的形參和實參都大聲讀一遍說出“誰是拷貝、誰是別名、誰是地址”這一關(guān)過了傳參這塊基本就是穩(wěn)的。我在實際教學(xué)里發(fā)現(xiàn)學(xué)生出錯最多的地方其實不是語法而是“腦子里沒有內(nèi)存圖”。函數(shù)調(diào)用時系統(tǒng)會為每個形參分配獨立空間引用只是換了個標(biāo)簽地址則是一個數(shù)字型的方向標(biāo)。只要每次遇到傳參問題都在草稿紙上畫出實參、形參、地址的對應(yīng)關(guān)系讀程序題的正確率會明顯提升。如果時間更充裕還可以自己改造題目把一個正確答案改成錯誤答案比如把引用傳遞改成值傳遞然后對比運行結(jié)果體會“少了一個會發(fā)生什么”。這種對比實驗看似簡單但對加深理解很有幫助因為考試中大量出錯點恰恰就藏在這些不起眼的符號差異里。我自己帶學(xué)生復(fù)習(xí)時經(jīng)常讓他們故意寫錯一個版本再跑一遍親眼看到報錯和錯誤輸出比單純講解十遍更容易記住。到這里函數(shù)參數(shù)的傳參方式第二部分基本講完了。剩下的事情就是打開編譯器把這些示例代碼逐個敲一遍然后把那些你第一次做錯的題目記錄下來考前再翻一遍。傳參方式雖然只是C函數(shù)機(jī)制的一小塊但它決定了函數(shù)和外部世界怎么交換信息理解到位以后后面學(xué)遞歸、學(xué)鏈表操作、學(xué)STL源碼中的各種接口都會順暢很多。