Effective C++ 實現篇精華：變量定義延後、轉型最小化、避免返回句柄、Inline 透徹理解

決策依據：若 賦值成本 < 構造+析構成本 且在性能熱點，用方式2；否則優先方式1 (作用域小、異常安全、可維護)。

2. 盡量少做轉型

核心觀點：轉型破壞類型系統，隱藏 Bug，降低可維護性。C++ 四種轉型：

• static_cast：編譯期靜態轉型 (相關類型、數值轉換)
• dynamic_cast：運行期多態轉型 (需 RTTI、有開銷、指針/引用)
• const_cast：移除 const/volatile
• reinterpret_cast：底層位模式重解釋 (極危險、不可移植)

基類指針指向派生對象的地址調整

class Base { ... };
class Derived : public Base { int x; }; // 可能有偏移量
Derived d;
Base* pb = &d; // pb 不一定等於 &d！編譯器可能調整指針值 (加偏移量)

因此永遠不要假設對象佈局，避免基於地址計算的強制轉型。

調用基類虛函數的正確姿勢

// 錯誤：轉型創建臨時基類子對象副本！
static_cast(*this).onResize(); 

// 正確：作用域解析符直接調用
Base::onResize();

消除 dynamic_cast 的多態替代方案

// 反模式：dynamic_cast 連環判斷 (慢、脆弱)
for (auto ptr : windows) {
    if (auto sw = dynamic_cast(ptr.get())) sw->blink();
    else if (auto aw = dynamic_cast(ptr.get())) aw->flash();
}

// 正確：虛函數動態綁定
class Window { public: virtual void blink() {} };
class SpecialWindow : public Window { 
    void blink() override { /* 閃爍邏輯 */ } 
};
for (auto& w : windows) w->blink(); // 一行搞定，擴展性強

原則：將轉型隱藏在工廠函數/虛函數接口後，客戶代碼零轉型。

3. 避免返回對象內部句柄

句柄 = 指針、引用、迭代器。返回內部句柄破壞封裝，導致：

1. const 成員函數可修改內部狀態 (返回非 const 引用)
2. 懸空句柄 : 返回臨時對象內部引用

案例 1：const 失效

class Rectangle {
    Point ul, lr;
public:
    Point& upperLeft() const { return ul; } // 返回非 const 引用！
    // 調用者可修改：rect.upperLeft().x = 100; // 破壞 const 語義
};

// 修正：返回 const 引用
const Point& upperLeft() const { return ul; }

案例 2：懸空引用

const Rectangle boundingBox(const GUIObject& obj); // 返回值 (臨時對象)

const Point* p = &boundingBox(*pgo).upperLeft(); // 危險！
// boundingBox 返回臨時 Rectangle，upperLeft() 返回其內部 Point 引用
// 語句結束時臨時對象銷毀，p 成為懸空指針

// 修正：返回值而非引用
Point upperLeft() const { return ul; } // 返回副本，安全
// 或調用者存儲副本
Point p = boundingBox(*pgo).upperLeft();

4. 透徹理解 Inline

Inline 本質：請求編譯器將調用點替換為函數體，消除調用開銷，啟用上下文相關優化。但只是請求，非強制。

Inline 的代價與收益

誰適合 Inline？

• 適合：極小函數 (存取器、簡單轉發)、模板函數、頻繁調用的熱點小函數。
• 不適合：虛函數 (動態綁定無法內聯)、遞歸函數、大函數、包含循環/複雜邏輯、地址被取用的函數。

實戰策略

1. 最初不加 inline，讓編譯器自動決定 (現代編譯器跨文件優化 LTO 很強)。
2. 僅對「必須內聯」或「極其平淡」的函數顯式聲明。
3. 遵循 80/20 法則：優化佔 80% 運行時間的 20% 代碼。
4. 模板函數定義在頭文件，不自動意味著內聯，需單獨評估是否加 inline。

總結

這四項實現細節看似微小，卻體現了 C++ 專家對資源管理、類型安全、封裝完整性、編譯模型的深刻理解。內化為編碼習慣，能寫出更健壯、高效、可維護的 C++ 代碼。