嵌入式方向的C語(yǔ)言面試指針這塊幾乎是必考區(qū)而且面試官特別喜歡從各種刁鉆角度來(lái)驗(yàn)證你是不是真的懂而不是背了幾道題。我在招人時(shí)也經(jīng)常問(wèn)指針相關(guān)的問(wèn)題說(shuō)實(shí)話能把這個(gè)話題講透的候選人基礎(chǔ)功基本都扎實(shí)后續(xù)帶起來(lái)也省心。這篇文章就把指針、數(shù)組、野指針、引用這幾個(gè)高頻考點(diǎn)放在一起做個(gè)系統(tǒng)梳理結(jié)合這些年我在面試中和實(shí)際開(kāi)發(fā)里遇到的真實(shí)場(chǎng)景來(lái)聊希望能幫準(zhǔn)備面試的朋友把這條線徹底打通。1. 指針變量本身面試官繞不過(guò)去的第一道坎很多人覺(jué)得指針難其實(shí)指針的概念本身并不復(fù)雜復(fù)雜的是它和其他語(yǔ)法特性交織在一起時(shí)產(chǎn)生的各種組合變化。面試官問(wèn)指針第一步通常是想確認(rèn)你對(duì)指針變量的本質(zhì)有清晰認(rèn)知。1.1 指針變量也是變量存的不是值而是地址指針變量首先是一個(gè)變量它也需要占用內(nèi)存空間只不過(guò)它里面存的東西比較特殊——不是普通的數(shù)據(jù)而是另一個(gè)變量的地址。這就像你用手機(jī)通訊錄存了一個(gè)朋友的電話號(hào)碼通訊錄的名字是指針變量電話號(hào)碼是地址你通過(guò)這個(gè)電話可以聯(lián)系到朋友就像通過(guò)指針可以訪問(wèn)到目標(biāo)變量。這里有一個(gè)面試官特別愛(ài)問(wèn)的細(xì)節(jié)指針變量本身占多大內(nèi)存在32位系統(tǒng)上地址總線是32根所以一個(gè)指針變量占4字節(jié)在64位系統(tǒng)上指針變量占8字節(jié)。這個(gè)和指針指向的數(shù)據(jù)類型無(wú)關(guān)——不管你指向的是char、int還是一個(gè)結(jié)構(gòu)體指針變量本身的大小只跟平臺(tái)位數(shù)有關(guān)。很多初學(xué)者會(huì)以為int*比char*占的內(nèi)存大這是錯(cuò)誤的理解。#include stdio.h int main(void) { char *p_char NULL; int *p_int NULL; double *p_double NULL; struct Test *p_struct NULL; printf(char pointer: %zu bytes\n, sizeof(p_char)); printf(int pointer: %zu bytes\n, sizeof(p_int)); printf(double pointer: %zu bytes\n, sizeof(p_double)); printf(struct pointer: %zu bytes\n, sizeof(p_struct)); return 0; }我在面試中加了這個(gè)問(wèn)題后大概有七成候選人能答出“跟平臺(tái)有關(guān)”但能準(zhǔn)確補(bǔ)一句“指針大小和指向類型無(wú)關(guān)”的人就少一些。這句話雖然簡(jiǎn)短但說(shuō)明他對(duì)指針的存儲(chǔ)模型是真的理解了而不是背過(guò)結(jié)論。1.2 指針的類型決定讀寫的邊界既然指針變量存的是地址那為什么還要區(qū)分int*、char*、double*呢這就要說(shuō)到指針類型的兩層含義了解引用時(shí)讀多少字節(jié)int*解引用讀4字節(jié)char*解引用讀1字節(jié)double*解引用讀8字節(jié)。步長(zhǎng)指針加減時(shí)的跨度p 1跳過(guò)的字節(jié)數(shù)等于sizeof(指向類型)。這兩點(diǎn)是面試必考方向往往會(huì)通過(guò)sizeof和自增運(yùn)算來(lái)命題。比如下面這段代碼讓你猜輸出int arr[5] {10, 20, 30, 40, 50}; int *p arr; int *p2 arr[2]; printf(%d\n, *p); // 10 printf(%d\n, *(p 1)); // 20 printf(%d\n, p2 - p); // 2 printf(%ld\n, (char*)p2 - (char*)p); // 8p2 - p的結(jié)果是2因?yàn)橹羔槣p法的單位是“元素個(gè)數(shù)”不是字節(jié)數(shù)但強(qiáng)轉(zhuǎn)成char*再減結(jié)果就是8字節(jié)。這種題目在筆試題里非常多見(jiàn)本質(zhì)就是考察指針運(yùn)算的步長(zhǎng)概念。注意指針減法只有在兩個(gè)指針指向同一個(gè)數(shù)組或者同一個(gè)內(nèi)存區(qū)域時(shí)才有定義。兩個(gè)無(wú)關(guān)的指針做減法結(jié)果未定義這一點(diǎn)面試官可能作為加分追問(wèn)。1.3 指針的三種修飾const在不同位置的含義const和指針的組合很容易把人繞暈我用一套簡(jiǎn)單的方法教大家區(qū)分看const和*的相對(duì)位置。const在*左邊說(shuō)明指向的是常量值不能改const在*右邊說(shuō)明指針本身是常量地址不能改。const int *p; // 指向常量的指針p可以改*p不可以改 int const *p; // 同上這種寫法少見(jiàn) int *const p; // 常量指針p不可以改*p可以改 const int *const p; // 兩者都不可改面試時(shí)我一般不會(huì)直接問(wèn)定義而是給一段代碼問(wèn)哪里編譯報(bào)錯(cuò)。比如const int a 100; int *p a; // 編譯警告/錯(cuò)誤a的類型是const int*不能直接賦給int*。這一點(diǎn)很多人會(huì)忽略但它背后是C語(yǔ)言的類型安全機(jī)制——如果你能用普通指針去改一個(gè)const變量的值const就形同虛設(shè)了。嵌入式開(kāi)發(fā)中const常用于定義只讀參數(shù)表、代碼段中的常量數(shù)據(jù)用好它可以有效防止誤改。2. 數(shù)組和指針的等價(jià)與不等價(jià)經(jīng)典考題背后的本質(zhì)數(shù)組和指針經(jīng)常被拿來(lái)一起討論主要是因?yàn)閮烧咴诮^大多數(shù)語(yǔ)境下可以等價(jià)使用。但等價(jià)是有條件的面試官挖的坑往往就在那些不能等價(jià)的地方。2.1 數(shù)組名的雙重身份數(shù)組名這個(gè)符號(hào)很特殊它既是整個(gè)數(shù)組的標(biāo)識(shí)符又在多數(shù)表達(dá)式中隱式轉(zhuǎn)換為首元素地址。這就是“數(shù)組名可以賦值給指針”的根本原因。int arr[5]; int *p1 arr; // 等價(jià)于 int *p1 arr[0] int *p2 arr[0]; // 這是顯式寫法兩者的區(qū)別在于arr類型是int[5]隱式轉(zhuǎn)換后才是int*。在需要整個(gè)數(shù)組類型的語(yǔ)境下數(shù)組名不能當(dāng)作指針用sizeof(arr)的結(jié)果是整個(gè)數(shù)組的字節(jié)數(shù)5 * 4 20不是指針的大小。arr的類型是int(*)[5]指向整個(gè)數(shù)組的指針不是一個(gè)普通的int**。我在面試中經(jīng)常出這樣一道題int arr[5] {0}; int *p arr; printf(%p\n, (void*)arr); // 假設(shè)輸出 0x1000 printf(%p\n, (void*)(arr 1)); // 0x1004跳過(guò)4字節(jié) printf(%p\n, (void*)(arr 1)); // 0x1014跳過(guò)整個(gè)數(shù)組20字節(jié)第一次答對(duì)的人不少但能把第三個(gè)講清楚的不多。arr 1跨過(guò)的是整個(gè)數(shù)組這在分配二維數(shù)組內(nèi)存、做緩沖區(qū)對(duì)齊時(shí)非常有用。嵌入式開(kāi)發(fā)中處理DMA緩沖區(qū)、外設(shè)寄存器映射時(shí)經(jīng)常用到這種技巧。2.2 指針數(shù)組 vs 數(shù)組指針這兩個(gè)概念在面試中幾乎是必問(wèn)指針數(shù)組本質(zhì)是數(shù)組數(shù)組里存的是指針。定義形式是int *p_arr[5]。數(shù)組指針本質(zhì)是指針指向一個(gè)數(shù)組。定義形式是int (*p_arr)[5]。記住一個(gè)口訣先看右側(cè)再看左側(cè)。int *p_arr[5]中p_arr先和[5]結(jié)合說(shuō)明它是數(shù)組元素類型是int*int (*p_arr)[5]中括號(hào)讓p_arr先和*結(jié)合說(shuō)明它是指針指向一個(gè)長(zhǎng)度為5的int數(shù)組。指針數(shù)組在實(shí)際開(kāi)發(fā)中用得很廣最典型的場(chǎng)景是命令行參數(shù)表、菜單表、鍵值對(duì)映射表。嵌入式里做命令解析我經(jīng)常用指針數(shù)組來(lái)保存命令字符串const char *cmd_table[] { help, reset, version, NULL // 哨兵 };遍歷時(shí)只需要循環(huán)到NULL為止不需要額外記錄長(zhǎng)度非常方便。而且用const修飾確保只讀。2.3 二維數(shù)組傳參降維打擊的尺寸之謎二維數(shù)組傳到函數(shù)里第一維的維度是可以省略的但第二維必須寫清楚因?yàn)榫幾g器需要知道每一行的步長(zhǎng)。這也是面試官愛(ài)挖的坑。void func1(int a[][4]) { // 合法 } void func2(int (*a)[4]) { // 合法和上面完全等價(jià) } void func3(int **a) { // 不合法類型不匹配 }很多人搞不清楚第三個(gè)為什么不行因?yàn)槎S數(shù)組在內(nèi)存里是連續(xù)排列的線性結(jié)構(gòu)a[i][j]的地址是通過(guò)base i * 列數(shù) j算出來(lái)的編譯器必須知道列數(shù)。而int**表示的是“指向指針的指針”它默認(rèn)內(nèi)存模型是“指針數(shù)組的數(shù)組”即先通過(guò)第一個(gè)指針跳轉(zhuǎn)到一行再通過(guò)第二個(gè)指針跳轉(zhuǎn)到元素這和二維數(shù)組的存儲(chǔ)模型完全不同。我見(jiàn)過(guò)不少候選人在這個(gè)點(diǎn)上卡殼明明平時(shí)寫過(guò)二維數(shù)組的程序但讓他傳參就懵了。提示如果要傳“動(dòng)態(tài)生成的二維數(shù)組”也就是手動(dòng)malloc出來(lái)的指針數(shù)組那確實(shí)可以用int**來(lái)傳但這時(shí)的內(nèi)存模型和二維數(shù)組完全不同不能混為一談。這個(gè)區(qū)別是面試官常埋的雷答的時(shí)候要區(qū)分清楚。2.4 面試真題用指針實(shí)現(xiàn)數(shù)組反轉(zhuǎn)這種題其實(shí)考察的不是算法而是你能不能自然地使用指針操作。我最常見(jiàn)到下面這種寫法void reverse_array(int *arr, int n) { int *left arr; int *right arr n - 1; while (left right) { int tmp *left; *left *right; *right tmp; left; right--; } }這個(gè)解法本身沒(méi)什么稀奇考察的是兩個(gè)細(xì)節(jié)arr n - 1能不能準(zhǔn)確定位到最后一個(gè)元素這取決于對(duì)“數(shù)組越界一位”的理解——數(shù)組中最后一個(gè)合法元素是arr n - 1arr n是越界的但C標(biāo)準(zhǔn)允許指針指向數(shù)組結(jié)尾后一位只允許比較和減法不允許解引用。left和right用的是元素地址的移動(dòng)而不是下標(biāo)操作。你可以看到實(shí)現(xiàn)里沒(méi)有任何一個(gè)[i]全程都靠指針自增自減——這就是“指針?biāo)季S”。3. 野指針很多崩潰問(wèn)題的根源藏在它這里野指針這個(gè)詞在面試?yán)飵缀跏潜貑?wèn)而且面試官不只是讓你背定義他更想聽(tīng)你怎么排查、怎么預(yù)防。因?yàn)橐爸羔樦苯雨P(guān)系到嵌入式系統(tǒng)的穩(wěn)定性——一個(gè)崩潰可能就發(fā)生在斷電重啟、誤操作寄存器之后很難復(fù)現(xiàn)。3.1 野指針的三類來(lái)源當(dāng)面試官問(wèn)“野指針是什么”的時(shí)候建議不要只背一個(gè)定義直接把三類來(lái)源講清楚會(huì)顯得你經(jīng)驗(yàn)豐富來(lái)源一未初始化的指針int *p; *p 100; // p未被賦值指向未知內(nèi)存寫入行為未定義局部變量的值是隨機(jī)的不能被當(dāng)作有效地址來(lái)用。這個(gè)問(wèn)題的根源是沒(méi)有給指針一個(gè)明確的初值。C語(yǔ)言不會(huì)自動(dòng)幫你把指針初始化為NULL這跟很多高級(jí)語(yǔ)言不一樣。來(lái)源二指向已釋放的內(nèi)存懸空指針int *p malloc(sizeof(int) * 10); free(p); // p 還保留著原來(lái)地址但內(nèi)存已被釋放 *p 5; // 這是典型的 use-after-freefree(p)之后p并沒(méi)有變成NULL它仍然指向那塊地址。但地址上的內(nèi)存已經(jīng)被歸還給堆管理器了可能被重新分配也可能還沒(méi)被寫保護(hù)。對(duì)它的訪問(wèn)是未定義行為——輕則讀到臟數(shù)據(jù)重則導(dǎo)致二次崩潰。來(lái)源三返回局部變量地址int* get_value(void) { int val 42; return val; // 嚴(yán)重錯(cuò)誤val在函數(shù)返回時(shí)銷毀 }val是棧上的局部變量函數(shù)返回時(shí)棧幀被銷毀但仍保留著殘值。返回的指針指向的是“已死”的棧內(nèi)存這種環(huán)境極其隱蔽——有時(shí)候調(diào)試模式下它還能“碰巧”工作因?yàn)闂？臻g沒(méi)有被立即覆蓋但一換編譯器優(yōu)化等級(jí)或者函數(shù)調(diào)用鏈立刻崩給你看。3.2 野指針排查從崩潰現(xiàn)場(chǎng)倒推問(wèn)題嵌入式產(chǎn)品如果出現(xiàn)偶發(fā)死機(jī)復(fù)位后發(fā)現(xiàn)PC指針跳到非法地址很多情況都是野指針導(dǎo)致的。排查野指針不能靠肉眼瞪代碼要有系統(tǒng)方法。我自己的經(jīng)驗(yàn)是分幾步走打開(kāi)編譯器警告至少打開(kāi)-Wall推薦-Wextra很多未初始化賦值問(wèn)題編譯器能直接報(bào)出來(lái)。地址類崩潰先看調(diào)用棧如果崩潰在某個(gè)地址寫操作上先用調(diào)試器看當(dāng)前PC指向哪段函數(shù)再看?；胤耪业阶詈笠淮螌?duì)指針賦值的位置?？s小范圍用“哨兵法”在可疑內(nèi)存區(qū)域前后填充特殊值比如0xAA、0x55崩潰后查看內(nèi)存是否被破壞。如果發(fā)現(xiàn)0xAA區(qū)域被改寫就能確定是緩沖區(qū)越界或野指針寫入了。善用調(diào)試器的硬件斷點(diǎn)和內(nèi)存訪問(wèn)斷點(diǎn)在嵌入式調(diào)試器比如J-Link、ST-Link的配套工具里可以對(duì)某塊內(nèi)存設(shè)訪問(wèn)斷點(diǎn)一旦有代碼讀寫這塊內(nèi)存就自動(dòng)停下直接抓到罪魁禍?zhǔn)?。這個(gè)“從崩潰現(xiàn)場(chǎng)倒推”的能力是區(qū)分有經(jīng)驗(yàn)和沒(méi)經(jīng)驗(yàn)工程師的重要分水嶺。3.3 防御野指針的實(shí)戰(zhàn)習(xí)慣有些候選人會(huì)問(wèn)我實(shí)際項(xiàng)目里怎么防止野指針這其實(shí)是個(gè)很好的加分區(qū)問(wèn)題。我的習(xí)慣是聲明指針時(shí)立即初始化要么賦有效地址要么置為NULL絕對(duì)不留未初始化的指針。釋放后立即置NULLfree(p); p NULL;這樣下次誤用*p時(shí)至少在大多數(shù)平臺(tái)上會(huì)因?yàn)樵L問(wèn)NULL地址而立刻崩潰便于快速定位。雖然這不能根治但比懸空指針好排查一萬(wàn)倍。封裝內(nèi)存分配與釋放在嵌入式團(tuán)隊(duì)里我會(huì)建議做一個(gè)內(nèi)存管理封裝釋放函數(shù)里做二次釋放檢測(cè)。比如void safe_free(void **ptr) { if (ptr *ptr) { free(*ptr); *ptr NULL; } }調(diào)用時(shí)寫成safe_free((void**)p);這樣每個(gè)釋放點(diǎn)都強(qiáng)制置NULL。這些習(xí)慣聽(tīng)著簡(jiǎn)單但在實(shí)際項(xiàng)目里能攔截住大量隱性bug。面試時(shí)能主動(dòng)說(shuō)出這些實(shí)踐細(xì)節(jié)比單純背“野指針是不能用的指針”要加分得多。4. 從指針到引用C面試?yán)锏某Ｒ?jiàn)變體嵌入式崗位如果要求C引用這個(gè)考點(diǎn)也跟著出來(lái)了而且面試官很愛(ài)把你繞進(jìn)“引用和指針的區(qū)別”里。4.1 引用的本質(zhì)一個(gè)不能改綁定的“別名”引用在底層實(shí)現(xiàn)上就是一個(gè)指針絕大多數(shù)編譯器里引用和指針的匯編代碼是一樣的。但語(yǔ)言層面上引用比指針做了更多約束引用必須在定義時(shí)初始化不能先聲明再賦值。引用一旦綁定到某個(gè)變量就不能再改綁到其他變量。對(duì)引用取地址得到的是目標(biāo)變量的地址而不是引用本身。int a 10; int b 20; int ref a; // ref 是 a 的別名 ref b; // 這個(gè)操作相當(dāng)于 a ba變成20但ref仍然綁定a printf(a %d\n, a); // 20 printf(b %d\n, b); // 20很多人會(huì)誤以為ref b把引用重新綁定到了b其實(shí)沒(méi)有。這是面試?yán)镒钊菀壮鲥e(cuò)的點(diǎn)。4.2 引用做函數(shù)參數(shù)解決“按值傳遞的拷貝開(kāi)銷”為什么C里推薦用引用傳參因?yàn)镃語(yǔ)言里函數(shù)傳參默認(rèn)是值傳遞傳一個(gè)大的結(jié)構(gòu)體時(shí)需要整體拷貝一遍性能很低。引用傳參在語(yǔ)法上像值傳遞一樣自然但底層傳的是地址不需要拷貝。typedef struct { int id; char name[64]; float values[32]; } SensorData; // C風(fēng)格寫法 void process_data_c(SensorData *d) { d-id 100; // ... } // C引用風(fēng)格寫法 void process_data_cpp(SensorData d) { d.id 100; // ... }引用寫法免去了-箭頭操作符代碼可讀性更好。但要注意如果函數(shù)內(nèi)部不允許修改這個(gè)參數(shù)一律用const引用void print_sensor_info(const SensorData d) { printf(id: %d\n, d.id); // d.id xxx; // 編譯報(bào)錯(cuò)不允許修改 }const T在C里還有一個(gè)很妙的作用——可以綁定臨時(shí)對(duì)象和字面量這為后面聊移動(dòng)語(yǔ)義、完美轉(zhuǎn)發(fā)做了鋪墊。4.3 左值引用 vs 右值引用C11之后的加分項(xiàng)提到引用有經(jīng)驗(yàn)的面試官可能會(huì)追問(wèn)C11之后的右值引用因?yàn)榍度胧綇臉I(yè)者現(xiàn)在用C17、C20做項(xiàng)目的人越來(lái)越多了。簡(jiǎn)單區(qū)分一下左值引用T只能綁定左值有名字、能取地址的東西。右值引用T可以綁定右值臨時(shí)對(duì)象、字面量、函數(shù)返回的臨時(shí)值。int a 10; int ref a; // 正確a是左值 int rref a; // 錯(cuò)誤不能把左值綁定到右值引用 int rr 10; // 正確10是右值右值引用主要用于實(shí)現(xiàn)移動(dòng)語(yǔ)義和完美轉(zhuǎn)發(fā)。在嵌入式里最典型的場(chǎng)景就是避免容器的重復(fù)拷貝。比如一個(gè)std::vectoruint8_t作為函數(shù)返回值沒(méi)有移動(dòng)語(yǔ)義時(shí)會(huì)拷貝整個(gè)緩沖區(qū)有了移動(dòng)語(yǔ)義直接“偷走”內(nèi)部指針幾乎零開(kāi)銷。面試官如果跟你聊到智能指針那又是另一塊內(nèi)容了。std::unique_ptr、std::shared_ptr、std::weak_ptr本質(zhì)上就是“帶自動(dòng)管理生命周期的指針”很多嵌入式項(xiàng)目現(xiàn)在也大量使用因?yàn)樗鼈兡茉诰幾g期就幫你干掉大部分內(nèi)存泄漏和懸空指針問(wèn)題。4.4 區(qū)分“傳引用”和“傳指針”的工程決策雖然引用在C里是推薦方式但嵌入式代碼里不能一概而論要看場(chǎng)景。我們項(xiàng)目中有一個(gè)不成文的約定如果參數(shù)是一個(gè)“必須存在”的對(duì)象優(yōu)先用引用省去判空。如果參數(shù)“可能為空”必須用指針因?yàn)橐脹](méi)有NULL狀態(tài)無(wú)法表達(dá)“不傳”的語(yǔ)義。如果參數(shù)是普通數(shù)據(jù)類型int、float且不需要修改直接用值傳遞連引用都不用。如果需要在函數(shù)里申請(qǐng)資源并返還給調(diào)用者用二級(jí)指針或者引用但務(wù)必要約定好誰(shuí)來(lái)釋放。比如下面的用引用做輸出參數(shù)的風(fēng)格在C里很常見(jiàn)void parse_frame(const uint8_t *data, size_t len, size_t consumed) { consumed 0; // ... }consumed用引用傳出來(lái)調(diào)用方不需要手動(dòng)取地址代碼看起來(lái)更清爽。但在C接口里我們還是習(xí)慣用size_t *consumed因?yàn)橐嫒軨也方便調(diào)用方一眼看出這是輸出參數(shù)。5. 考點(diǎn)串聯(lián)幾道經(jīng)典綜合題帶你走一遍完整思路最后用幾道我常年在面試中使用的綜合題把前面的知識(shí)點(diǎn)串聯(lián)起來(lái)。這些題目不是要你背答案而是通過(guò)它們建立一個(gè)系統(tǒng)的解題思維。5.1 字符串指針 vs 字符數(shù)組面試官先給代碼char *s1 hello; char s2[] hello;問(wèn)這兩行有什么區(qū)別很多人能答出s1指向只讀常量和s2是可修改數(shù)組但能繼續(xù)往深挖的人不多。完整的區(qū)分思路是s1是一個(gè)指針變量指向字符串字面量“hello”的首字符這個(gè)字符串存儲(chǔ)在只讀區(qū)域通常是.rodata段任何通過(guò)*s1修改內(nèi)容的操作都是未定義行為在嵌入式平臺(tái)可能觸發(fā)段錯(cuò)誤。s2是一個(gè)字符數(shù)組大小是65個(gè)字符加末尾的\0存儲(chǔ)在棧上內(nèi)容可以修改。從內(nèi)存布局上看s1本身占4或8字節(jié)s2占6字節(jié)s1指向的字符串可能存儲(chǔ)在Flash中s2的數(shù)據(jù)在RAM中。嵌入式背景下要特別注意這一點(diǎn)如果芯片支持Flash和RAM的讀取速度不同把字符串放在Flash只讀區(qū)可以節(jié)省RAM空間。所以寫協(xié)議解析時(shí)只讀的日志輸出字符串、AT指令表完全可以放在Flash里用const char*來(lái)引用。5.2 對(duì)函數(shù)指針的考察回調(diào)機(jī)制的基石嵌入式崗很喜歡考函數(shù)指針因?yàn)镸CU開(kāi)發(fā)里到處是回調(diào)——中斷處理、定時(shí)器回調(diào)、協(xié)議棧事件回調(diào)typedef void (*event_handler_t)(int event_id, void *args); void register_handler(event_handler_t handler);面試官往往會(huì)現(xiàn)場(chǎng)出題int add(int a, int b) { return a b; } int main(void) { int (*fp)(int, int) add; printf(%d\n, fp(3, 4)); // 7 printf(%d\n, (*fp)(3, 4)); // 7寫法不同含義相同 return 0; }這里要理解的是函數(shù)名add在表達(dá)式中會(huì)隱式轉(zhuǎn)換為函數(shù)指針fp指向函數(shù)的入口地址。調(diào)用時(shí)fp(3, 4)和(*fp)(3, 4)等效因?yàn)楹瘮?shù)指針調(diào)用時(shí)會(huì)自動(dòng)解引用。這個(gè)在嵌入式里的典型應(yīng)用是狀態(tài)機(jī)跳轉(zhuǎn)表typedef void (*state_action_t)(void *ctx); static void state_idle(void *ctx); static void state_run(void *ctx); static void state_error(void *ctx); static const state_action_t state_table[3] { [0] state_idle, [1] state_run, [2] state_error };這種表驅(qū)動(dòng)設(shè)計(jì)在寫完?duì)顟B(tài)機(jī)后特別清晰比switch-case可維護(hù)性高一個(gè)檔次也是面試中展示工程能力的好素材。5.3 二級(jí)指針的應(yīng)用場(chǎng)景二級(jí)指針int**在面試?yán)锝?jīng)常作為一道“壓軸題”出現(xiàn)因?yàn)樗_實(shí)是很多人的盲區(qū)。面試官可能會(huì)讓你寫一個(gè)“在鏈表頭部插入節(jié)點(diǎn)”的函數(shù)如果你寫成void list_insert(Node *head, int value) { // ... }面試官就會(huì)追問(wèn)如果鏈表為空head是NULL你這個(gè)函數(shù)能在調(diào)用后讓外部的head變成新節(jié)點(diǎn)嗎顯然不行——因?yàn)楹瘮?shù)參數(shù)傳的是值拷貝函數(shù)內(nèi)部修改head不會(huì)影響外部變量。正確的做法之一是void list_insert(Node **head, int value) { Node *new_node (Node*)malloc(sizeof(Node)); new_node-value value; new_node-next *head; *head new_node; }調(diào)用時(shí)這樣寫Node *list NULL; list_insert(list, 10);這就是二級(jí)指針存在的意義當(dāng)我們想在一個(gè)函數(shù)里修改調(diào)用方的指針本身而不僅僅是指針指向的內(nèi)容時(shí)需要傳指針的地址。優(yōu)先級(jí)鏈表的刪除操作、樹(shù)形結(jié)構(gòu)中的父子節(jié)點(diǎn)關(guān)系維護(hù)都會(huì)用到這個(gè)技巧。追加追問(wèn)為什么還可以用“返回新的頭節(jié)點(diǎn)”的寫法對(duì)定義一個(gè)Node* list_insert(Node *head, int value)返回到外部重新賦值也是常見(jiàn)的替代方案。兩種風(fēng)格各有適用場(chǎng)景能對(duì)比說(shuō)出異同面試官會(huì)對(duì)你有額外的好感。5.4 指針常量和常量指針在寄存器配置場(chǎng)景里的使用嵌入式里配置外設(shè)寄存器時(shí)經(jīng)常要把某個(gè)地址轉(zhuǎn)成指針并映射為寄存器結(jié)構(gòu)體。比如STM32的寄存器定義#define GPIOA_BASE 0x40020000U typedef struct { volatile uint32_t MODER; volatile uint32_t OTYPER; volatile uint32_t OSPEEDR; volatile uint32_t PUPDR; volatile uint32_t IDR; volatile uint32_t ODR; } GPIO_TypeDef; #define GPIOA ((GPIO_TypeDef *)GPIOA_BASE)這里GPIOA本質(zhì)上是一個(gè)“指向寄存器的常量指針”它的指向不能變但指向的內(nèi)容可以變。volatile關(guān)鍵字是另一大考點(diǎn)——它告訴編譯器這個(gè)地址的內(nèi)容可能在程序之外被改變比如硬件中斷修改每次訪問(wèn)必須重新從內(nèi)存讀取不能優(yōu)化成寄存器緩存值。面試官如果深入追問(wèn)“為什么要用volatile”你可以說(shuō)在優(yōu)化級(jí)別較高時(shí)編譯器可能把對(duì)寄存器的連續(xù)讀操作合并成一次或者把多次寫操作合并成一次這在寄存器配置場(chǎng)景里是致命的。比如你配置完一個(gè)發(fā)送寄存器后立刻讀回狀態(tài)寄存器如果狀態(tài)寄存器沒(méi)有聲明為volatile編譯器可能把讀回的結(jié)果直接用上次的緩存值代替導(dǎo)致你誤判外設(shè)狀態(tài)。6. 實(shí)戰(zhàn)心得你在IDE里看不到的那些指針細(xì)節(jié)6.1 嵌入式平臺(tái)和PC平臺(tái)的差異很多人在PC上用Visual Studio練C語(yǔ)言寫指針寫得飛起一上嵌入式就踩坑。最大的差異是內(nèi)存模型PC上虛擬地址空間很大某塊內(nèi)存非法訪問(wèn)時(shí)通常表現(xiàn)為段錯(cuò)誤程序崩潰得干脆利落問(wèn)題好定位。嵌入式MCU只有一個(gè)扁平地址空間沒(méi)有MMU做頁(yè)表映射訪問(wèn)保護(hù)。你訪問(wèn)一個(gè)野指針?biāo)芸赡懿皇潜罎⒍庆o默地改寫了某個(gè)外設(shè)寄存器的值導(dǎo)致設(shè)備出現(xiàn)無(wú)法解釋的詭異行為。我見(jiàn)過(guò)最典型的一個(gè)問(wèn)題是某個(gè)野指針把中斷向量表附近的RAM給覆蓋了導(dǎo)致設(shè)備在特定條件下觸發(fā)不可屏蔽中斷整機(jī)復(fù)位。這種問(wèn)題排查起來(lái)極其痛苦因?yàn)樗鼪](méi)有明顯的代碼錯(cuò)誤提示只能靠?jī)?nèi)存篡改檢測(cè)和長(zhǎng)時(shí)間拷機(jī)復(fù)現(xiàn)。所以嵌入式下的指針要求更嚴(yán)苛每一個(gè)寫操作都要先想清楚指針指向的是哪塊內(nèi)存、大小是否匹配、生命周期的邊界在哪里。6.2 調(diào)試器里看指針的信息量很多初學(xué)者跟我抱怨說(shuō)“知識(shí)都懂出了問(wèn)題還是不會(huì)查”。我一般會(huì)反問(wèn)一句你打開(kāi)調(diào)試器看指針變量的完整信息了嗎調(diào)試器里一個(gè)指針變量包含的信息比你想象的多指針的值也就是地址本身可以對(duì)照鏈接腳本里的內(nèi)存布局判斷它指向的是Flash、RAM還是外設(shè)區(qū)。指針指向內(nèi)存的內(nèi)容可以展開(kāi)看前幾個(gè)字節(jié)初步判斷數(shù)據(jù)是否符合預(yù)期。如果地址明顯異常比如0x08000000在RAM區(qū)域、0xFFFFFFF0在保留區(qū)基本可以直接判定是野指針。在Watch窗口里一行加入*(int*)0x20000010這樣的表達(dá)式可以直接觀察某塊內(nèi)存的實(shí)時(shí)變化定位越界寫入非常有用。6.3 代碼審查中我最常強(qiáng)調(diào)的指針規(guī)則由于我經(jīng)常參與團(tuán)隊(duì)代碼審查總結(jié)了幾條指針相關(guān)的高頻問(wèn)題特別是嵌入式新人容易犯的檢查項(xiàng)錯(cuò)誤示例正確做法返回值錯(cuò)誤處理malloc后不判空直接使用分配后立即檢查是否為NULL否則返回錯(cuò)誤碼數(shù)組越界寫for(i 0; i n; i) buf[i] x;邊界條件寫成i n尤其要警惕差一錯(cuò)誤類型不匹配用uint8_t*強(qiáng)轉(zhuǎn)結(jié)構(gòu)體指針強(qiáng)轉(zhuǎn)前確認(rèn)字節(jié)對(duì)齊和size大小必要時(shí)用memcpy生命周期不清一個(gè)函數(shù)里分配另一個(gè)模塊隨意釋放約定“誰(shuí)分配誰(shuí)釋放”或使用智能指針?lè)庋bvolatile缺失中斷和主循環(huán)共享標(biāo)志位時(shí)不加volatile共享變量加volatile必要時(shí)用原子操作或關(guān)中斷保護(hù)這些規(guī)則看著簡(jiǎn)單但每一條背后都有真實(shí)的事故故事。什么時(shí)候你能把這些規(guī)則背后“為什么”講清楚你的指針功底就真正過(guò)關(guān)了。6.4 給準(zhǔn)備面試的你最后幾點(diǎn)建議平時(shí)練習(xí)時(shí)不要只看知識(shí)點(diǎn)要多動(dòng)手寫代碼、多單步調(diào)試、多看反匯編。指針這種東西光靠“看懂”是不夠的必須形成直覺(jué)化的肌肉記憶。比如一個(gè)指針加1你要能立刻反應(yīng)出它跳過(guò)了多少字節(jié)——這在閱讀協(xié)議解析代碼時(shí)幾乎每時(shí)每刻都在用。面試前可以把常見(jiàn)考點(diǎn)串起來(lái)自問(wèn)自答指針變量的本質(zhì)是什么數(shù)組名和指針的區(qū)別是什么野指針的三大來(lái)源引用和指針的區(qū)別二級(jí)指針用在什么場(chǎng)景函數(shù)指針怎么定義怎么調(diào)用智能指針解決什么問(wèn)題把這些問(wèn)題的回答練到脫口而出并且在每個(gè)問(wèn)題上都能舉出一個(gè)實(shí)際開(kāi)發(fā)中的小例子面試效果會(huì)比死記硬背好得多。如果要再推薦一個(gè)深度學(xué)習(xí)方向我建議找一份開(kāi)源嵌入式項(xiàng)目比如RT-Thread、FreeRTOS的某個(gè)內(nèi)核模塊把里面涉及指針的代碼逐行讀一遍遇到不懂的API就去查手冊(cè)。你會(huì)驚訝地發(fā)現(xiàn)那些看起來(lái)“高大上”的指針用法本質(zhì)上就是這篇文章里講的幾個(gè)基本概念的組合運(yùn)用——數(shù)組指針訪問(wèn)任務(wù)棧、二級(jí)指針維護(hù)鏈表、函數(shù)指針實(shí)現(xiàn)事件回調(diào)、const和volatile修飾硬件寄存器。概念打通之后項(xiàng)目和面試題的視野都會(huì)完全不一樣。