C++ 靜態連結與動態連結：多型機制的編譯期與執行期抉擇

連結是指程式碼中操作呼叫與實際執行代碼建立關聯的過程。依據發生階段不同，分為靜態連結（早期連結）與動態連結（晚期連結），兩者均屬多型機制範疇，分別對應靜態型別與動態型別的選擇。

靜態連結：編譯期確定

連結工作在編譯連結階段完成，程式執行前已確定呼叫關係。又稱靜態綁定。

範例：靜態連結導致的非預期行為

class Point {
public:
    Point(double i, double j) : x(i), y(j) {}
    double Area() const { return 0.0; }
private:
    double x, y;
};

class Rectangle : public Point {
public:
    Rectangle(double i, double j, double k, double l) : Point(i, j), w(k), h(l) {}
    double Area() const { return w * h; }
private:
    double w, h;
};

void fun(Point &s) {
    cout << s.Area();  // 輸出 0
}

int main() {
    Rectangle rec(3.0, 5.2, 15.0, 25.0);
    fun(rec);
}

結果輸出 0。原因：編譯期 s 靜態型別為 Point&，Area() 綁定至 Point::Area()。無法依據實際物件型別 (Rectangle) 動態分派。

動態連結：執行期決議

編譯期無法確定確切呼叫函數，需在執行時根據物件實際型別綁定。又稱動態綁定、晚期連結。實現基於虛擬函數機制。

關鍵差異

本質：多型選擇的兩個維度

靜態/動態連結本質上是對參數多型的兩種選擇策略：

• 參數為基類引用/指標
• 靜態連結選擇宣告時的靜態型別
• 動態連結選擇執行時的動態型別

C++ 規定：僅虛函數支援動態連結。非虛函數永遠靜態連結。這是 C++「不為未使用特性付費」哲學的體現。

工程啟示

1. 基類析構函數必須宣告為 virtual，否則衍生類資源釋放失敗
2. 預期多型行為的成員函數應宣告 virtual
3. 效能敏感且確定無擴充需求的函數保持非虛擬
4. 理解 vtable/vptr 機制有助於診斷物件模型相關問題（如物件切切、多重繼承指標調整）