理解 C++ 去虛擬化：編譯器如何優化虛擬呼叫
虛擬函式是 C++ 多型性的基石，但它們也帶來了效能成本：vtable 查找。去虛擬化（Devirtualization）是一種優化技術，編譯器藉此證明虛擬呼叫可以被替換為直接函式呼叫，從而消除動態派發（dynamic dispatch）的開銷。雖然這看起來很直觀，但不同編譯器之間的實際實現卻出奇地微妙且往往脆弱。
去虛擬化的兩條主要路徑
編譯器通常依賴兩條不同的邏輯路徑來判斷是否可以對虛擬呼叫進行去虛擬化：知道實例的確切動態類型，或者證明靜態類型是一個「葉子」（leaf，意即它無法被進一步衍生）。
1. 知道動態類型
最基本的情況是當一個物件在同一個作用域內被實例化並使用時：
void test() {
Apple o;
o.f();
}
在這種情況下，編譯器可以絕對確定 o 是 Apple。即使 f() 是虛擬的，動態派發也是多餘的。
然而，隨著邏輯變得更加複雜，編譯器的支援程度會產生分歧。雖然大多數現代編譯器都能處理簡單的指標分配（例如，Base *p = &d;），但它們在處理條件邏輯時會遇到困難。例如，當指標是根據條件分配的時（Base *p = cond ? &da : &db;），GCC 可能會成功，而 Clang 則會失敗。如果將轉換（cast）到基底類別的操作移到條件語句內部，即使是 GCC 的數據流分析也經常會失效。
2. 證明葉子特性
當編譯器不知道具體的實例，但知道靜態類型（例如，Derived*）時，如果它能證明程式中沒有其他類別覆寫了該方法，它仍然可以進行去虛擬化。這被稱為「證明葉子特性」（proof of leafness）。
final 關鍵字
在類別或特定的虛擬方法上使用 final 限定符是提供此證明最明確的方式。如果一個類別被標記為 final，它就不能有子類別；因此，任何指向該類別的指標都必須指向該確切類型的物件。
內部連結與匿名命名空間
一個經常被忽視但功能強大的工具是內部連結（internal linkage）。如果一個類別定義在匿名命名空間中，它就無法在該編譯單元（TU）之外被命名。因此，它無法從該 TU 之外進行衍生。如果編譯器在當前 TU 內沒有看到任何子類別，它就可以安全地對該類別的虛擬函式呼叫進行去虛擬化。
這對於「Pimpl」風格的模式特別有用，其中公開的基底類別在標頭檔中公開，但具體的實作是在 .cpp 檔案中透過匿名命名空間隱藏的。
邊緣案例與「愚蠢」的證明
有幾種隱晦的方式可以證明一個類別是葉子：
- Final Destructors: Clang 會根據一個類別具有
final解構子時無法擁有子類別這一事實進行優化（因為子類別需要自己的解構子，這會覆寫父類別的解構子）。 - Incomplete Types: 如果一個類別擁有一個具有內部連結類型的成員，其他 TU 就無法完成該類別的類型，使得在其他地方衍生自它變得不可能。GCC 目前是唯一能可靠檢測此點的編譯器。
- The Virtual Base Trick: 一種極其隱晦的方法涉及使用具有私有建構子的虛擬基底。由於子類別必須能夠建構虛擬基底，將這些建構子設為私有實際上阻止了繼承，儘管目前沒有現代編譯器實作了針對此點的優化。
編譯器比較矩陣
去虛擬化支援在主要的工具鏈中並不一致。下表總結了各種技術的有效性：
| Test Case | GCC | Clang | MSVC | ICC |
|---|---|---|---|---|
| Trivial Dynamic Type | ✓ | ✓ | ✓ | ✓ |
| Cast to Base* | ✓ | ✓ | ||
| Conditional Cast | ✓ | |||
| Final Class | ✓ | ✓ | ✓ | f |
| Final Method | ✓ | ✓ | ✓ | ✓ |
| Final Destructor | ✓ | |||
| Internal Linkage Class | f |
|||
| Internal Linkage Member | f |
(註：f 表示部分成功或特定方法失敗)
去虛擬化的脆弱性
儘管具備這些能力，去虛擬化是出了名的脆弱。技術討論強調了幾個關鍵風險：
「外部函式」問題
正如社群貢獻者所指出的，編譯器對動態類型的假設可能會因為外部函式呼叫而失效。如果一個指標被註冊在全域表格中，且外部函式使用 placement new 覆寫了記憶體中的物件，vtable 就會改變。如果在物件的創建與虛擬呼叫之間呼叫了外部函式，編譯器必須保持保守，並假設動態類型可能已經改變。
推測性去虛擬化與 ICF
進階優化技術如效能分析引導優化（PGO）可能導致「推測性去虛擬化」，即編譯器猜測最可能的類型。然而，這可能與二進位檔優化器（如 BOLT）執行的相同代碼摺疊（Identical Code Folding, ICF）發生衝突。如果兩個不同的子類別具有相同的函式主體，ICF 可能會將它們合併為單一地址。如果編譯器使用該地址來驗證類型，它可能會錯誤地假設物件屬於特定類型，從而導致段錯誤（segmentation faults）。
結論
由於去虛擬化在不同編譯器之間如此不一致，且容易因微小的代碼變動而失效，對於效能關鍵路徑的普遍共識是：如果你需要零開銷的保證，請完全避免使用虛擬呼叫。