第一講：static —— 存儲與可見性的雙重控制器
兩大核心作用
| 維度 | 作用 | 典型場景 |
|---|
| 存儲方式 | 變數置於靜態存儲區，而非棧上。生命週期 = 程式全程。 | 函數內靜態區域變數：跨呼叫保持狀態。 |
| 可見性/連接 | 限制在編譯單元內部 (internal linkage)，外部不可見。反義詞：extern。 | .cpp 內部輔助函數/全域變數，避免符號衝突。 |
類別靜態成員
- 靜態資料成員：全類別共享單一實體，需在 .cpp 定義初始化。初始化順序 = 定義順序；銷毀順序反向。
- 靜態成員函數：無
this 指標，僅能存取靜態成員。屬於類別而非物件。
總結口訣
局部變數已是內部連接 → static 僅改存儲；
全域變數已是靜態存儲 → static 僅改連接。
第二講：const —— 從「取代 #define」出發的類型安全常量
引入動機
- C++ 嚴格型別檢查：編譯期發現錯誤。
#define 只有文本替換，**無型別檢查**，隱患極大。- const 繼承
#define 優點（語義清晰、易維護、編譯期常量、無記憶體開銷），並賦予**型別安全**。
五大使用場景辨析
| 場景 | 語法 | 含義 | 建議 |
|---|
| 指針相關 | const int *p / int *const p | 前者：*p 不可改；後者：p 不可改 | 讀右向左：「p 是 const int 指標」vs「p 是 int 的 const 指標」 |
| 值傳遞參數 | void f(const int x) | 函數體內不可修改 x | 對調用者無意義，建議改為函數體內 const int & alias = x; |
| 返回值 (內建型別) | const int f() | 返回值不可被賦值 | 無意義，建議移除 |
| 返回值 (自定型別) | const MyClass f() | 返回的臨時物件不可修改 | 有意義，防止 f().mutate() |
| 成員函數 | void f() const; | 不可修改非 mutable 數據成員、不可呼叫非 const 函數 | 「常量物件只能呼叫 const 函數」——設計契約核心 |
第三講：inline —— 取代「表達式宏」的類型安全展開
為何取代 #define MAX(a,b) ((a)>(b)?(a):(b))？
- 宏無參數型別檢查、無副作用控制 (多次求值)、無法存取 private 成員。
- inline 函數：真正的函數，**編譯期展開**，享有完整型別檢查、存取控制、可除錯。
使用原則
- **極簡短**函數 (1-3 行) → inline 效益 > 代碼膨脹成本。
- 類別存取函數
GetWidth() { return w; } → 最佳候選。
- 類別內定義隱含 inline；類外定義需加
inline 關鍵字。
第四講：virtual —— 多態與動態聯編的核心機制
實現四步曲
- 編譯器發現 virtual 函數 → 產生 VTABLE (虛函數表)，表項 = 函數位址。
- 類別隱含插入 VPTR 指向 VTABLE (VC++ 放在物件首位)。
- 建構子執行時綁定 VPTR → 對應類別的 VTABLE。
- 透過基類指標呼叫 → 取 VPTR → 索引 VTABLE[n] → 動態跳轉 (晚綁定)。
關鍵證據：物件大小差異
class NoV { long m; long Get(){} }; // sizeof = 4
class HasV { long m; virtual long Get(){} }; // sizeof = 8 (含 VPTR)
匯編層面呼叫邏輯
push param
push this
mov eax, [this] ; 取 VPTR
call [eax + n*4] ; n = 虛函數在 VTABLE 中固定索引
純虛函數與抽象類別
virtual Ret Func() = 0; → VTABLE 留空位 → 無法實例化。- 派生類必須覆寫填滿空位，否則仍為抽象類別。
建構/解構與虛函數
| 階段 | 規則 | 原因 |
|---|
| 建構子 | 不能是 virtual；虛機制失效 (僅呼叫本地版本) | 子類尚未建構，若跳轉會訪問未初始化記憶體 |
| 解構子 | **通常必須是 virtual**；虛機制失效 | delete basePtr 需正確調用派生類解構子；解構中呼叫虛函數會訪問已銷毀子物件 |
物件切片
派生類物件賦值給基類物件 (傳值/返回值) → 派生部分被「切掉」，VTABLE 退化為基類版本。對策：傳遞指標/引用、禁用拷貝建構子。
虛函數代價
- 間接跳轉 (間接分支預測較難)
- 物件體積 +4/8 位元組 (VPTR)
- 無法內聯 (編譯期無法確定具體函數)
系列總結：四大關鍵字對照表
| 關鍵字 | 核心語義 | 典型誤區 | 最佳實踐 |
|---|
| static | 靜態存儲 + 內部連接 | 濫用全域 static 污染命名空間 | 匿名命名空間取代檔案級 static；單例模式用函數靜態區域變數 |
| const | 編譯期常量 + 唯讀契約 | 指針 const 位置搞反；值參數加 const 無意義 | 右向左讀法；成員函數盡量 const 正確性 |
| inline | 編譯期展開優化 | 複雜函數強行 inline 導致代碼膨脹 | 僅用於極簡存取函數；信任編譯器判斷 |
| virtual | 動態多態入口 | 解構子非 virtual；建構子呼叫虛函數 | 基類解構子必須 virtual；介面類純虛 |
結語
這四個關鍵字貫穿 C++ 核心機制：static 控生死、const 守契約、inline 換速度、virtual 開多態。深入理解其編譯器實現細節 (VTABLE、符號表、連接屬性)，才能在架構設計、效能調優、除錯定位時遊刃有餘。編程亦是輕鬆快樂的人生一部分——願你在細節中見微知著，悟出屬於自己的「心法」。
