C++ 字節對齊：兩大易被忽視的關鍵問題深度解析

在 C++ 開發中，字節對齊是一個底層卻至關重要的主題，它直接影響結構體的內存佈局、數據訪問效率，甚至決定跨平台移植的成敗。本文結合實戰經驗，深入剖析兩個極易被忽視的字節對齊陷阱：聯合體的對齊行為，以及不同編譯器環境下的默認對齊差異。

問題一：Union（聯合體）的字節對齊隱形邏輯

先看一段帶有 #pragma pack(4) 指令的代碼：

#pragma pack(4)
struct com {
    union {
        double dTest;
        int nTest;
        char szTest[14];
    };
    char chTest1;
    char chTest2;
};
#pragma pack()

問題： sizeof(struct com) 的結果是多少？

在 GCC 4.1 和 VC 2005 環境下，答案均為 20 字節。

內存佈局深度還原

通過調試發現，聯合體內部自動增加了 2 字節填充，以滿足其自身 4 字節對齊要求。聯合體實際佈局如下：

union {
    double dTest;      // 8 字節，偏移 0
    int nTest;         // 4 字節，偏移 0
    char szTest[14];   // 14 字節，偏移 0
    byte Padding1[2];  // 編譯器自動插入的 2 字節填充
}; // 聯合體總大小：16 字節

接著，結構體繼續佈局：

#pragma pack(4)
struct com {
    union { ... };     // 16 字節，偏移 0
    char chTest1;      // 1 字節，偏移 16
    char chTest2;      // 1 字節，偏移 17
    byte Padding2[2];  // 結構體尾部填充，保證整體 4 字節對齊
};
#pragma pack()

關鍵結論： 聯合體的大小不僅取決於最大成員，還必須滿足「自身對齊數 = min(編譯器對齊數, 最大成員大小)」的規則，且會在尾部填充以達到自身對齊數的整數倍。

問題二：跨平台移植的隱形殺手——編譯器默認對齊差異

做平台移植的開發者務必注意：永遠不要假設默認對齊行為一致，必須實測驗證。以下是主流環境的差異總結：

實戰建議

• 顯式指定對齊：在跨平台代碼中，始終使用 #pragma pack(n) 或屬性 __attribute__((aligned(n))) 顯式聲明，避免依賴默認值。
• 單元測試驗證：編寫測試用例輸出 sizeof 和 offsetof，納入 CI 流程，確保各平台佈局一致。
• 序列化協議：網絡傳輸或持久化結構體時，務必使用標準協議或手動打包，絕不可直接 memcpy 結構體內存。

字節對齊看似微不足道，卻是 C++ 程序穩定性與可移植性的基石。掌握這兩大易忽視點，能讓你在跨平台開發中少踩無數坑。