1. 從一道高頻題說起const 到底考什么面試?yán)?C/C 的 const 幾乎是必考題。你可能覺得不就是“常量”兩個(gè)字嗎但面試官真正想考察的遠(yuǎn)不止這些。這幾輪面試下來我總結(jié)出一個(gè)規(guī)律const 這道題能很有效地拉開候選人的檔次——簡(jiǎn)單背過定義的會(huì)說“const 修飾的變量不能改”真正寫過工程代碼的會(huì)從編譯器視角、類型系統(tǒng)視角、鏈接屬性視角把這四個(gè)字母講出花來。這道題背后考察的是三塊硬功夫?qū)︻愋拖到y(tǒng)的基本理解const 是類型修飾符不是“值不能變”這么簡(jiǎn)單對(duì)編譯器行為的認(rèn)知const 在 C 和 C 中分別做了什么作用域和鏈接屬性有什么差異對(duì)工程實(shí)踐的把握const 成員函數(shù)、const 引用傳參、const 與 movable 語義的沖突這些是寫大型項(xiàng)目時(shí)避不開的問題我見過不少人在這道題上翻車不是因?yàn)椴恢?const 的基本用法而是死記硬背模板面試官換個(gè)問法就懵了。比如“const int a 5; 能不能用來定義數(shù)組長(zhǎng)度”或者“const 成員函數(shù)里能不能修改成員變量”又或者“全局 const 變量在 C 和 C 里有什么不同”這些變體問出來很多人就開始含糊了。這篇就把 const 從概念、語法、原理到面試實(shí)戰(zhàn)一次性梳理清楚。不談虛的都是面試現(xiàn)場(chǎng)真正會(huì)問、代碼里真正會(huì)踩的點(diǎn)。2. 五大高頻考點(diǎn)逐個(gè)拆解2.1 修飾普通變量說“不能改”其實(shí)不嚴(yán)謹(jǐn)先看最基礎(chǔ)的場(chǎng)景const int a 10; a 20; // 編譯錯(cuò)誤: assignment of read-only variable a絕大多數(shù)人會(huì)答到這里就停下了。但面試官其實(shí)在等你往下說。關(guān)鍵問題是const 修飾的變量在編譯器和運(yùn)行時(shí)分別是怎么處理的這里藏著 C 和 C 的一個(gè)重要差異。在 C 中如果一個(gè) const 變量是編譯期可求值的字面量初始化比如const int a 10;它會(huì)被當(dāng)作編譯期常量處理直接放進(jìn)符號(hào)表在編譯期間就能確定值。這種 const 可以用于模板參數(shù)、數(shù)組長(zhǎng)度等需要編譯期常量的場(chǎng)景。而在 C 語言中const int a 10;只是一個(gè)只讀變量它不是真正的編譯期常量。雖然你可以用它初始化數(shù)組取決于編譯器是否支持 VLA但你不能把它用作case標(biāo)簽也不能用作位域?qū)挾?。舉個(gè)典型例子const int a 10; int arr[a]; // C 中依賴編譯器對(duì) VLA 的擴(kuò)展不是標(biāo)準(zhǔn) C 的編譯期常量行為 switch (x) { case a: // 編譯錯(cuò)誤: case label does not reduce to an integer constant break; }這是 C 和 C 一個(gè)非常隱蔽的差別。C 里const int a 10;可以用于case標(biāo)簽C 里不行。更深一層的問題是const int a 10;在運(yùn)行時(shí)真的不能改嗎答案是不能通過正常語法改但如果你用指針強(qiáng)行改會(huì)觸發(fā)未定義行為。看這個(gè)例子const int a 10; int *p (int *)a; *p 20; printf(%d\n, a); // 結(jié)果未定義可能是 10 也可能是 20取決于編譯器優(yōu)化和平臺(tái)面試演進(jìn)到這里你如果能主動(dòng)說出“const 是編譯期約束不是運(yùn)行時(shí)不變量”面試官一般就會(huì)點(diǎn)頭了。這句才是這道題的關(guān)鍵洞察const 保護(hù)的是編程語義不是物理內(nèi)存。編譯器在編譯期攔截對(duì) const 對(duì)象的直接修改但低級(jí)手段仍然可以繞過只是繞過之后后果自負(fù)。2.2 修飾指針三種組合必須先分清const 修飾指針是面試的重災(zāi)區(qū)也是筆試選擇里出現(xiàn)率極高的題型。核心考察方式是const放在星號(hào)左邊還是右邊含義完全不同。const int *p; // p 指向一個(gè) const intp 可以變*p 不能變 int const *p; // 等價(jià)于 const int *p同上 int *const p; // p 本身是 constp 不能變*p 可以變 const int *const p; // 兩者都不能變判斷口訣很簡(jiǎn)單const 在星號(hào)左邊修飾的是指針指向的對(duì)象const 在星號(hào)右邊修飾的是指針本身。const int *p和int const *p是同一回事這是很多人容易懵的地方。原因是 const 修飾的是“int”無論寫成const int還是int const都是對(duì) int 類型的修飾。而int *const p里的 const 修飾的是指針變量 p 本身。實(shí)操里最容易踩的坑是賦值兼容性。C 中普通指針不能隱式轉(zhuǎn)換成 const 指針但 const 指針不能隱式轉(zhuǎn)換成普通指針。說人話就是const int a 10; const int *p a; // 合法 int *q a; // 編譯錯(cuò)誤: invalid conversion from const int* to int*這個(gè)限制背后是類型安全的設(shè)計(jì)。如果允許int *q a那么通過*q 20就能修改一個(gè) const 對(duì)象的語義const 保護(hù)就形同虛設(shè)了。這跟 2.1 里提到的“繞過”是核心區(qū)別const int *到int *的隱式轉(zhuǎn)換在編譯期就被禁止而強(qiáng)制類型轉(zhuǎn)換是明確告訴編譯器“我知道我在做什么”。擴(kuò)展到 C 還有一個(gè)高頻引申考點(diǎn)——頂層 const 與底層 const又稱頂層常量性和底層常量性頂層 const指針本身是 const如int *const p底層 const指針指向的對(duì)象是 const如const int *p為什么這個(gè)區(qū)分重要因?yàn)樗诤瘮?shù)重載、類型推導(dǎo)和模板匹配時(shí)有不同行為。在模板推導(dǎo)中頂層 const 會(huì)被忽略底層 const 會(huì)保留。你如果能主動(dòng)說出這組概念說明你讀過 C Primer 這類系統(tǒng)性教材面試印象分會(huì)明顯不同。2.3 修飾函數(shù)形參傳值和傳引用的不同思路面試官問 const 和函數(shù)結(jié)合時(shí)通常轉(zhuǎn)進(jìn)到 const 引用參數(shù)。這里的核心邏輯是傳值void foo(int a)會(huì)拷貝一份無法修改原值但拷貝有開銷傳指針void foo(int *p)能修改原值但調(diào)用方要處理空指針傳引用void foo(int a)高效且能修改原值傳 const 引用void foo(const int a)高效且禁止修改原值工程中最常見且最推薦的做法是大對(duì)象用const 引用傳參。比如 STL 容器、自定義類對(duì)象用const std::string s代替std::string s既避免了拷貝構(gòu)造的開銷又保證了函數(shù)內(nèi)不會(huì)意外修改參數(shù)。void printName(const std::string name) { // 這里只能讀不能寫 std::cout name std::endl; }對(duì)普通的內(nèi)置類型如 int、double傳值就夠了除非你明確需要修改調(diào)用方的變量。還有一種場(chǎng)景是常引用作為返回值接收者后面會(huì)提到。很多 C 轉(zhuǎn) C 的開發(fā)者容易犯一個(gè)錯(cuò)誤在只需要讀的場(chǎng)景里忘記加 const導(dǎo)致接口表達(dá)的是“可修改”而不是“可讀”。這在協(xié)作開發(fā)里是很大的隱患——?jiǎng)e人看到void process(std::vectorint data)會(huì)默認(rèn)函數(shù)可能修改 data調(diào)用前會(huì)自己拷貝一份以防萬一白白增加開銷。加上 const行為契約就清楚了。這里還有個(gè)面試官常挖的坑參數(shù)加了 const是不是函數(shù)體里就絕對(duì)不能修改了大部分情況是的但有兩個(gè)例外——一是參數(shù)本身是 const 引用/指針指向的對(duì)象可能通過其他別名修改二是可以復(fù)制一份再改void foo(const int a) { int b a; // 拷貝一份隨便改 b 100; // 直接 a 100 是編譯錯(cuò)誤 }這種“copy-and-modify”模式在實(shí)際代碼里很常見比如實(shí)現(xiàn)拷貝構(gòu)造函數(shù)時(shí)用 const 引用接收源對(duì)象內(nèi)部再逐個(gè)成員拷貝。2.4 修飾函數(shù)返回值不同返回方式語義完全不同const 修飾返回值的含義和參數(shù)不同需要拆開看。先看返回 const 值const int foo() { return 10; }這個(gè)場(chǎng)景在現(xiàn)代 C 里其實(shí)是不推薦的。原因很微妙返回一個(gè) const 值意味著調(diào)用者拿到的是一個(gè)不可修改的臨時(shí)對(duì)象。在 C11 之后這會(huì)影響移動(dòng)語義——const 右值不能綁定到非 const 右值引用move 的優(yōu)化就使不上力了。比如class BigObject { /* 大量數(shù)據(jù) */ }; const BigObject makeObject() { return BigObject(); } BigObject obj makeObject(); // 這里是拷貝還是移動(dòng)因?yàn)榉祷刂凳?const移動(dòng)構(gòu)造被禁用只能拷貝如果makeObject()返回BigObject非 const編譯器可以走移動(dòng)構(gòu)造甚至返回值優(yōu)化。一加 const編譯器想優(yōu)化都沒法優(yōu)化。這算得上 C11 之后 const 使用的一個(gè)重要反模式。再看返回 const 引用const std::string getName() const { return name_; }這種寫法的語義是調(diào)用者拿到一個(gè)只讀的引用。主要用在類的成員函數(shù)中對(duì)外暴露內(nèi)部數(shù)據(jù)但不允許修改避免不必要的拷貝。注意這里有個(gè)必須理解的配合點(diǎn)返回 const 引用的前提是對(duì)象的生命周期比引用的使用期長(zhǎng)。如果返回局部變量的引用不管是 const 還是非 const都是懸垂引用跑出作用域就崩潰。還有一種是返回指針的 constconst char *getName() const { return str_; } int *const getBuf() { return buf_; }前者是“你只能讀我返回的數(shù)據(jù)”后者是“指針本身不能變但數(shù)據(jù)能改”。這兩種在字符串處理、緩沖區(qū)管理的老 C 風(fēng)格代碼里很常見面試時(shí)能分清楚就有加分。2.5 const 成員函數(shù)this 指針的隱形變化這個(gè)考點(diǎn)幾乎是 C 面試的必問項(xiàng)而且問法統(tǒng)一如果一個(gè)成員函數(shù)被 const 修飾發(fā)生了什么答案在 this 指針上。類的成員函數(shù)隱含一個(gè) this 指針。普通成員函數(shù) this 的類型是ClassType *const指向當(dāng)前對(duì)象且不能改變指向而 const 成員函數(shù)的 this 類型是const ClassType *const比普通版本多了底層 const。也就是說在 const 成員函數(shù)內(nèi)部所有成員變量都變成了只讀狀態(tài)。class Counter { private: int count_ 0; public: void increment() { count_; } // 可以改 int get() const { return count_; } // 不能改 count_ // int add(int n) const { count_ n; } // 編譯錯(cuò)誤 };面試官通常會(huì)在你答完這段后追問那如果 const 成員函數(shù)里必須要修改某個(gè)成員怎么辦標(biāo)準(zhǔn)答案是關(guān)于 mutable 關(guān)鍵字。被 mutable 修飾的成員變量在 const 成員函數(shù)里可以修改。典型場(chǎng)景是緩存、統(tǒng)計(jì)計(jì)數(shù)、互斥鎖class Data { private: int value_; mutable int cacheValid_ 0; // 統(tǒng)計(jì)查詢次數(shù)const 成員函數(shù)也能改 public: int getValue() const { cacheValid_; // 合法 return value_; } };mutable的設(shè)計(jì)哲學(xué)很有意思它表示“邏輯上的常量性”。對(duì)一個(gè)外部觀察者來說調(diào)用 const 成員函數(shù)不改變對(duì)象對(duì)外的可觀察狀態(tài)但對(duì)內(nèi)部實(shí)現(xiàn)來說緩存、鎖、計(jì)數(shù)器這些東西的修改不影響邏輯一致性。const 成員函數(shù)保證的是“邏輯不變性”不是物理位模式的不變。還有一個(gè)幾乎必考的衍生題const 對(duì)象只能調(diào)用 const 成員函數(shù)對(duì)嗎答案是只能調(diào)用 const 成員函數(shù)普通成員函數(shù)一律不能調(diào)用。反過來普通對(duì)象既能調(diào)用普通成員函數(shù)也能調(diào)用 const 成員函數(shù)。一個(gè)語法層面的實(shí)用技巧是如果需要同時(shí)提供讀和寫接口就重載 const 和非 const 版本——這在容器迭代器的實(shí)現(xiàn)里非常常見。3. 底層本質(zhì)const 的“類型修飾符”身份3.1 從編譯器和類型系統(tǒng)看 const面試中如果能跳出語法層面從底層講 const會(huì)明顯高出一個(gè)檔次。const 本質(zhì)上不是“值被凍結(jié)了”而是類型系統(tǒng)給變量增加了一條約束編譯器靠類型檢查來保證這條約束不被人為破壞?？催@個(gè)例子const int a 42;編譯器的視角是符號(hào) a 的類型是const int。a 43這條語句被編譯器拒絕的原因是類型不匹配——整型賦值的左邊類型是 const int不允許寫入。并不是說 42 這個(gè)值在內(nèi)存里被寫死了。這意味著 const 的檢查幾乎全部發(fā)生在編譯期運(yùn)行期沒有任何特殊保護(hù)。這也是為什么 2.1 里說繞過 const 會(huì)觸發(fā)未定義行為——編譯器按 const 優(yōu)化了代碼比如把 const 變量直接替換成立即數(shù)你在運(yùn)行期偷偷改內(nèi)存改成了什么沒人知道程序走哪個(gè)分支完全不可預(yù)測(cè)。C 標(biāo)準(zhǔn)對(duì)這方面有明確表述修改 const 對(duì)象是未定義行為。未定義行為的意思不是“一定會(huì)崩潰”而是“崩潰、靜默錯(cuò)誤、正常工作全都是合法的結(jié)果”。調(diào)試這種問題極其痛苦所以有經(jīng)驗(yàn)的人從不繞過 const。3.2 C 和 C 中全局 const 的鏈接屬性差異這是非常冷門但面試官喜歡驗(yàn)貨的考點(diǎn)。C 語言中全局 const 變量默認(rèn)是外部鏈接在頭文件里寫const int MAX_SIZE 1024;如果這個(gè)頭文件被多個(gè) .c 文件包含每個(gè) .c 文件都會(huì)生成一個(gè) MAX_SIZE 的定義鏈接時(shí)直接報(bào)重復(fù)定義錯(cuò)誤。所以 C 語言的標(biāo)準(zhǔn)做法是在 .c 文件里定義全局 const在頭文件里用 extern 聲明或者干脆用宏#define MAX_SIZE 1024。C 中全局 const 變量的默認(rèn)鏈接屬性是內(nèi)部鏈接。也就是說const int MAX_SIZE 1024;寫在頭文件里每個(gè)包含它的編譯單元都會(huì)得到一份自己的副本鏈接時(shí)不會(huì)沖突。C 標(biāo)準(zhǔn)特意設(shè)計(jì)成這樣就是為了讓 const 變量能安全地放進(jìn)頭文件。這個(gè)差異在很多從 C 轉(zhuǎn)到 C 的項(xiàng)目里會(huì)埋雷。C 的 .h 文件 C 編譯器混編時(shí)一個(gè) const 全局變量在 C 文件里是外部鏈接在 C 文件里是內(nèi)部鏈接同名不同義排查起來非常隱蔽。面試?yán)锶绻隳苤鲃?dòng)提這個(gè)差異幾乎可以確定是真正寫過混合編譯項(xiàng)目的。3.3 const 與宏的本質(zhì)區(qū)別面試必問的一道對(duì)比題const 和 #define 有什么區(qū)別這道題檢驗(yàn)的是對(duì)預(yù)處理和編譯流程的理解。答案可以從五個(gè)維度展開對(duì)比維度const#define 宏處理階段編譯期參與類型檢查預(yù)處理期純文本替換類型檢查有編譯器嚴(yán)格校驗(yàn)無替換后類型錯(cuò)誤才知道調(diào)試支持是變量調(diào)試器能查看預(yù)處理后被替換掉看不到宏名作用域遵循作用域規(guī)則定義點(diǎn)開始直到文件末尾內(nèi)存分配通常會(huì)分配存儲(chǔ)取決于使用方式不分配存儲(chǔ)直接替換成字面量選哪種工程實(shí)踐的標(biāo)準(zhǔn)答案是能用 const 就不用宏。尤其是在 C 里定義常量、枚舉、字符串字面量constexpr 和 enum class 都比宏安全得多。宏最大的隱患是沒有作用域也不做類型檢查。比如#define SQUARE(x) x*x調(diào)用SQUARE(12)得到的是12*12 5而不是 9這種錯(cuò)誤你只能靠加括號(hào)防御。const 不會(huì)有這類問題因?yàn)樗褪且粋€(gè)正常類型的變量參與完整的編譯檢查。但宏也不是一無是處。條件編譯、include guard、平臺(tái)相關(guān)代碼片段這些場(chǎng)景必須用宏const 替代不了。4. const 與 C 現(xiàn)代特性的碰撞4.1 const 與 constexpr 的關(guān)系這一節(jié)是近幾年面試的新熱點(diǎn)。C11 引入了 constexpr很多人誤以為它只是“更強(qiáng)版的 const”其實(shí)側(cè)重點(diǎn)完全不同const表示“值不可修改”不保證是編譯期常量取決于初始化方式constexpr表示“值在編譯期就能算出來”且本身就是 constconst int a rand(); // 合法運(yùn)行期才確定值 // constexpr int b rand(); // 編譯錯(cuò)誤constexpr 要求編譯期可求值當(dāng) const 的初始化器是字面量時(shí)它在 C 中可能被當(dāng)作編譯期常量但當(dāng)初始化器是運(yùn)行期表達(dá)式時(shí)const 只是“運(yùn)行時(shí)只讀變量”。你說的“const 就一定是編譯期常量”這種話面試官一抓一個(gè)準(zhǔn)。constexpr 才是真正的編譯期常量。工程中判斷用 const 還是 constexpr 的標(biāo)準(zhǔn)是如果這個(gè)值在編譯期就能確定優(yōu)先 constexpr。數(shù)組大小、模板非類型參數(shù)、switch 的 case 標(biāo)簽這些場(chǎng)景必須用 constexpr 或 enum不能依賴 const。4.2 const 與引用疊加常引用到底解決了什么const 引用是 C 傳參優(yōu)化的核心手段之一。這里有一個(gè)很多人忽略的細(xì)節(jié)const 引用可以綁定到臨時(shí)對(duì)象普通引用不可以。std::string createStr() { return hello; } const std::string ref createStr(); // 合法臨時(shí)對(duì)象生命周期被延長(zhǎng) std::string badRef createStr(); // 編譯錯(cuò)誤這個(gè)特性帶來的一個(gè)重要場(chǎng)景是函數(shù)重載和參數(shù)匹配。比如void func(std::string s) {} void func(const std::string s) {} func(createStr()); // 匹配第二個(gè)版本const 引用面試?yán)锍柕囊粋€(gè)問題是為什么func(const std::string s)能接受右值而func(std::string s)不能答案就是因?yàn)?const 引用綁定了臨時(shí)對(duì)象引用的生命周期會(huì)延續(xù)到引用失效為止。這個(gè)機(jī)制是 C 臨時(shí)對(duì)象生命周期規(guī)則的延伸理解它很多看似神奇的現(xiàn)象都能解釋。4.3 const_cast 用對(duì)是技巧用錯(cuò)是事故const_cast 的唯一用途是去掉或添加 const 屬性。但很多人對(duì)它有兩個(gè)極端誤解要么從不使用要么亂用。正確的使用場(chǎng)景舉例一個(gè)老 C 庫(kù)的函數(shù)參數(shù)是非 const 指針而你手里只有 const 指針且你明確知道那個(gè)函數(shù)不會(huì)真的修改數(shù)據(jù)這時(shí)可以用 const_cast 把它轉(zhuǎn)換過去。這是一種妥協(xié)手段。絕對(duì)不能做的是對(duì)一個(gè)真正的 const 對(duì)象用 const_cast 并試圖修改它。啟動(dòng)修改的那一刻就是未定義行為。const_cast 去掉的只是類型層面的 const 標(biāo)記如果對(duì)象本身在物理上就是 const 的比如靜態(tài)只讀存儲(chǔ)區(qū)、編譯期常量?jī)?yōu)化后置于只讀段寫操作可能直接段錯(cuò)誤。面試官問 const_cast 的潛臺(tái)詞是考察你是否分得清“類型上的 const”和“對(duì)象實(shí)際是否可寫”這兩回事。兩句話能講清楚的老手const_cast 只改變類型系統(tǒng)的判斷不改變對(duì)象本身的屬性真正的 const 對(duì)象永遠(yuǎn)不能通過任何手段合法修改。4.4 const 與移動(dòng)語義的沖突這個(gè)點(diǎn)在現(xiàn)代 C 面試?yán)锖苋菀妆粏为?dú)拿來問。C11 引入移動(dòng)語義后const 出現(xiàn)了一個(gè)副作用const 對(duì)象不能移動(dòng)只能拷貝。原因很簡(jiǎn)單移動(dòng)操作需要修改源對(duì)象把資源指針置空、所有權(quán)轉(zhuǎn)出但 const 對(duì)象禁止任何修改。return const value更是直接掐死了返回值優(yōu)化和移動(dòng)構(gòu)造的可能這在 2.4 里已經(jīng)提過。所以現(xiàn)代 C 的一條最佳實(shí)踐是返回值不要加 const。早期的 C 教科書喜歡給返回值加 const 防止修改臨時(shí)量這個(gè)習(xí)慣在 C11 以后已經(jīng)被視為反模式。面試時(shí)如果有人能指出“返回 const 值會(huì)影響移動(dòng)語義”說明是真的跟上了 modern C 的潮流。5. 面試實(shí)戰(zhàn)速答模板與場(chǎng)景復(fù)盤5.1 高頻面試題速答模板整理一些面試現(xiàn)場(chǎng)真正的提問方式和回答套路。不是讓你背這些答案而是給你一個(gè)參照系同樣一道題不同深度的回答是什么樣子。問const 修飾變量和不用的區(qū)別基本答案變量不能通過直接賦值修改編譯期會(huì)被檢查。進(jìn)階答案C 中初始化器為編譯期字面量時(shí)const 變量是編譯期常量C 中 const 變量只是只讀變量不能用于 case 標(biāo)簽等需要編譯期常量的場(chǎng)景。加分答案const 是編譯期約束不是物理寫保護(hù)強(qiáng)行修改是未定義行為。全局 const 在 C 和 C 中的鏈接屬性有差異決定了頭文件里能不能定義全局 const。問const 成員函數(shù)有什么特殊之處基本答案const 成員函數(shù)不能修改成員變量。進(jìn)階答案const 成員函數(shù)中 this 用 const 修飾只有 const 對(duì)象才能調(diào)用 const 成員函數(shù)。加分答案mutable 成員可以突破這個(gè)限制用于緩存和統(tǒng)計(jì)const 成員函數(shù)在 Python、C# 等其他語言中少見是 C 只讀操作語義的核心表達(dá)方式。問const 和 #define 選哪個(gè)基本答案優(yōu)先用 const有類型檢查且支持調(diào)試。進(jìn)階答案const 遵循作用域規(guī)則宏沒有作用域const 參與編譯流程宏在預(yù)處理階段就替換完了。加分答案宏在某些場(chǎng)景不可替代如條件編譯和 include guardC 中字符串、數(shù)組等建議用 constexpr 或 enum避免 XX 宏。5.2 一道綜合題的結(jié)構(gòu)化分析來一道我在面試別人的時(shí)候常出的綜合題寫一個(gè)類提供一組只讀接口和一組可寫接口要求只讀接口能同時(shí)被 const 對(duì)象和普通對(duì)象調(diào)用可寫接口只能被普通對(duì)象調(diào)用。這道題要把 const 成員函數(shù)、重載和引用全部打通才能答好。標(biāo)準(zhǔn)解法是提供 const 重載和非 const 重載class Buffer { private: std::vectorint data_; public: const int at(int idx) const { return data_[idx]; } // const 版本 int at(int idx) { return data_[idx]; } // 非 const 版本 };const 對(duì)象調(diào)用at走 const 版本返回 const 引用只讀普通對(duì)象調(diào)用at走非 const 版本返回普通引用可寫。這種模式在容器實(shí)現(xiàn)中大量存在是 STL 的基礎(chǔ)設(shè)施之一。面試官大概率還會(huì)追問函數(shù)體邏輯一模一樣怎么避免重復(fù)答案是用 const 版本實(shí)現(xiàn)非 const 版本int at(int idx) { return const_castint (static_castconst Buffer *(this)-at(idx)); }這里 const_cast 是安全的——非 const 對(duì)象本來就可以寫去掉 const 只是為了讓 const 版本的通路復(fù)用起來。這種“const 版本做基礎(chǔ)實(shí)現(xiàn)非 const 版本轉(zhuǎn)調(diào)”的手法在真實(shí)代碼里是標(biāo)準(zhǔn)解法。5.3 這些語言上的“暗坑”面試官最喜歡挖這么多年面試和被面試下來const 相關(guān)的隱藏暗坑我踩過不少也見別人踩過不少。整理幾個(gè)值得記住的第一個(gè)坑const int a;不初始化就是編譯錯(cuò)誤。const 變量必須在定義時(shí)初始化。為什么因?yàn)橐坏┒x后就不能賦值如果定義時(shí)不給初始值這個(gè)變量將永不合法地?fù)碛幸粋€(gè)值?？此菩≈R(shí)點(diǎn)很多人寫代碼時(shí)忘了這一點(diǎn)。第二個(gè)坑const 對(duì)象作為函數(shù)參數(shù)時(shí)拷貝構(gòu)造函數(shù)必須是 const 引用參數(shù)。比如Foo(const Foo other)。如果寫成Foo(Foo other)把一個(gè) const Foo 變量傳給拷貝構(gòu)造就編譯失敗。這是 C 教科書必提但實(shí)際寫代碼時(shí)容易忽略的點(diǎn)。第三個(gè)坑const char *和char *的雙指針轉(zhuǎn)換更嚴(yán)格。二級(jí)指針的 const 規(guī)則比一級(jí)指針復(fù)雜得多char *p nullptr; const char **pp p; // 編譯錯(cuò)誤因?yàn)檫@會(huì)導(dǎo)致可以通過*pp literal把 const char* 塞進(jìn) char* 指向的內(nèi)存破壞 const 約束。類型系統(tǒng)為了堵住這個(gè)洞直接禁止了這類轉(zhuǎn)換。面試?yán)锬苤鲃?dòng)指出二級(jí)指針的 const 規(guī)則的人不多提一嘴就能拉開差距。第四個(gè)坑const 引用可以作為左值使用。const int ref 10;是合法的因?yàn)?C 會(huì)創(chuàng)建一個(gè)隱藏的臨時(shí)量。這推導(dǎo)出另一個(gè)常規(guī)用法可以把一個(gè)表達(dá)式直接綁定到 const 引用上而普通引用做不到。這一點(diǎn)在函數(shù)參數(shù)的最佳實(shí)踐里非常關(guān)鍵。6. 經(jīng)驗(yàn)總結(jié)與避坑指南const 用得好寫出來的接口自帶契約感用不好就是一場(chǎng)編譯錯(cuò)誤的災(zāi)難。這里把踩過的坑和總結(jié)出的經(jīng)驗(yàn)清單整理如下面試前翻一遍很有用。const 相關(guān)的避坑檢查表四大鐵律const 對(duì)象必須初始化const 成員函數(shù)內(nèi)不能修改普通成員mutable 例外const 引用可以綁定臨時(shí)量普通引用不可以返回 const 值會(huì)阻斷移動(dòng)語義指針判斷口訣const 在星號(hào)左邊修飾對(duì)象右邊修飾指針本身const int *p和int const *p同一個(gè)意思語義判斷標(biāo)準(zhǔn)優(yōu)先用 constexpr 表示編譯期常量用 const 表示運(yùn)行時(shí)不可變語義用 #define 處理預(yù)處理場(chǎng)景接口設(shè)計(jì)原則只讀接口加 const寫接口不加大對(duì)象參數(shù)用 const 引用傳遞返回內(nèi)部數(shù)據(jù)時(shí)返回 const 引用或 const 指針工齡性建議在團(tuán)隊(duì)代碼里用 const 標(biāo)清接口的讀寫權(quán)限比依賴注釋和代碼評(píng)審可靠得多。現(xiàn)代編譯器在 const 配合下能做很多優(yōu)化比如常量折疊、只讀數(shù)據(jù)段分配但前提是你真正理解它的語義面試時(shí)還有一個(gè)臨場(chǎng)技巧每當(dāng)你要說“const 就是不能修改”的時(shí)候強(qiáng)制自己在后面跟一句“這指的是語法層面的約束而非物理存儲(chǔ)的保護(hù)”。這既是給面試官的信號(hào)也是提醒自己把話說完整。const 這道題能不能答好不在于你背了多少定義而在于你能不能把這些邊角細(xì)節(jié)串成一個(gè)類型系統(tǒng)的圖景。雖然它只是四個(gè)字母但足以支撐一整場(chǎng)技術(shù)面試的深度。