C++ 編譯環境實戰：建構函式初始化列表、物件大小計算與記憶體對齊深度解析

建構函式初始化列表：效能與正確性的鑰匙

class Base {
public:
    Base(const std::string& s) : name(s) { std::cout << "Base: " << name << '\n'; }
private:
    std::string name;
};
class Member {
public:
    Member(int v) : val(v) { std::cout << "Member: " << val << '\n'; }
private:
    int val;
};
class Derived : public Base {
public:
    // 正確順序：基類 → 成員（依宣告順序） → 派生類本體
    Derived(const std::string& b, int m, int d)
        : Base(b), m_member(m), m_derived(d) { // 初始化列表順序不影響實際執行順序
        std::cout << "Derived: " << m_derived << '\n';
    }
private:
    Member m_member; // 宣告順序 1
    int m_derived;   // 宣告順序 2
};
int main() {
    Derived d("base", 42, 100);
    // 輸出順序固定：
    // Base: base
    // Member: 42
    // Derived: 100
}

鐵律：

1. 基類建構函式**最先**執行（繼承宣告順序，虛基類最優先）。
2. 非靜態成員物件**其次**，按**類別內宣告順序**（非初始化列表書寫順序）。
3. 派生類建構函式本體**最後**執行。
4. 解構順序**完全相反**。
5. `const`、`reference`、無預設建構函式的成員**必須**在初始化列表初始化。

物件大小計算與記憶體對齊

案例 A：一般結構體

struct A {
    char c1;  // offset 0, size 1
    char c2;  // offset 1, size 1
    int  n;   // offset 4 (4-byte align), size 4
}; // sizeof(A) = 8 (尾部填充對齊到 max align = 4)

案例 B：含虛函式的類別

class ClassA {
public:
    int m_data1;      // offset 4 (vptr 佔 8/4 位元組)
    int m_data2;
    void func1() {}
    void func2() {}
    virtual void vfunc1() {} // 引入 vptr
    virtual void vfunc2() {}
}; 
// 64 位：vptr(8) + data1(4) + data2(4) = 16，對齊 8 → sizeof = 24
// 32 位：vptr(4) + data1(4) + data2(4) = 12，對齊 4 → sizeof = 12

案例 C：空類別/結構體

struct ClassB { void f(); }; // 空類別
// sizeof(ClassB) = 1 (C++ 標準保證非零大小，確保不同物件有不同位址)

進階話題：虛繼承與虛基類指標

class Base { int x; };
class Derived1 : virtual public Base { int y; };
class Derived2 : virtual public Base { int z; };
class Final : public Derived1, public Derived2 { int w; };
// Final 佈局包含：
// vbptr (指向虛基類表) × 2
// Derived1::y, Derived2::z, Final::w
// Base::x (共享單一拷貝，透過 vbptr 間接存取)
// 大小顯著增加，存取虛基類成員額外間接層級

實戰調試技巧

• `sizeof(T)` / `alignof(T)` (C++11) 編譯期獲取。
• GDB/Visual Studio 監視視窗輸入 `&obj`、`sizeof(obj)` 檢查佈局。
• `-fdump-class-hierarchy` (GCC) / `/d1 reportSingleClassLayout` (MSVC) 輸出完整類別佈局報告。
• `offsetof(T, member)` (C++11 ``) 獲取成員偏移，**僅適用標準佈局類別**。

最佳實踐

1. **成員宣告順序**：大型/高對齊需求成員優先（`double`、`vector`、`mutex`），減少填充浪費。
2. **空基類優化 (EBO)**：空類別作為基類時不佔用大小（`sizeof(Derived) == sizeof(Member)`），標準庫大量應用（`std::allocator`、壓縮迭代器）。
3. **避免不必要的虛繼承**：介面類別純虛函式通常無需虛繼承；僅在真正菱形共享狀態時使用。
4. **`#pragma pack` 慎用**：破壞對齊導致非對齊存取效能罰分或硬體錯誤（ARM/SPARC），僅用於網路協議/檔案格式對應，並配合 `static_assert` 驗證。