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