C 語言結構體內存對齊完全指南：規則、實例與 #pragma pack 實戰

為什麼需要內存對齊？

CPU 訪問內存時，若地址對齊到其數據總線寬度的整數倍（如 4 字節對齊讀取 int），可**單指令完成**；否則需多次總線事務，甚至觸發硬件異常（部分架構）。編譯器自動插入填充字節以滿足對齊要求，這是「空間換時間」的經典權衡。

三大核心對齊規則（無 #pragma pack 時）

1. 成員對齊：第一個成員偏移 0；後續成員偏移為 min(成員大小, 編譯器默認對齊數) 的整數倍（通常等於成員大小）。
2. 結構體作為成員：巢狀結構體偏移為其內部最大成員對齊要求的整數倍。
3. 整體大小：sizeof(結構體) 必須為所有成員對齊要求的最大值的整數倍，不足補齊。

經典實例演示（32 位系統，默認對齊 4/8）

#pragma pack(n) 強制對齊實戰

指定最大對齊數 n（1/2/4/8/16），實際對齊 = min(成員大小, n)。

恢復默認：#pragma pack() 或 #pragma pack(pop)（配合 push）。

GCC/Clang 擴展屬性

struct __attribute__((aligned(8))) S { ... }; // 整體 8 字節對齊
struct __attribute__((packed)) S { ... };    // 等同 pack(1)

位域：壓縮存儲的特殊規則

1. 同類型相鄰位域，位寬和 ≤ 類型大小 → 緊湊排列。
2. 位寬和 > 類型大小 → 下一個位域從新存儲單元開始（按類型對齊）。
3. 不同類型位域：VC6 不壓縮（各佔獨立單元），GCC/Clang 壓縮。
4. 非位域成員插入 → 打破位域連續，重新對齊。
5. 結構體總大小 = 最寬基本類型大小的整數倍。

位域實例

struct { char a:2; char b:4; char c:5; } // sizeof=2 (GCC/VC6 同)
struct { int a:20; int b:20; int c:3; }   // sizeof=8 (跨越兩個 int)
struct { int a:4; char b; int c:3; }      // VC6=12, GCC=4 (壓縮)

避坑與最佳實踐

• 網絡協議/文件格式：必須用 #pragma pack(1) 或 __attribute__((packed)) 確保佈局一致。
• 性能關鍵路徑：保持默認對齊，甚至主動用 alignas(64) (C++11) 防止偽共享。
• 跨平台序列化：不要直接 memcpy 結構體，用 Protocol Buffers、FlatBuffers 等顯式序列化庫。
• 調試技巧：offsetof(T, member) 查看成員偏移，sizeof(T) 驗證總大小。

結構體對齊是 C 語言「抽象機器」與「真實硬件」交鋒的縮影。吃透三大規則、善用 pack、理解位域差異，才能寫出既高效又可移植的系統級代碼。