您现在的位置：程式碼之家 >> 編程語言 > >> 更多程式語言 >> 程式設計綜合問答

C++ 結構體記憶體對齊機制深度解析：為什麼 sizeof 不等於成員大小之和？

編輯：程式設計綜合問答

現象：結構體大小「莫名其妙」變大

struct data1 { BYTE a; };          // sizeof = 1
struct data2 { BYTE a; LONG b; };  // sizeof = 8 (而非 1+4=5)

初學者常困惑：明明成員只有 1 + 4 = 5 個位元組，為何編譯器報告 8？這涉及 C++ 核心機制——記憶體對齊。

核心原則：CPU 存取效能與位址對齊

CPU 以「字」為單位存取記憶體：32 位元系統通常以 4 位元組（32 bits）為一字，64 位元系統以 8 位元組為一字。
對齊存取快、非對齊存取慢甚至報錯：若資料跨越兩個字邊界，CPU 需發兩次記憶體讀取並拼湊；部分架構（如 ARM、SPARC）直接觸發硬體異常。
編譯器自動插入填充位元組：確保每個成員的起始位址是其大小的整數倍（或編譯器預設對齊數）。

data2 記憶體佈局詳細分析

位址偏移:  0   1   2   3   4   5   6   7
內容:      a  pad pad pad  b   b   b   b
大小:      1   3       4

BYTE a 置於偏移 0，大小 1。
LONG b 需 4 位元組對齊，下一個可用的 4 的倍數位址是 4，故在 1-3 插入 3 位元組填充。
LONG b 佔據偏移 4-7。
結構體總大小必須是其最嚴格對齊需求（此處為 4）的整數倍，8 已滿足，無尾部填充。

關鍵規則總結

規則	說明
成員對齊	每個成員偏移量必須是 `min(成員大小, 編譯器對齊數)` 的整數倍
結構體對齊	總大小必須是所有成員對齊需求最大值的整數倍
宣告順序影響大小	`struct { char c; double d; }` = 16 bytes；`struct { double d; char c; }` = 16 bytes（尾部填充）
巢狀結構體	內部結構體作為整體按其對齊需求對齊
空結構體	C++ 標準規定至少 1 byte，確保不同物件有不同位址

實務控制手段

1. 調整成員宣告順序（零成本優化）

// 壞：16 bytes
struct Bad { char c; double d; int i; };

// 好：16 bytes（同樣大小，但較合理）
// 更好：將大型別集中
struct Good { double d; int i; char c; }; // 16 bytes，無內部填充

2. `#pragma pack` 強制封裝（謹慎使用）

#pragma pack(push, 1)  // 1 位元組對齊
struct Packed { BYTE a; LONG b; }; // sizeof = 5
#pragma pack(pop)

風險：可能導致非對齊存取效能下降、硬體異常、與外部庫 ABI 不相容。

3. `alignas` (C++11) 指定對齊

struct Aligned16 { alignas(16) BYTE a; LONG b; }; // 起始位址 16 位元組對齊

除錯技巧：查看實際佈局

Visual Studio：Debug → Windows → Memory 觀察位址；/d1 reportSingleClassLayout 編譯選項輸出佈局報告。
GCC/Clang：-fdump-record-layouts 或 GDB 中 ptype/o struct_name。
線上工具：C++ Insights 可視化編譯器轉換結果。