寫(xiě)了十來(lái)年 C/C見(jiàn)過(guò)太多人在函數(shù)重載這件事上翻車(chē)——不是不會(huì)寫(xiě)而是根本不知道編譯器在背后做了什么選擇。一個(gè)函數(shù)名對(duì)應(yīng)七八個(gè)實(shí)現(xiàn)參數(shù)類(lèi)型差一點(diǎn)點(diǎn)走的就是完全不同的分支參數(shù)寫(xiě)錯(cuò)了編譯器不報(bào)錯(cuò)反而悄悄調(diào)了一個(gè)你沒(méi)想到的版本跑出來(lái)的結(jié)果讓你懷疑人生。函數(shù)重載是 C 里最基礎(chǔ)也最容易被低估的機(jī)制之一它不像模板、虛函數(shù)那樣顯眼卻滲透在標(biāo)準(zhǔn)庫(kù)的每一個(gè)角落std::string的append、std::vector的push_back、std::to_string的十幾個(gè)版本全靠它撐起來(lái)。這篇內(nèi)容就是想把重載的底層邏輯講透——它解決的是什么問(wèn)題、編譯器的篩選規(guī)則是什么、哪些寫(xiě)法看著對(duì)其實(shí)會(huì)翻車(chē)、工程里該不該用它。不管你是剛學(xué)完函數(shù)、第一次見(jiàn)void f(int)和void f(double)同時(shí)存在的人還是寫(xiě)過(guò)幾萬(wàn)行代碼、被ambiguous call折磨過(guò)的老手都應(yīng)該能從中拿到點(diǎn)東西。1. 重載與重定義一步之遙的兩個(gè)概念1.1 什么才算一個(gè)函數(shù)的簽名判斷兩個(gè)同名函數(shù)是不是重載標(biāo)準(zhǔn)只有一條它們的參數(shù)列表parameter list是否不同。參數(shù)個(gè)數(shù)不同、參數(shù)類(lèi)型不同、參數(shù)順序不同都算重載。反過(guò)來(lái)只要參數(shù)列表一模一樣那就是重定義redefinition編譯器直接甩你一個(gè)error: redefinition of void f(int)連商量余地都沒(méi)有。這里最容易踩的坑是返回類(lèi)型不參與簽名。很多人第一次寫(xiě)重載時(shí)會(huì)想當(dāng)然地覺(jué)得我返回int和返回double總該算兩個(gè)函數(shù)吧結(jié)果一編譯就報(bào)重定義。原因后面會(huì)講簡(jiǎn)單說(shuō)就是編譯器區(qū)分函數(shù)時(shí)只認(rèn)參數(shù)返回類(lèi)型是調(diào)用方自己接的函數(shù)本身管不著。另一個(gè)隱蔽的點(diǎn)是頂層 const 被忽略。下面這兩個(gè)聲明在編譯器眼里是同一個(gè)函數(shù)void foo(int x); void foo(const int x); // 重定義參數(shù)中的頂層 const 被丟棄因?yàn)閰?shù)是按值傳遞的調(diào)用方傳進(jìn)來(lái)一份拷貝const只約束函數(shù)體內(nèi)部改不改這個(gè)局部變量跟調(diào)用方一點(diǎn)關(guān)系都沒(méi)有所以簽名的計(jì)算要把它剝掉。但如果是底層 const情況就完全反過(guò)來(lái)了void bar(int* p); void bar(const int* p); // 合法重載指針指向的對(duì)象是否可改是調(diào)用方關(guān)心的事int*和const int*是兩個(gè)不同的類(lèi)型指向的內(nèi)容一個(gè)可寫(xiě)一個(gè)不可寫(xiě)調(diào)用方必須明確表達(dá)意圖所以它們構(gòu)成重載。理解頂層 const 丟棄、底層 const 保留這條規(guī)則能幫你避開(kāi)一大半關(guān)于重載的迷惑。1.2 返回類(lèi)型為什么被排除在外有人覺(jué)得返回類(lèi)型不參與重載是 C 的設(shè)計(jì)缺陷其實(shí)反過(guò)來(lái)想就通了如果允許僅靠返回類(lèi)型區(qū)分那么一次不帶賦值的調(diào)用f(x);到底該選哪個(gè)版本編譯器沒(méi)有任何依據(jù)。函數(shù)調(diào)用的語(yǔ)法本身就不攜帶我要接什么類(lèi)型這個(gè)信息除非你寫(xiě)成int y f(x);但編譯器不可能要求所有調(diào)用都帶賦值目標(biāo)更不可能為了這個(gè)把整套表達(dá)式求值規(guī)則推翻。所以 C 的選擇是把區(qū)分信息全部壓在參數(shù)上。你想讓兩個(gè)函數(shù)行為不同就必須讓調(diào)用方在參數(shù)上體現(xiàn)出差異。這也直接引出后面要講的隱式轉(zhuǎn)換問(wèn)題——參數(shù)能體現(xiàn)差異但不一定是你想要的那種差異。補(bǔ)充一句C 里確實(shí)存在僅返回類(lèi)型不同的合法場(chǎng)景那就是轉(zhuǎn)換運(yùn)算符重載比如operator int()和operator double()。但它本質(zhì)上還是靠叫 int 還是叫 double這個(gè)目標(biāo)類(lèi)型來(lái)區(qū)分并不是真的按返回類(lèi)型重載。1.3 從符號(hào)表看編譯器怎樣給重載函數(shù)起藝名重載能成立前提是鏈接器眼里的符號(hào)名必須唯一。C 的做法叫名字修飾name mangling把函數(shù)名和參數(shù)類(lèi)型一起編碼成一個(gè)全新的字符串。以 GCC/Clang 在 Linux 上使用的 Itanium ABI 為例void print(int); void print(double); void print(const char*);編譯后再看目標(biāo)文件的符號(hào)表它們分別變成了_Z5printi // print(int) _Z5printd // print(double) _Z5printPKc // print(const char*)拆開(kāi)看規(guī)則很直觀(guān)_Z是前綴5是函數(shù)名長(zhǎng)度print是原名后面跟著參數(shù)類(lèi)型的編碼——i是 intd是 doublePKc是 pointer to const char。可以自己動(dòng)手驗(yàn)證這比看十遍文檔都管用g -c demo.cpp -o demo.o nm demo.o # 看到 _Z5printi、_Z5printd、_Z5printPKc nm -C demo.o # -C 參數(shù)直接反解回可讀形式 cfilt _Z5printPKc # 單獨(dú)反解某一個(gè)符號(hào)提示在 macOS 上符號(hào)會(huì)多一個(gè)下劃線(xiàn)前綴形如__Z5printiMSVC 用的是另一套體系void print(int)會(huì)修飾成?printYAXHZ配合dumpbin /symbols或者undname工具查看。這套機(jī)制順帶解釋了一個(gè)高頻疑問(wèn)同一份頭文件被 C 和 C 分別編譯為什么 C 那邊鏈接會(huì)失敗。因?yàn)?C 不做參數(shù)編碼print就是print一旦 C 那邊修飾成了_Z5printi兩邊對(duì)不上號(hào)鏈接器自然找不到符號(hào)。這也是extern C存在的根本原因第 4 節(jié)會(huì)細(xì)說(shuō)。2. 重載決議的三輪篩選編譯器到底怎么挑函數(shù)2.1 候選集、可行集、最佳匹配一次調(diào)用f(a, b)背后編譯器走的是標(biāo)準(zhǔn)里定義好的三步流程我習(xí)慣把它叫做三輪篩選。第一輪建候選集candidate set。拿出所有在調(diào)用點(diǎn)可見(jiàn)的、名字叫f的函數(shù)。注意可見(jiàn)兩個(gè)字——被派生類(lèi)隱藏的基類(lèi)函數(shù)、沒(méi)通過(guò)using引入的名字、被內(nèi)層作用域遮蔽的同名函數(shù)統(tǒng)統(tǒng)不進(jìn)來(lái)。這一步是很多明明存在卻調(diào)不到問(wèn)題的根源。第二輪篩可行集viable set。從候選里挑出參數(shù)個(gè)數(shù)能對(duì)上、且每個(gè)實(shí)參都能轉(zhuǎn)換到對(duì)應(yīng)形參類(lèi)型的函數(shù)。個(gè)數(shù)對(duì)不上直接淘汰除非有默認(rèn)參數(shù)或者用了省略號(hào)...。類(lèi)型轉(zhuǎn)換必須存在合法路徑否則也淘汰。第三輪選最佳匹配best match。給每個(gè)可行函數(shù)的每個(gè)實(shí)參算一個(gè)轉(zhuǎn)換序列的等級(jí)然后逐個(gè)比如果函數(shù) A 在所有實(shí)參上的轉(zhuǎn)換都不比函數(shù) B 差并且至少有一個(gè)實(shí)參上嚴(yán)格更好那 A 勝出。如果比來(lái)比去誰(shuí)也壓不住誰(shuí)就是二義調(diào)用ambiguous call報(bào)錯(cuò)。注意最后這個(gè)逐步比較的規(guī)則它意味著沒(méi)有總分。不是給每個(gè)轉(zhuǎn)換打分加總求平均而是必須存在一個(gè)全面不劣、局部更優(yōu)的支配關(guān)系。這就是為什么兩個(gè)函數(shù)可能各有優(yōu)勢(shì)參數(shù)、最后誰(shuí)都贏(yíng)不了。2.2 轉(zhuǎn)換序列的五個(gè)等級(jí)與打分表判斷誰(shuí)更好靠的是實(shí)參到形參的轉(zhuǎn)換序列等級(jí)。從高到低排下來(lái)是這樣等級(jí)名稱(chēng)典型例子1精確匹配同類(lèi)型、數(shù)組轉(zhuǎn)指針、函數(shù)轉(zhuǎn)指針、加限定符int→const int2提升promotionchar/short/bool→intfloat→double3轉(zhuǎn)換conversionint→double、double→int、int→unsigned、指針 →bool4用戶(hù)定義轉(zhuǎn)換通過(guò)構(gòu)造函數(shù)或operator T()完成5省略號(hào)匹配傳給了...提升和轉(zhuǎn)換被分成兩個(gè)等級(jí)這一點(diǎn)特別關(guān)鍵也是很多人栽跟頭的地方。char → int是提升char → short是轉(zhuǎn)換所以void h(short); void h(int); char c a; h(c); // 選 h(int)因?yàn)樘嵘齼?yōu)于轉(zhuǎn)換如果你以為h(short)更接近那就錯(cuò)了。整型提升的動(dòng)機(jī)是int是天然的運(yùn)算類(lèi)型比int窄的類(lèi)型先提升到int是零成本的語(yǔ)義動(dòng)作標(biāo)準(zhǔn)把它單獨(dú)列一級(jí)就是為了讓h(int)在這種場(chǎng)景下穩(wěn)贏(yíng)。再看一個(gè)更繞的void k(float); void k(double); k(1); // int - float 和 int - double 都是浮點(diǎn)-整型轉(zhuǎn)換同等級(jí) → 二義這里兩個(gè)都是等級(jí) 3無(wú)法分出勝負(fù)編譯器只能報(bào)二義。很多人憑直覺(jué)覺(jué)得double更寬應(yīng)該選double但在重載規(guī)則里沒(méi)有寬窄之說(shuō)只認(rèn)等級(jí)。2.3 二義性的四個(gè)高發(fā)現(xiàn)場(chǎng)寫(xiě)代碼時(shí)遇到call of overloaded ... is ambiguous先往這幾個(gè)方向看?，F(xiàn)場(chǎng)一整型與浮點(diǎn)混合。上面k(1)那個(gè)例子就是。只要形參同時(shí)有整型和浮點(diǎn)類(lèi)型而實(shí)參是另一種整型基本就會(huì)撞?，F(xiàn)場(chǎng)二值傳遞與引用傳遞并存。void g(int); void g(int); int x 1; g(x); // 二義int 拷貝是精確匹配int 綁定也是精確匹配 g(1); // 只有 g(int) 可行因?yàn)?int 綁不了右值這是個(gè)經(jīng)典陷阱加一個(gè)引用版本的重載所有傳左值的調(diào)用點(diǎn)都可能突然變二義。要清楚引用版本和值版本在左值場(chǎng)景下是平級(jí)的?，F(xiàn)場(chǎng)三多個(gè)用戶(hù)定義轉(zhuǎn)換都能走通。struct A { A(int); }; struct B { B(int); }; void g(A); void g(B); g(1); // int 轉(zhuǎn) A 和轉(zhuǎn) B 都是用戶(hù)定義轉(zhuǎn)換同等級(jí) → 二義這類(lèi)問(wèn)題在大型項(xiàng)目里尤其惡心因?yàn)锳和B可能來(lái)自?xún)蓚€(gè)不同的第三方庫(kù)誰(shuí)都沒(méi)錯(cuò)湊一起就炸了。解法通常是給其中一個(gè)加explicit或者調(diào)用點(diǎn)顯式構(gòu)造。現(xiàn)場(chǎng)四long與unsigned long的世紀(jì)難題。void m(long); void m(unsigned long); m(0); // int - long 和 int - unsigned long 都是整型轉(zhuǎn)換 → 二義這就是標(biāo)準(zhǔn)庫(kù)在 32 位平臺(tái)上經(jīng)常要重載一大串整型類(lèi)型int、long、long long各來(lái)一份的原因——少一個(gè)就可能在某個(gè)平臺(tái)上二義。3. const、引用與引用限定符讓重載在修飾符上做文章3.1 頂層 const 被吃掉底層 const 才作數(shù)第 1 節(jié)提過(guò)一次這里展開(kāi)講透因?yàn)樗菫槭裁次业闹剌d聲明沖突了的頭號(hào)原因。判斷規(guī)則可以用一句話(huà)概括把形參類(lèi)型從最外層往里剝剝掉頂層 const 后類(lèi)型不同才叫重載。void p(int*); // 指向 int 的指針 void p(int* const); // 頂層 const等價(jià)于上一行 → 重定義 void p(const int*); // 指向 const int 的指針 → 合法重載 void p(int* const*); // 指向const 指針的指針 → 合法重載第三行和第四行的區(qū)別在于const int*是內(nèi)容不可改int* const*是指針本身不可改。指針嵌套時(shí)頂層和底層的判斷要一層層剝很多人寫(xiě)復(fù)雜聲明時(shí)就在這里翻車(chē)。我的經(jīng)驗(yàn)是遇到多層指針重載先寫(xiě)出來(lái)再用using給類(lèi)型起別名可讀性會(huì)好很多using IntPtr int*; void q(IntPtr); // 等價(jià) void q(int*) void q(const IntPtr); // 等價(jià) void q(int* const)注意這是引用合法3.2 左值引用與右值引用重載的實(shí)際用途C11 引入右值引用之后重載多了一個(gè)非常有價(jià)值的用法區(qū)分拷貝和移動(dòng)。void sink(std::string s); // 左值通常會(huì)拷貝 void sink(std::string s); // 右值可以直接搬走內(nèi)部資源調(diào)用sink(str)str是左值走第一個(gè)版本調(diào)用sink(make_str())或者sink(std::move(str))走第二個(gè)版本。標(biāo)準(zhǔn)庫(kù)里所有的容器、std::string、智能指針都靠這個(gè)機(jī)制實(shí)現(xiàn)移動(dòng)語(yǔ)義。判斷規(guī)則很直接右值引用只能綁右值左值引用只能綁左值const左值引用除外它兩邊都能綁。這里有個(gè)反直覺(jué)的點(diǎn)const T是萬(wàn)能的左值右值都能綁所以一旦同時(shí)存在const T和T傳右值時(shí)編譯器會(huì)優(yōu)先選T——因?yàn)榫_匹配的優(yōu)先級(jí)高于加限定符的匹配。這也是完美轉(zhuǎn)發(fā)鏈條里能正確把右值傳下去的基礎(chǔ)。寫(xiě)重載時(shí)要注意一個(gè)坑不要同時(shí)寫(xiě)過(guò)多個(gè)引用版本導(dǎo)致左值調(diào)用二義。比如同時(shí)寫(xiě)f(T)和f(const T)傳非 const 左值時(shí)會(huì)選T少一層限定轉(zhuǎn)換傳 const 左值或右值時(shí)選const T這兩個(gè)是好搭檔但如果再塞一個(gè)f(T)左值調(diào)用立刻二義。引用和值版本混用必須非常小心。3.3 成員函數(shù) const 重載與迭代器的經(jīng)典設(shè)計(jì)成員函數(shù)可以在末尾加const表示這個(gè)函數(shù)不修改對(duì)象狀態(tài)。這個(gè)const參與重載而且它有一個(gè)非常實(shí)用的規(guī)則非 const 對(duì)象優(yōu)先調(diào)用非 const 版本const 對(duì)象只能調(diào) const 版本。標(biāo)準(zhǔn)庫(kù)的std::vector::begin()就是最好的例子iterator begin(); // 非 const 對(duì)象調(diào)用返回可寫(xiě)迭代器 const_iterator begin() const; // const 對(duì)象調(diào)用返回只讀迭代器兩行代碼實(shí)現(xiàn)了只要對(duì)象是 const 的你就別想通過(guò)迭代器改它這個(gè)編譯期約束零運(yùn)行時(shí)開(kāi)銷(xiāo)。同一套模式在operator[]、at()、find()里到處都是。我實(shí)際項(xiàng)目里也常這么設(shè)計(jì)比如一個(gè)緩存類(lèi)class Cache { public: Value get(const Key k); // 允許調(diào)用方修改會(huì)記錄臟標(biāo)記 const Value get(const Key k) const; // 只讀不碰內(nèi)部狀態(tài) };一旦有了這對(duì)重載任何拿到const Cache的地方自動(dòng)獲得只讀視圖接口語(yǔ)義就自解釋了。唯一要注意的是兩個(gè)版本的行為必須一致不要一個(gè)版本加鎖一個(gè)版本不加、一個(gè)返回值一個(gè)返回引用那屬于自己給自己挖坑。通常的寫(xiě)法是讓非 const 版本調(diào)用 const 版本再const_cast掉返回值上的 const避免邏輯重復(fù)。4. 三種讓重載失效的場(chǎng)景C 鏈接、默認(rèn)參數(shù)、函數(shù)指針4.1 extern C 為什么必須放棄重載C 語(yǔ)言沒(méi)有名字修飾函數(shù)符號(hào)就是函數(shù)名本身。C 如果想把一個(gè)函數(shù)暴露給 C 代碼調(diào)用就必須關(guān)掉參數(shù)編碼用extern C聲明。而一旦關(guān)了名字修飾重載在物理上就不可能存在——兩個(gè)同名函數(shù)會(huì)生成同一個(gè)符號(hào)鏈接器分不清誰(shuí)是誰(shuí)。extern C void cb(int); extern C void cb(double); // 錯(cuò)誤無(wú)法在 C 鏈接下重載實(shí)際工程中最常見(jiàn)的形式是頭文件里的條件編譯#ifdef __cplusplus extern C { #endif void api_init(int mode); void api_run(const char* cfg); #ifdef __cplusplus } #endif這樣 C 和 C 都能包含同一個(gè)頭文件C 側(cè)看到extern C會(huì)保留 C 鏈接雙方符號(hào)名對(duì)得上。要記住的邊界是extern C只管鏈接名不管語(yǔ)言特性。函數(shù)體里照樣可以寫(xiě)類(lèi)、模板、異常只是這個(gè)函數(shù)名不能被重載也不能被 C 代碼直接調(diào)用的東西比如類(lèi)類(lèi)型參數(shù)出現(xiàn)在簽名里。4.2 默認(rèn)參數(shù)和重載放一起就是定時(shí)炸彈默認(rèn)參數(shù)不參與重載決議本身但它會(huì)讓可行集的規(guī)模變大于是二義的概率飆升。最經(jīng)典的例子void f(int a); void f(int a, int b 0); f(1); // 二義兩個(gè)都能接一個(gè)實(shí)參 f(1, 2); // 只有第二個(gè)可行沒(méi)問(wèn)題f(1)這里第一個(gè)函數(shù)參數(shù)個(gè)數(shù)精確對(duì)上第二個(gè)靠默認(rèn)參數(shù)湊夠個(gè)數(shù)兩個(gè)都在可行集里轉(zhuǎn)換等級(jí)還完全一樣編譯器只能報(bào)二義。再隱蔽一點(diǎn)的情形void g(int a, int b 0); void g(double a); g(1); // 二義int-int 是精確匹配int-double 是轉(zhuǎn)換這個(gè)案例里有意思的地方在于第二個(gè)函數(shù)的轉(zhuǎn)換等級(jí)明明更差為什么還二義因?yàn)槟J(rèn)參數(shù)不算作一次轉(zhuǎn)換。第一個(gè)函數(shù)在第一個(gè)實(shí)參上是精確匹配第二個(gè)實(shí)參靠默認(rèn)參數(shù)補(bǔ)而第二個(gè)函數(shù)在第一個(gè)實(shí)參上是轉(zhuǎn)換。逐參數(shù)比的時(shí)候第一個(gè)函數(shù)在第一個(gè)參數(shù)上更優(yōu)但第二個(gè)函數(shù)參數(shù)個(gè)數(shù)更貼合——標(biāo)準(zhǔn)規(guī)定默認(rèn)參數(shù)補(bǔ)位不降低等級(jí)。最后比不出支配關(guān)系就二義了。我的建議很直接同一個(gè)作用域里默認(rèn)參數(shù)和同名重載不要共存。要用默認(rèn)參數(shù)就用一個(gè)函數(shù)要用重載就寫(xiě)全別混著來(lái)。維護(hù)別人代碼時(shí)看到這種結(jié)構(gòu)第一反應(yīng)就應(yīng)該是這里遲早出事。4.3 取重載函數(shù)地址時(shí)必須先定型當(dāng)你把重載函數(shù)名當(dāng)作值來(lái)用時(shí)編譯器必須從目標(biāo)類(lèi)型反推你要哪個(gè)版本void calc(int); void calc(double); void (*p1)(int) calc; // 目標(biāo)類(lèi)型是 void(*)(int)選 calc(int) auto p2 calc; // 錯(cuò)誤auto 推不出要哪一個(gè) auto p3 static_castvoid(*)(double)(calc); // 顯式指定合法auto p2 calc;報(bào)錯(cuò)的原因是auto需要從初始化表達(dá)式推導(dǎo)類(lèi)型而初始化表達(dá)式是個(gè)重載集合沒(méi)有確定的類(lèi)型推導(dǎo)卡住了。這里的解決思路是給編譯器一個(gè)明確的目標(biāo)類(lèi)型static_cast或者先定義一個(gè)函數(shù)指針類(lèi)型再初始化都能達(dá)到目的。同一類(lèi)問(wèn)題還會(huì)出現(xiàn)在把重載函數(shù)傳給模板參數(shù)的時(shí)候template typename F void call(F f); call(calc); // 錯(cuò)誤模板推導(dǎo)不參與重載決議 call(static_castvoid(*)(int)(calc)); // 正確這一點(diǎn)在做回調(diào)注冊(cè)、事件系統(tǒng)時(shí)天天遇到。我一般的做法是如果某個(gè)函數(shù)名需要被當(dāng)作值傳遞就干脆給它起不同的名字或者用 lambda 包一層。lambda 的好處是類(lèi)型明確、捕獲清晰比強(qiáng)轉(zhuǎn)函數(shù)指針可讀得多。5. 繼承與模板介入后的名字查找重載被隱藏了5.1 派生類(lèi)同名函數(shù)為什么會(huì)蓋掉基類(lèi)的全部重載這是繼承場(chǎng)景下最讓人意外的一條規(guī)則派生類(lèi)只要聲明了任意一個(gè)同名函數(shù)基類(lèi)里所有同名函數(shù)包括所有重載版本都會(huì)被隱藏。名字查找先按作用域找找到派生類(lèi)這一層有f就停下來(lái)根本不會(huì)往基類(lèi)繼續(xù)找。struct Base { void f(int); void f(double); }; struct Derived : Base { void f(const char*); // 注意這一個(gè)聲明會(huì)隱藏 Base 的所有 f }; Derived d; d.f(1); // 錯(cuò)誤Base::f(int) 被隱藏了int 轉(zhuǎn) const char* 不合法 d.f(hello); // 正確走 Derived::f d.Base::f(1); // 這樣寫(xiě)才行但很難看這個(gè)規(guī)則的設(shè)計(jì)動(dòng)機(jī)是避免意外如果不隱藏你往基類(lèi)里加一個(gè)重載派生類(lèi)里原本能編譯的調(diào)用可能悄悄改走基類(lèi)版本行為變了但代碼沒(méi)動(dòng)排查起來(lái)極難。標(biāo)準(zhǔn)選擇了更保守的策略——寧可報(bào)錯(cuò)也不要靜默改變行為。5.2 using 聲明把基類(lèi)重載請(qǐng)回來(lái)要恢復(fù)基類(lèi)的重載集合用using聲明引入struct Derived : Base { using Base::f; // 把 Base 的所有 f 引入本作用域和下面的 f 一起參與重載 void f(const char*); }; Derived d; d.f(1); // 現(xiàn)在正確調(diào)用 Base::f(int) d.f(hello); // 調(diào)用 Derived::f(const char*)using Base::f;的效果是把基類(lèi)所有名為f的函數(shù)作為一組重載候選引入派生類(lèi)作用域和派生類(lèi)自己聲明的版本平起平坐。這在給標(biāo)準(zhǔn)庫(kù)類(lèi)型做擴(kuò)展時(shí)特別有用比如你繼承std::vector加一個(gè)自己的push_back一定要寫(xiě)using std::vectorT::push_back;否則原來(lái)的重載全被隱藏。5.3 非模板函數(shù)、模板函數(shù)與特化的優(yōu)先級(jí)順序當(dāng)普通函數(shù)和模板函數(shù)同名同參時(shí)編譯器優(yōu)先選普通函數(shù)。這是有意為之的逃生通道你可以先寫(xiě)一個(gè)泛型模板后面發(fā)現(xiàn)某個(gè)類(lèi)型需要特殊處理直接寫(xiě)一個(gè)非模板重載就行不用動(dòng)模板。template typename T void show(T v) { std::cout template: v \n; } void show(int v) { std::cout exact: v \n; } show(1); // 調(diào)用非模板版本輸出 exact show(1.5); // 調(diào)用模板 show(1.0f); // 調(diào)用模板這里要注意一個(gè)反直覺(jué)的細(xì)節(jié)如果模板版本的匹配度更好它可以贏(yíng)過(guò)非模板版本。比如模板是void show(T)實(shí)參是非 const 左值int模板實(shí)例化后得到精確匹配的int而非模板版本void show(int)需要一次拷貝兩者在精確匹配層面打平但引用綁定的排序規(guī)則會(huì)讓模板占優(yōu)。所以非模板優(yōu)先只適用于兩者轉(zhuǎn)換序列完全等價(jià)的情況一旦模板推導(dǎo)出更精確的類(lèi)型它就能反超。至于模板特化它本質(zhì)上是給某個(gè)具體類(lèi)型提供了一個(gè)獨(dú)立實(shí)現(xiàn)參與重載的方式是實(shí)例化之后當(dāng)普通函數(shù)用。實(shí)踐中我一般遵循的順序是先看有沒(méi)有非模板重載再看有沒(méi)有顯式特化最后才落到主模板。用if constexpr替代特化也是現(xiàn)代 C 的常見(jiàn)做法能少寫(xiě)一堆模板膠水。順便提一下 IDE 相關(guān)的問(wèn)題。在 VSCode 里寫(xiě)重載代碼按CtrlShiftSpace可以觸發(fā)參數(shù)提示候選列表會(huì)把同名函數(shù)的多個(gè)簽名全部列出來(lái)用上下鍵切換查看。如果發(fā)現(xiàn)某個(gè)重載死活識(shí)別不出來(lái)問(wèn)題往往不在代碼而在 IntelliSense 的配置——當(dāng)工程里存在compile_commands.json或者設(shè)置了configurationProvider時(shí)c_cpp_properties.json里手寫(xiě)的includePath會(huì)退居次要位置導(dǎo)致頭文件明明在路徑里卻提示找不到符號(hào)的假象。這種情況下先確認(rèn)compile_commands.json是否是最新的比反復(fù)改includePath有效得多。6. 工程里怎么決定重載、默認(rèn)參數(shù)還是換個(gè)名字6.1 三種方案的選擇依據(jù)對(duì)比表面對(duì)功能相似但參數(shù)不同的需求至少有三種寫(xiě)法可選。我在評(píng)審代碼時(shí)經(jīng)常問(wèn)作者為什么選這個(gè)答案能反映一個(gè)工程師對(duì)接口設(shè)計(jì)的理解深度。方案適用場(chǎng)景優(yōu)勢(shì)代價(jià)函數(shù)重載參數(shù)類(lèi)型不同、語(yǔ)義一致如print(int)/print(const std::string)調(diào)用方寫(xiě)法統(tǒng)一語(yǔ)義清晰隱式轉(zhuǎn)換可能選錯(cuò)版本二義風(fēng)險(xiǎn)默認(rèn)參數(shù)參數(shù)個(gè)數(shù)不同、后幾個(gè)有合理默認(rèn)值減少函數(shù)數(shù)量接口扁平與重載混用會(huì)二義默認(rèn)值變化影響所有調(diào)用方不同函數(shù)名語(yǔ)義差異明顯或需要強(qiáng)制調(diào)用方明確意圖零歧義調(diào)用點(diǎn)自解釋名字變長(zhǎng)接口變多判斷標(biāo)準(zhǔn)我一般用兩條語(yǔ)義是否完全一致以及誤調(diào)用會(huì)不會(huì)造成嚴(yán)重后果。print的各個(gè)版本語(yǔ)義完全一致只是展示形式不同用重載沒(méi)問(wèn)題而打開(kāi)文件和創(chuàng)建文件語(yǔ)義差異明顯哪怕參數(shù)類(lèi)型一樣也應(yīng)該起兩個(gè)名字open()和create()比open(bool create_if_missing)清楚一萬(wàn)倍。6.2 隱式轉(zhuǎn)換導(dǎo)致的誤調(diào)用與 explicit 的價(jià)值重載最危險(xiǎn)的時(shí)刻是編譯器在你沒(méi)打算寫(xiě)東西的地方找到了轉(zhuǎn)換路徑?？催@個(gè)例子class DeviceId { public: DeviceId(int raw); // 允許從整型構(gòu)造 // ... }; void connect(const DeviceId id); void connect(const std::string name); connect(12345); // 你以為傳的是編號(hào)實(shí)際走上了 DeviceId 的構(gòu)造路徑這類(lèi)問(wèn)題的難纏之處在于代碼能編過(guò)、看起來(lái)合理但運(yùn)行結(jié)果不是你要的。防御手段就是給單參數(shù)構(gòu)造函數(shù)加explicitclass DeviceId { public: explicit DeviceId(int raw); };加上之后connect(12345)直接編譯報(bào)錯(cuò)必須寫(xiě)成connect(DeviceId(12345))。多打幾個(gè)字換來(lái)的是調(diào)用點(diǎn)意圖明確、隱式轉(zhuǎn)換鏈徹底切斷。C 核心指南里有一條建議我完全認(rèn)同除拷貝/移動(dòng)構(gòu)造之外的單參數(shù)構(gòu)造函數(shù)默認(rèn)加explicit需要隱式轉(zhuǎn)換時(shí)再摘掉而不是反過(guò)來(lái)。同理類(lèi)型轉(zhuǎn)換運(yùn)算符也應(yīng)該加explicit尤其是operator bool。標(biāo)準(zhǔn)庫(kù)的std::ifstream就是explicit operator bool()所以if (fs)能寫(xiě)但int n fs;編不過(guò)——避免了流對(duì)象被悄悄轉(zhuǎn)成整數(shù)參與運(yùn)算的荒唐場(chǎng)景。6.3 調(diào)試時(shí)怎么確認(rèn)真正走到了哪個(gè)重載當(dāng)你懷疑選錯(cuò)了版本最直接的驗(yàn)證方式是在每個(gè)重載里打一行帶特征信息的日志比如打印__PRETTY_FUNCTION__GCC/Clang或者_(dá)_FUNCSIG__MSVC它們會(huì)輸出完整的函數(shù)簽名包括參數(shù)類(lèi)型和 const 限定比重載名本身有用得多void handle(int v) { std::cout __PRETTY_FUNCTION__ \n; // void handle(int) }更徹底的做法是直接看符號(hào)表。把可疑的調(diào)用點(diǎn)單獨(dú)抽一個(gè)小文件編譯成目標(biāo)文件用nm -C反解符號(hào)一眼就能看出鏈接進(jìn)去的到底是哪個(gè)修飾名。如果函數(shù)是虛函數(shù)或者經(jīng)過(guò)模板實(shí)例化可以加-O0 -g編譯后用objdump -d配合cfilt看反匯編里的調(diào)用目標(biāo)。還有個(gè)小技巧給不同重載掛不同的[[deprecated]]標(biāo)記做二分排查。當(dāng)你懷疑某個(gè)舊版本被意外調(diào)用給它加個(gè)deprecated重新編譯時(shí)如果冒出新警告說(shuō)明調(diào)用路徑確實(shí)走到那兒了。這個(gè)方法比打日志更輕量排查完把標(biāo)記刪掉就行。調(diào)試完記得回頭問(wèn)一句為什么會(huì)選到它。絕大多數(shù)誤調(diào)用都能歸到兩類(lèi)原因一是參數(shù)里有隱式轉(zhuǎn)換尤其是被explicit攔掉的那些二是作用域里多了一個(gè)你沒(méi)注意到的重載。找到根因、補(bǔ)上explicit或者刪除多余重載比在下游到處加顯式轉(zhuǎn)換要健康得多。我個(gè)人對(duì)函數(shù)重載的體會(huì)是它是一把銳利但需要說(shuō)明書(shū)的刀。用得好接口能寫(xiě)得極其干凈std::string的 API 就是范本用得隨意就會(huì)給后來(lái)人埋下一個(gè)個(gè)隱式轉(zhuǎn)換的雷。這些年我給自己定了兩條土規(guī)矩——語(yǔ)義不一致的函數(shù)絕不用同一個(gè)名字除拷貝構(gòu)造外的單參數(shù)構(gòu)造函數(shù)一律加explicit。這兩條攔住的問(wèn)題比我后來(lái)花時(shí)間排查的加起來(lái)還多。