C 語言結構體與字節對齊深度解析：sizeof 陷阱、對齊規則與實戰優化

結構體基礎回顧

結構體 (struct) 是 C 語言**用戶自定義類型**，由基本類型組合而成。定義方式三種：

// 1. 定義類型同時定義變量
struct Student { char name[20]; int age; } s1, s2;

// 2. 先定義類型，再定義變量
struct Teacher { char name[20]; int id; };
struct Teacher t1, t2;

// 3. typedef 別名 (最常用)
typedef struct { char name[20]; int score; } Score;
Score sc1 = {"Math", 95};

初始化方式

// 順序初始化 (C99 指定初始化器更安全)
struct Point { int x, y; };
struct Point p1 = {10, 20};
struct Point p2 = {.y = 30, .x = 40}; // C99 指定初始化，順序無關

// 靜態/全局變量未顯式初始化自動零初始化
static struct Point p3; // {0, 0}

核心難點：字節對齊 — 為什麼 sizeof 不等於成員大小之和？

struct Demo { char c; int i; }; // 假設 32 位系統：char=1, int=4
// 預期 5，實際 sizeof = 8

三大對齊準則 (編譯器遵循)

1. 結構體首地址對齊：首地址能被**最寬基本類型成員大小**整除 (或編譯器默認對齊數，如 4/8)。
2. 成員偏移量對齊：每個成員相對首地址的偏移量必須是**該成員大小的整數倍**；不足則在前一成員後填充 Padding Bytes。
3. 結構體總大小對齊：總大小必須是**最寬基本類型成員大小的整數倍** (或默認對齊數)；尾部填充 Padding 使數組元素連續存放時仍滿足對齊。

上例內存佈局圧解

地址偏移:  0   1   2   3   4   5   6   7
內容:      c  [pad] [pad] [pad]  i   i   i   i
           ↑           ↑
         offset=0   offset=4 (4 的倍數)
總大小 8 = 4 的倍數 (最寬成員 int=4)

控制對齊：#pragma pack(n) 與 __attribute__((aligned(n)))

實戰示例：網絡協議頭部定義 (必須 1 字節對齊)

#pragma pack(push, 1)
typedef struct {
    uint16_t magic;     // 0xA5A5
    uint8_t  version;   // 1
    uint8_t  cmd;       // 命令碼
    uint32_t length;    // 數據長度
    uint32_t seq;       // 序列號
} ProtoHeader;
#pragma pack(pop)

// 驗證
static_assert(sizeof(ProtoHeader) == 11, "Protocol header size mismatch");

對齊對性能的影響

• CPU 訪問效率：x86 支持非對齊訪問但有性能損耗 (跨 Cache Line 更嚴重)；ARM/MIPS/RISC-V 早期架構非對齊直接**硬件異常 (SIGBUS)**。
• 向量化指令：SSE/AVX/NEON 要求 16/32/64 字節對齊，否則需昂貴的非對齊加載指令或崩潰。
• 原子操作：std::atomic / 鎖自由算法要求變量自然對齊 (通常 4/8 字節)。

優化技巧：成員重排減小體積

// 未優化: 24 字節 (64 位系統, 雙指針 8 字節對齊)
struct Bad { char c; double d; int i; char c2; long l; };

// 優化: 按類型大小降序排列 -> 16 字節
struct Good { double d; long l; int i; char c; char c2; };
// 佈局: d(8) + l(8) = 16, 結尾無需尾部填充

**原則**：聲明順序按 sizeof(類型) **從大到小** 排列，相同大小分組，可最小化 Padding。

總結

1. sizeof(struct) ≥ 成員大小之和，差值為 Padding。
2. 三大規則：首地址對齊、成員偏移對齊、總大小對齊。
3. 用 #pragma pack / 屬性控制對齊，**跨平台協議必須顯式指定**。
4. 成員重排是零成本優化結構體體積的利器。