1. 為什么你需要一份C速查手冊干了這么多年C我電腦里一直存著幾個(gè)自己寫的“小抄”文件。每次新開一個(gè)項(xiàng)目或者隔段時(shí)間回頭維護(hù)老代碼總會遇到那么幾個(gè)語法細(xì)節(jié)突然想不起來——比如constexpr和const在函數(shù)聲明里到底怎么組合才合法std::move之后原對象到底是個(gè)什么狀態(tài)這些細(xì)節(jié)翻書太慢網(wǎng)上搜又得在一堆廣告和過時(shí)答案里篩選。所以一份靠譜的、能快速定位的速查手冊對C開發(fā)者來說不是錦上添花而是實(shí)實(shí)在在的生產(chǎn)力工具。這份手冊的目標(biāo)很明確它不是一本系統(tǒng)的教科書不會從“Hello World”開始教你編程。它面向的是已經(jīng)對C有基本了解正在實(shí)際項(xiàng)目中編碼或者準(zhǔn)備面試、需要快速回顧關(guān)鍵知識點(diǎn)的開發(fā)者。你可以把它想象成一份“應(yīng)急工具箱”當(dāng)你在代碼里卡殼或者對某個(gè)語法點(diǎn)的記憶模糊時(shí)能在這里快速找到準(zhǔn)確、清晰的答案。手冊的內(nèi)容會緊扣“基本語法”和“函數(shù)使用”這兩個(gè)核心覆蓋從變量定義到現(xiàn)代C特性從函數(shù)聲明到各種調(diào)用語義的方方面面。我會盡量用最直白的語言和最具代表性的代碼片段幫你把知識點(diǎn)“釘”在腦子里。2. 從地基開始C核心語法元素速覽寫C代碼就像用樂高積木搭建城堡你得先認(rèn)清手里每一塊積木的形狀和用途。這一節(jié)我們快速過一遍那些最基礎(chǔ)、但最容易混淆的語法積木。2.1 變量、常量與基本數(shù)據(jù)類型不僅僅是int和float定義變量誰都會但里面的門道不少。首先是初始化方式這直接關(guān)系到代碼的安全性和效率。int a; // 默認(rèn)初始化值未定義可能是任意值這是潛在的Bug源頭 int b 10; // 拷貝初始化 int c(20); // 直接初始化對于內(nèi)置類型與拷貝初始化幾乎無異 int d{30}; // 列表初始化C11引入推薦使用能防止窄化轉(zhuǎn)換 int e {40}; // 帶等號的列表初始化 // 列表初始化的安全特性 double x 5.5; int narrow{x}; // 錯(cuò)誤從double到int是窄化轉(zhuǎn)換編譯器會報(bào)錯(cuò) int old_style x; // 警告但可能通過值被截?cái)酁?對于常量const和constexpr的區(qū)別必須搞清楚。const主要語義是“運(yùn)行時(shí)常量”即它的值在運(yùn)行時(shí)確定后不可修改。而constexprC11是“編譯時(shí)常量”它的值必須在編譯期就能計(jì)算出來。const int size getSize(); // 正確getSize()在運(yùn)行時(shí)返回值size是運(yùn)行時(shí)常量 constexpr int max_size 1024; // 正確字面量編譯期可知 constexpr int computed_size max_size * 2; // 正確編譯期可計(jì)算 // constexpr int runtime_size getSize(); // 錯(cuò)誤getSize()不是constexpr函數(shù)值編譯期未知constexpr函數(shù)可以在編譯期求值這是實(shí)現(xiàn)元編程和性能優(yōu)化的關(guān)鍵。當(dāng)函數(shù)被聲明為constexpr時(shí)如果傳入的參數(shù)是編譯期常量那么函數(shù)調(diào)用會在編譯期完成計(jì)算。constexpr int square(int x) { return x * x; } int array[square(5)]; // 正確數(shù)組大小在編譯期被計(jì)算為25 int runtime_val 10; int another_array[square(runtime_val)]; // 錯(cuò)誤runtime_val不是編譯期常量2.2 指針、引用與const的曖昧關(guān)系這是C面試的必考區(qū)也是實(shí)際代碼中錯(cuò)誤的高發(fā)地。核心是理解“指向”和“別名”的差異以及const修飾的不同位置帶來的不同效果。指針Pointer存儲另一個(gè)變量內(nèi)存地址的變量。它本身是一個(gè)對象擁有自己的內(nèi)存空間和地址。引用Reference一個(gè)已存在對象的別名。它不是對象沒有獨(dú)立的內(nèi)存空間聲明時(shí)必須初始化且一旦綁定不能更改。int value 42; int* ptr value; // ptr是指針存儲value的地址 int ref value; // ref是引用是value的別名 *ptr 100; // 通過指針解引用修改value的值 ref 200; // 通過引用修改value的值語法更簡潔 // int ref2; // 錯(cuò)誤引用必須初始化當(dāng)const登場組合就復(fù)雜了。記住一個(gè)原則const修飾它左邊的東西如果左邊沒東西就修飾右邊的東西。int a 1; const int b 2; // b是常量值不可變 // 指針與const的組合 const int* p1 a; // p1是一個(gè)指針指向一個(gè)常量整數(shù)底層const。指針本身可以改指向但不能通過它修改所指的值。 int const* p2 a; // 與p1完全等價(jià)另一種寫法。 int* const p3 a; // p3是一個(gè)常量指針指向一個(gè)整數(shù)頂層const。指針本身不能改指向但可以通過它修改所指的值。 const int* const p4 a; // p4是一個(gè)常量指針指向一個(gè)常量整數(shù)。既不能改指向也不能通過它改值。 // 引用天生就有“不能重新綁定”的特性所以沒有“常量引用”這種說法因?yàn)橐帽旧砭筒荒茏儭?// 我們常說的“常量引用”指的是指向常量的引用。 const int r1 a; // r1是一個(gè)指向常量的引用。不能通過r1修改a的值。 // int const r2 a; // 錯(cuò)誤引用本身就不能重新綁定再加const是多余的。在函數(shù)參數(shù)傳遞中常量引用const T是最常見且高效的方式它避免了拷貝同時(shí)承諾函數(shù)內(nèi)部不會修改實(shí)參。2.3 作用域、生命周期與存儲期變量在哪可見作用域它何時(shí)被創(chuàng)建和銷毀生命周期以及它被放在內(nèi)存的哪個(gè)區(qū)域存儲期這三者緊密相關(guān)。作用域Scope變量在代碼中的可見范圍。主要有塊作用域{}內(nèi)、函數(shù)作用域、類作用域、命名空間作用域和全局作用域。生命周期Lifetime變量從創(chuàng)建分配內(nèi)存并初始化到銷毀釋放內(nèi)存的時(shí)間段。存儲期Storage Duration決定生命周期和內(nèi)存位置的屬性。自動存儲期automatic局部非static變量。在進(jìn)入其作用域時(shí)創(chuàng)建離開時(shí)銷毀。通常位于棧上。靜態(tài)存儲期static全局變量、命名空間變量、類的靜態(tài)成員、函數(shù)內(nèi)的static局部變量。在程序開始時(shí)創(chuàng)建程序結(jié)束時(shí)銷毀。位于全局/靜態(tài)數(shù)據(jù)區(qū)。動態(tài)存儲期dynamic通過new/new[]運(yùn)算符分配的對象。生命周期由程序員手動控制delete/delete[]。位于堆上。線程存儲期thread_localC11引入每個(gè)線程擁有該變量的獨(dú)立實(shí)例。一個(gè)經(jīng)典陷阱是返回局部變量的引用或指針int badFunction() { int local 10; // local是自動存儲期函數(shù)結(jié)束即銷毀 return local; // 返回一個(gè)懸垂引用dangling reference絕對錯(cuò)誤 } int* anotherBadFunction() { int local 20; return local; // 返回一個(gè)懸垂指針dangling pointer絕對錯(cuò)誤 }函數(shù)內(nèi)的static局部變量則不同它只初始化一次生命周期持續(xù)到程序結(jié)束常用于實(shí)現(xiàn)單例模式或函數(shù)調(diào)用計(jì)數(shù)器。int callCount() { static int count 0; // 只在第一次調(diào)用時(shí)初始化 return count; } // 無論調(diào)用多少次callCount內(nèi)存中只有一個(gè)count變量。3. 函數(shù)從聲明到調(diào)用的完整指南函數(shù)是C程序的骨架。用好函數(shù)代碼才能清晰、可復(fù)用。這一節(jié)我們深入函數(shù)的每一個(gè)細(xì)節(jié)。3.1 函數(shù)聲明、定義與分離編譯聲明Declaration告訴編譯器函數(shù)的存在、名字、參數(shù)類型和返回類型。定義Definition提供了函數(shù)的具體實(shí)現(xiàn)函數(shù)體。一個(gè)函數(shù)可以聲明多次但只能定義一次。// max.h (頭文件) - 聲明 #ifndef MAX_H // 頭文件守衛(wèi)防止重復(fù)包含 #define MAX_H int max(int a, int b); // 函數(shù)聲明 #endif // max.cpp (源文件) - 定義 #include max.h int max(int a, int b) { // 函數(shù)定義 return (a b) ? a : b; } // main.cpp (源文件) - 使用 #include max.h int main() { int result max(5, 3); // 鏈接器會找到max.cpp中的定義 return 0; }分離編譯是C項(xiàng)目組織的基石。編譯器Compiler單獨(dú)編譯每個(gè).cpp文件為對象文件.obj或.o鏈接器Linker再將所有對象文件和庫文件合并成一個(gè)可執(zhí)行文件。頭文件.h或.hpp的作用就是在編譯期提供聲明確保所有用到該函數(shù)的源文件都知道它的接口。3.2 參數(shù)傳遞值、指針與引用的抉擇如何把數(shù)據(jù)傳給函數(shù)三種方式各有優(yōu)劣。傳值Pass by Value函數(shù)獲得實(shí)參的一個(gè)副本。對形參的修改不影響實(shí)參。優(yōu)點(diǎn)簡單安全實(shí)參被保護(hù)。缺點(diǎn)對于大型對象如結(jié)構(gòu)體、類拷貝開銷大。適用場景內(nèi)置類型int,double等、小型結(jié)構(gòu)體、函數(shù)不需要修改實(shí)參時(shí)。void modifyValue(int x) { x 100; // 只修改了副本 } int a 5; modifyValue(a); // a 仍然是 5傳指針Pass by Pointer傳遞實(shí)參的地址。函數(shù)通過解引用操作符*可以修改實(shí)參。優(yōu)點(diǎn)避免拷貝大型對象函數(shù)可以修改實(shí)參可以傳遞“空指針”nullptr表示可選參數(shù)。缺點(diǎn)語法稍顯繁瑣需要取地址和*解引用調(diào)用者可能意外傳遞空指針或無效指針需在函數(shù)內(nèi)做檢查。適用場景需要修改實(shí)參且實(shí)參可能為“空”時(shí)C風(fēng)格API交互。void modifyViaPointer(int* ptr) { if (ptr) { // 必須檢查指針有效性 *ptr 100; } } int a 5; modifyViaPointer(a); // a 現(xiàn)在是 100傳引用Pass by Reference傳遞實(shí)參的別名。函數(shù)可以直接使用形參名修改實(shí)參。優(yōu)點(diǎn)語法簡潔像操作普通變量一樣避免拷貝沒有空引用的風(fēng)險(xiǎn)引用必須綁定到有效對象。缺點(diǎn)函數(shù)內(nèi)部可能意外修改實(shí)參可通過const引用避免調(diào)用者有時(shí)不清楚函數(shù)是否會修改實(shí)參。適用場景需要修改實(shí)參且實(shí)參必須有效時(shí)傳遞大型對象且函數(shù)不需要修改它時(shí)用const T。void modifyViaReference(int ref) { ref 100; // 直接修改無需解引用 } int a 5; modifyViaReference(a); // 調(diào)用時(shí)無需取地址 // a 現(xiàn)在是 100現(xiàn)代C的通用建議輸入?yún)?shù)函數(shù)只讀對于內(nèi)置類型和小型、可廉價(jià)拷貝的類型如std::string_view,std::span考慮傳值。對于其他類型使用const T。輸出參數(shù)或輸入/輸出參數(shù)函數(shù)需要修改使用T非const引用。如果參數(shù)可選可以使用指針T*并允許nullptr或者使用std::optionalTC17但需注意optional的引用特性。移動語義C11對于支持移動語義的類型如std::vector,std::string如果函數(shù)需要接管參數(shù)的所有權(quán)即“吞噬”參數(shù)可以使用傳值并配合std::move或者使用右值引用T。這屬于更高級的主題但非常重要。// 接受一個(gè)string并可能修改它輸出參數(shù) void processAndOutput(std::string str); // 接受一個(gè)string只讀取它輸入?yún)?shù) void readOnly(const std::string str); // 接受一個(gè)string并取得其所有權(quán)移動語義 void takeOwnership(std::string str) { // 傳值調(diào)用者可以傳遞臨時(shí)對象或使用std::move // ... 使用str } // str在這里被銷毀 std::string data hello; takeOwnership(std::move(data)); // data的內(nèi)容被“移動”到函數(shù)內(nèi)部data變?yōu)橛行У粗付顟B(tài)通常為空3.3 返回類型與返回值優(yōu)化RVO函數(shù)的返回類型不僅定義了返回什么還影響著返回的效率和方式。返回內(nèi)置類型或?qū)ο笞畛Ｒ?。如果返回的是局部對象在C17之前可能會發(fā)生拷貝或移動。但編譯器通常會進(jìn)行返回值優(yōu)化Return Value Optimization, RVO或命名返回值優(yōu)化Named Return Value Optimization, NRVO直接在調(diào)用者的棧幀上構(gòu)造返回對象避免一次拷貝/移動。這是編譯器被允許進(jìn)行的優(yōu)化但不是強(qiáng)制的。std::string createString() { std::string local Hello; return local; // 編譯器大概率會進(jìn)行NRVO避免拷貝/移動local } auto s createString(); // s直接在main的棧幀上構(gòu)造為了充分利用移動語義和RVO返回局部對象時(shí)直接返回它不要返回其引用或指針那會導(dǎo)致懸垂引用/指針。返回引用必須確保返回的引用所引用的對象在函數(shù)返回后依然存在。通常用于返回類成員的引用、靜態(tài)局部變量的引用或者傳入的引用參數(shù)。const std::string getConstantName() { static const std::string name ConstantName; // 靜態(tài)存儲期 return name; // 安全name生命周期持續(xù)到程序結(jié)束 } class MyClass { std::string data_; public: const std::string getData() const { return data_; } // 返回成員引用安全 std::string getMutableData() { return data_; } // 返回非const引用允許修改 };返回指針類似返回引用必須確保指針指向的對象在函數(shù)返回后有效。常用于返回動態(tài)分配的對象此時(shí)調(diào)用者需負(fù)責(zé)delete或返回指向靜態(tài)/全局對象的指針。返回void函數(shù)不返回任何值。尾置返回類型C11當(dāng)返回類型復(fù)雜尤其是依賴于參數(shù)類型時(shí)可以使用尾置返回類型使聲明更清晰。// 傳統(tǒng)方式返回類型難以閱讀 int (*func(int))[10]; // 使用尾置返回類型 (C11) auto func(int) - int(*)[10]; // 結(jié)合decltype和模板用于推導(dǎo)返回類型 templatetypename T, typename U auto add(T t, U u) - decltype(t u) { return t u; }3.4 函數(shù)重載、默認(rèn)參數(shù)與內(nèi)聯(lián)函數(shù)函數(shù)重載Overloading在同一作用域內(nèi)多個(gè)函數(shù)可以共享同一個(gè)名字只要它們的參數(shù)列表參數(shù)的類型、數(shù)量或順序不同。返回類型不同不足以構(gòu)成重載。重載解析是編譯器在調(diào)用點(diǎn)根據(jù)實(shí)參類型選擇最匹配函數(shù)的過程。void print(int i) { std::cout int: i std::endl; } void print(double d) { std::cout double: d std::endl; } void print(const std::string s) { std::cout string: s std::endl; } print(42); // 調(diào)用 print(int) print(3.14); // 調(diào)用 print(double) print(hello); // 調(diào)用 print(const std::string)注意字符串字面量會轉(zhuǎn)換為std::string注意重載函數(shù)應(yīng)執(zhí)行語義上相似的操作。如果函數(shù)行為完全不同使用不同的名字會更清晰。默認(rèn)參數(shù)Default Arguments在函數(shù)聲明中為參數(shù)指定一個(gè)默認(rèn)值。調(diào)用時(shí)如果省略該參數(shù)則使用默認(rèn)值。默認(rèn)參數(shù)必須從右向左連續(xù)設(shè)置。void createWindow(int width, int height, const std::string title My Window, bool fullscreen false); createWindow(800, 600); // 使用默認(rèn)的title和fullscreen createWindow(1024, 768, Game); // 指定title使用默認(rèn)的fullscreen // createWindow(640, 480, , true); // 錯(cuò)誤不能跳過中間的參數(shù)默認(rèn)參數(shù)在函數(shù)聲明處指定通常在頭文件中且一個(gè)參數(shù)只能被賦予一次默認(rèn)值即使多次聲明后續(xù)聲明也不能改變已有的默認(rèn)值。內(nèi)聯(lián)函數(shù)Inline Functions使用inline關(guān)鍵字建議編譯器將函數(shù)調(diào)用處用函數(shù)體替換以消除函數(shù)調(diào)用的開銷壓棧、跳轉(zhuǎn)、返回等。這只是一種建議編譯器最終決定是否內(nèi)聯(lián)。優(yōu)點(diǎn)可能提升性能對于小而頻繁調(diào)用的函數(shù)。缺點(diǎn)可能增加代碼體積函數(shù)體被復(fù)制多份修改內(nèi)聯(lián)函數(shù)需要重新編譯所有包含它的源文件。適用場景函數(shù)體非常小如一兩行、且被頻繁調(diào)用。注意在類定義內(nèi)部直接實(shí)現(xiàn)的成員函數(shù)默認(rèn)是內(nèi)聯(lián)的。// 頭文件 math_utils.h inline int square(int x) { // 內(nèi)聯(lián)函數(shù)定義通常放在頭文件 return x * x; }4. 現(xiàn)代C函數(shù)特性提升安全與表達(dá)力C11/14/17/20引入了一系列革命性的特性徹底改變了我們編寫函數(shù)的方式。掌握它們是寫出現(xiàn)代、高效、安全C代碼的關(guān)鍵。4.1auto與尾置返回類型讓編譯器幫你推導(dǎo)auto用于自動推導(dǎo)變量類型。在函數(shù)中它最大的用處是簡化復(fù)雜類型的聲明并與尾置返回類型結(jié)合處理返回類型推導(dǎo)。// 傳統(tǒng)方式迭代器類型冗長 std::vectorstd::pairint, std::string::iterator it vec.begin(); // 使用auto清晰簡潔 auto it vec.begin(); // 編譯器推導(dǎo)it的類型 auto elem vec[0]; // elem是vector中元素的引用 // 結(jié)合范圍for循環(huán) for (const auto item : container) { // 無需關(guān)心container中元素的精確類型 }在函數(shù)返回類型上C14允許對非遞歸的lambda和普通函數(shù)使用auto返回類型推導(dǎo)普通函數(shù)在C14中需要函數(shù)體是單個(gè)return語句C17放松了限制。對于更復(fù)雜的情況使用decltype(auto)可以精確推導(dǎo)出返回值的類型包括引用性。// C14: auto返回類型推導(dǎo) auto add(int a, int b) { return a b; // 返回類型被推導(dǎo)為int } // 使用decltype(auto)保留引用性 templatetypename Container decltype(auto) getFirstElement(Container c) { return c[0]; // 如果c[0]返回引用則函數(shù)返回引用如果返回值則返回值。 }4.2 Lambda表達(dá)式匿名函數(shù)對象Lambda是定義匿名函數(shù)對象的簡便方式。它的完整語法如下[捕獲列表] (參數(shù)列表) - 返回類型 { 函數(shù)體 }捕獲列表指定lambda體中可以訪問哪些外部變量以及如何訪問值捕獲、引用捕獲。[]以值方式捕獲所有外部變量默認(rèn)不可修改需加mutable。[]以引用方式捕獲所有外部變量。[a, b]值捕獲a引用捕獲b。[this]捕獲當(dāng)前類的this指針可以訪問成員變量和函數(shù)。[, x]默認(rèn)值捕獲但x是引用捕獲。C14引入了初始化捕獲廣義捕獲可以捕獲移動來的對象或表達(dá)式結(jié)果[data std::move(data)]。參數(shù)列表和普通函數(shù)一樣。返回類型可以省略編譯器根據(jù)return語句推導(dǎo)。如果函數(shù)體包含多條語句且返回類型不一致或者沒有return語句返回void則需要顯式指定。函數(shù)體和普通函數(shù)一樣。std::vectorint nums {1, 2, 3, 4, 5}; int threshold 3; // 值捕獲threshold參數(shù)為int auto isAboveThreshold [threshold](int x) - bool { return x threshold; }; // 使用lambda auto it std::find_if(nums.begin(), nums.end(), isAboveThreshold); // 直接在算法中使用lambda引用捕獲nums注意生命周期 std::for_each(nums.begin(), nums.end(), [nums](int x) { x * 2; // 修改原vector中的元素 }); // 帶mutable的值捕獲允許修改捕獲的副本 int counter 0; auto incrementer [counter]() mutable { return counter; // 修改的是lambda內(nèi)部捕獲的副本 }; std::cout incrementer() std::endl; // 輸出1 std::cout incrementer() std::endl; // 輸出2 std::cout counter std::endl; // 輸出0外部counter未變Lambda是現(xiàn)代C中算法如std::sort,std::for_each和回調(diào)機(jī)制的基石。4.3 移動語義與右值引用告別不必要的拷貝這是C11最重要的性能特性之一。核心思想是對于即將消亡的臨時(shí)對象右值我們可以“偷”它的資源如動態(tài)內(nèi)存而不是深拷貝從而大幅提升效率。左值lvalue有標(biāo)識符、可以取地址的表達(dá)式。通常指持久對象。右值rvalue通常是臨時(shí)對象沒有標(biāo)識符不能取地址。包括字面量、臨時(shí)對象、返回非引用類型的函數(shù)調(diào)用等。右值引用T只能綁定到右值的引用。它的存在就是為了實(shí)現(xiàn)移動語義。class MyString { private: char* data_; size_t size_; public: // 移動構(gòu)造函數(shù) MyString(MyString other) noexcept // 參數(shù)是右值引用 : data_(other.data_), size_(other.size_) { other.data_ nullptr; // 將源對象置于有效但可析構(gòu)的狀態(tài) other.size_ 0; } // 移動賦值運(yùn)算符 MyString operator(MyString other) noexcept { if (this ! other) { delete[] data_; // 釋放當(dāng)前資源 data_ other.data_; size_ other.size_; other.data_ nullptr; other.size_ 0; } return *this; } // ... 其他成員函數(shù) }; MyString createString() { MyString temp(Hello); return temp; // 這里可能觸發(fā)NRVO或者調(diào)用移動構(gòu)造函數(shù) } MyString s1 createString(); // 移動構(gòu)造發(fā)生高效 MyString s2 std::move(s1); // 使用std::move將左值s1轉(zhuǎn)換為右值觸發(fā)移動賦值或構(gòu)造 // 此后s1處于有效但未指定狀態(tài)通常為空不應(yīng)再使用其值但可以賦予新值或銷毀。std::move的本質(zhì)是一個(gè)強(qiáng)制類型轉(zhuǎn)換static_castT(lvalue)。它不移動任何東西只是告訴編譯器“請把這個(gè)左值當(dāng)作右值來處理”。真正的移動操作發(fā)生在移動構(gòu)造函數(shù)或移動賦值運(yùn)算符中。在函數(shù)參數(shù)和返回中利用移動語義以值方式傳遞支持移動的類型對于像std::vector,std::string這樣的類型如果函數(shù)內(nèi)部需要一份副本可以考慮傳值并讓調(diào)用者決定是拷貝還是移動。void processVector(std::vectorint vec) { // 傳值 // 使用vec... } std::vectorint bigData getData(); processVector(bigData); // 拷貝構(gòu)造開銷大 processVector(std::move(bigData)); // 移動構(gòu)造高效bigData被移空返回局部對象直接返回編譯器會嘗試RVO/NRVO如果不成功也會優(yōu)先嘗試移動構(gòu)造。4.4 完美轉(zhuǎn)發(fā)與萬能引用這是實(shí)現(xiàn)泛型庫如std::make_unique,std::make_shared的關(guān)鍵技術(shù)。萬能引用Universal Reference Scott Meyers提出的術(shù)語指在模板函數(shù)中形式為T的參數(shù)其中T是推導(dǎo)類型。它可以根據(jù)實(shí)參是左值還是右值被推導(dǎo)為左值引用或右值引用。templatetypename T void foo(T param) { // param是一個(gè)萬能引用 // param的類型取決于傳入的實(shí)參 } int x 10; foo(x); // T被推導(dǎo)為intparam類型是int 左值引用 foo(10); // T被推導(dǎo)為intparam類型是int 右值引用引用折疊Reference Collapsing是萬能引用工作的底層規(guī)則。在模板類型推導(dǎo)或typedef/using中引用的引用會被折疊T ,T ,T 都會折疊成TT 折疊成T完美轉(zhuǎn)發(fā)Perfect Forwarding指在泛型函數(shù)中將參數(shù)以原始的值類別左值/右值傳遞給另一個(gè)函數(shù)。這需要結(jié)合萬能引用和std::forward。templatetypename T void wrapper(T arg) { // arg是萬能引用 // 我們希望將arg以原來的值類別傳遞給另一個(gè)函數(shù) some_function(std::forwardT(arg)); }std::forwardT(arg)在arg是左值引用時(shí)返回左值引用在arg是右值引用時(shí)返回右值引用實(shí)際上是一個(gè)將左值轉(zhuǎn)換為右值的轉(zhuǎn)換從而實(shí)現(xiàn)了完美轉(zhuǎn)發(fā)。一個(gè)經(jīng)典應(yīng)用是emplace_back系列函數(shù)它直接在容器內(nèi)部構(gòu)造元素避免了臨時(shí)對象的創(chuàng)建和拷貝/移動。std::vectorstd::pairint, std::string vec; // 傳統(tǒng)push_back需要構(gòu)造臨時(shí)pair vec.push_back(std::make_pair(1, one)); // emplace_back直接使用參數(shù)在vector內(nèi)部構(gòu)造pair更高效 vec.emplace_back(2, two); // 完美轉(zhuǎn)發(fā)參數(shù)給pair的構(gòu)造函數(shù)5. 函數(shù)高級主題與實(shí)戰(zhàn)避坑指南掌握了基礎(chǔ)語法和現(xiàn)代特性我們來看看那些容易讓人栽跟頭的高級主題和實(shí)際編碼中的經(jīng)驗(yàn)之談。5.1 函數(shù)指針、std::function與Lambda的可調(diào)用對象C中有多種方式表示“可調(diào)用”的實(shí)體函數(shù)、函數(shù)指針、成員函數(shù)指針、函數(shù)對象仿函數(shù)、Lambda表達(dá)式。函數(shù)指針C語言的遺產(chǎn)類型簽名必須精確匹配。int add(int a, int b) { return a b; } int (*funcPtr)(int, int) add; // 或 add; int result funcPtr(3, 4); // 調(diào)用函數(shù)指針類型難以閱讀且無法捕獲狀態(tài)不能像Lambda那樣捕獲外部變量。std::functionC11引入的函數(shù)包裝器可以存儲任何可調(diào)用對象只要其簽名匹配。它是一個(gè)類模板使用起來更安全、更靈活。#include functional #include iostream int add(int a, int b) { return a b; } auto lambda [](int x, int y) { return x * y; }; std::functionint(int, int) func; // 聲明一個(gè)接受兩個(gè)int返回int的可調(diào)用對象包裝器 func add; // 可以綁定普通函數(shù) std::cout func(2, 3) std::endl; // 5 func lambda; // 可以綁定lambda std::cout func(2, 3) std::endl; // 6 func std::plusint(); // 可以綁定標(biāo)準(zhǔn)庫函數(shù)對象 std::cout func(2, 3) std::endl; // 5 // 甚至可以綁定一個(gè)綁定了部分參數(shù)的函數(shù) using namespace std::placeholders; auto add5 std::bind(add, 5, _1); // 第一個(gè)參數(shù)固定為5 func add5; std::cout func(10) std::endl; // 15 相當(dāng)于add(5, 10)std::function的缺點(diǎn)是它可能涉及動態(tài)內(nèi)存分配類型擦除的實(shí)現(xiàn)代價(jià)對于性能極度敏感的場合需要謹(jǐn)慎。對于小型的可調(diào)用對象如無捕獲的lambda編譯器可能優(yōu)化掉這部分開銷。Lambda作為可調(diào)用對象每個(gè)Lambda表達(dá)式都會生成一個(gè)唯一的、匿名的類類型閉包類型。這個(gè)類型的對象就是可調(diào)用對象。無捕獲的Lambda可以隱式轉(zhuǎn)換為函數(shù)指針。auto lambda []{ return 42; }; // decltype(lambda) 是一個(gè)唯一的編譯器生成的類型 // 無捕獲的lambda可以轉(zhuǎn)換為函數(shù)指針 int (*funcPtr)() []{ return 42; };如何選擇如果只是簡單的回調(diào)且類型在編譯期已知比如作為模板參數(shù)傳遞給算法std::sort直接使用Lambda或函數(shù)對象性能最好。如果需要存儲可調(diào)用對象或者在運(yùn)行時(shí)決定綁定哪個(gè)函數(shù)如回調(diào)列表、事件處理器使用std::function。如果需要與C接口交互或者需要極致的性能且類型固定使用函數(shù)指針。5.2 函數(shù)模板與特化泛型編程基礎(chǔ)函數(shù)模板允許你編寫與類型無關(guān)的代碼。templatetypename T // 模板聲明T是類型參數(shù) T max(T a, T b) { return (a b) ? a : b; } // 使用 int i max(10, 20); // T被推導(dǎo)為int double d max(3.14, 2.71); // T被推導(dǎo)為double // auto r max(10, 3.14); // 錯(cuò)誤T無法被唯一推導(dǎo)int vs double有時(shí)對于特定的類型模板的通用實(shí)現(xiàn)可能不是最優(yōu)的甚至不合法。這時(shí)可以使用模板特化。// 通用模板 templatetypename T void print(const T obj) { std::cout obj std::endl; } // 對const char*類型的特化因?yàn)橥ㄓ冒姹究赡軣o法正確處理字符串 template void print(const char* const str) { // 注意特化的語法 if (str) { std::cout C-string: str std::endl; } else { std::cout (null) std::endl; } } // 對std::vectorint的部分特化函數(shù)模板不支持部分特化但可以通過重載實(shí)現(xiàn)類似效果 templatetypename T void print(const std::vectorT vec) { // 這是一個(gè)重載不是特化 for (const auto elem : vec) { std::cout elem ; } std::cout std::endl; }注意函數(shù)模板不支持部分特化只能全特化。如果需要針對一類類型如所有指針進(jìn)行特殊處理通常使用重載或者借助std::enable_if、C20的concepts來實(shí)現(xiàn)。5.3 常見陷阱與最佳實(shí)踐未初始化的局部變量這是最常見的錯(cuò)誤之一會導(dǎo)致未定義行為。始終初始化你的變量。int x; // 糟糕x的值是未定義的 int y 0; // 好 int z{}; // 最好值初始化對于int就是0混淆和在條件語句中誤寫為賦值。if (x 5) { ... } // 總是真因?yàn)橘x值表達(dá)式的結(jié)果是5非零。可能本意是 if (x 5) // 一個(gè)技巧把常量放在左邊 if (5 x)這樣如果誤寫為 if (5 x) 會編譯錯(cuò)誤。懸垂指針/引用永遠(yuǎn)不要返回局部變量的地址或引用。謹(jǐn)慎管理動態(tài)內(nèi)存的生命周期優(yōu)先使用智能指針std::unique_ptr,std::shared_ptr。const正確性盡可能使用const。它讓代碼意圖更清晰編譯器能幫你發(fā)現(xiàn)更多錯(cuò)誤。對于不修改參數(shù)的函數(shù)使用const引用對于不修改成員變量的成員函數(shù)聲明為const成員函數(shù)。避免默認(rèn)捕獲Lambda表達(dá)式中避免使用[]或[]進(jìn)行默認(rèn)捕獲這可能導(dǎo)致意外的依賴或生命周期問題。顯式列出需要捕獲的變量。// 不好 auto badLambda []() { use(someVariable); }; // 好 auto goodLambda [someVariable]() { use(someVariable); };理解移動語義后的對象狀態(tài)被移動后的對象處于“有效但未指定狀態(tài)”。這意味著你可以安全地對其執(zhí)行析構(gòu)或重新賦值操作但不能假設(shè)其內(nèi)容是什么。一個(gè)良好的實(shí)踐是在移動操作后將源對象置于一個(gè)明確的已知狀態(tài)如對于容器置為空。MyString s1 Hello; MyString s2 std::move(s1); // s1現(xiàn)在應(yīng)該是空字符串可以安全地 s1 World; // 重新賦值 // 但不要直接讀取s1的內(nèi)容除非類文檔保證了移動后的狀態(tài)。優(yōu)先使用標(biāo)準(zhǔn)庫算法與其手寫循環(huán)不如看看algorithm頭文件里有沒有現(xiàn)成的。std::find,std::sort,std::transform,std::accumulate等不僅更安全而且通常經(jīng)過高度優(yōu)化。std::vectorint vec {...}; // 手寫循環(huán) int sum 0; for (int x : vec) { sum x; } // 使用標(biāo)準(zhǔn)庫算法 int sum std::accumulate(vec.begin(), vec.end(), 0);為自定義類型提供noexcept移動操作如果移動構(gòu)造函數(shù)和移動賦值運(yùn)算符不會拋出異常將它們標(biāo)記為noexcept。這允許標(biāo)準(zhǔn)庫容器如std::vector在重新分配內(nèi)存時(shí)使用更高效的移動而非拷貝。class MyType { public: MyType(MyType other) noexcept { ... } MyType operator(MyType other) noexcept { ... } };這份速查手冊到這里就告一段落了。它覆蓋了從基礎(chǔ)語法到現(xiàn)代特性的核心內(nèi)容但C的海洋遠(yuǎn)不止于此。真正的熟練來自于不斷的編碼、調(diào)試和閱讀優(yōu)秀的代碼。建議你把這份手冊當(dāng)作一個(gè)隨時(shí)可查的索引當(dāng)遇到不確定的語法點(diǎn)時(shí)快速定位回顧。更重要的是在項(xiàng)目中大膽實(shí)踐這些特性理解它們背后的設(shè)計(jì)哲學(xué)你才能真正駕馭這門強(qiáng)大而復(fù)雜的語言。