C 語言位元組對齊深度教學：原理、影響與跨平台實戰

一、什麼是位元組對齊？

變數位址若為其長度整數倍，即為自然對齊。32 位系統上 int (4 bytes) 位址為 4 的倍數即自然對齊。編譯器自動安排成員位址滿足對齊需求，必要時插入填充位元組。

二、為何需要對齊？

1. CPU 存取效率：未對齊資料可能需多次記憶體讀取 (如跨越 4 字節邊界的 int 需兩次讀取並拼湊)。x86 允許但降速；SPARC 等架構直接觸發硬體例外 (SIGBUS)。
2. 原子操作需求：某些指令 (如 LOCK CMPXCHG) 要求操作數對齊。
3. 向量化指令：SSE/AVX/NEON 載入指令通常要求 16/32/64 位元組對齊。

三、標準類型對齊規則 (32/64 位通用)

四、聚合類型對齊規則

• 陣列：按元素類型對齊，首元素對齊即全對齊
• 聯合：按最大成員對齊
• 結構體：每個成員獨立對齊，整體大小圓整至最大成員對齊值倍數

五、實例演示：成員順序影響大小

struct A { int a; char b; short c; };  // 4 + 1 + (pad1) + 2 + (pad1) = 8
struct B { char b; int a; short c; };  // 1 + (pad3) + 4 + 2 + (pad2) = 12

優化技巧：按大小遞減排列成員可最小化填充。

六、控制對齊的方法

1. #pragma pack(n) - 跨編譯器通用

#pragma pack(1)  // 1 位元組對齊 (緊湊)
struct Packed { char c; int i; };  // sizeof = 5
#pragma pack()   // 恢復預設

2. GCC/Clang 屬性語法

struct Aligned8 { int a; } __attribute__((aligned(8)));  // 整體 8 位元組對齊
struct Packed   { int a; } __attribute__((packed));      // 取消對齊優化

3. C++11 alignas / alignof

struct alignas(16) CacheLine { int data; };  // 強制 16 位元組對齊 (快取行)
static_assert(alignof(CacheLine) == 16);

七、何時必須指定對齊？

1. 網路協定/檔案格式：跨平台資料交換需固定佈局，常用 pack(1)
2. 硬體暖存器映射：裝置驅動程式對應暖存器位圖
3. 高效能運算：SIMD 資料結構需 16/32/64 位元組對齊
4. 共享記憶體/IPC：不同進程/編譯器間共享結構體

八、常見誤區

• ❌ sizeof 回傳不含尾部填充的大小 → ✅ 含尾部填充
• ❌ pack(1) 總是最省記憶體 → ✅ 可能導致未對齊存取效能暴跌或硬體錯誤
• ❌ 指標大小固定 4 位元組 → ✅ 64 位系統為 8 位元組