C 語言結構體字節對齊深度解析：原理、計算規則、pragma pack 與跨平台避坑

為什麼需要對齊？

• 硬體要求：部分架構 (SPARC, ARM 舊版) 只能從對齊位址訪問特定類型
• 效能優化：x86 雖支援非對齊訪問，但跨緩存行/總線寬度會導致多次訪問、效能下降
• 原子操作：對齊是硬體原子指令 (CAS, LL/SC) 的前提

五大關鍵對齊值

放置規則

1. 第一個成員偏移量 = 0
2. 後續成員偏移量 = 最小滿足：offset % 有效對齊值 == 0 的位置
3. 結構體總大小 = 所有成員佔用空間的最大結尾，向上取整為結構體有效對齊值的倍數

實例逐步推導

結構體 A (預設 4 字節對齊)

struct A { char c; short s; int i; };
// c: offset 0 (align 1) → size 1
// s: offset 2 (align 2, 1→2) → size 2
// i: offset 4 (align 4, 3→4) → size 4
// 結尾 8, 結構體 align 4 → 8%4=0 → sizeof=8

結構體 PA (#pragma pack(1))

#pragma pack(1)
struct PA { char c; short s; int i; };
#pragma pack()
// c:0(1), s:1(1), i:2(1) → 結尾 6, align 1 → sizeof=6

結構體 B (成員順序調整)

struct B { char c; int i; short s; };
// c:0(1), i:4(4, 1→4), s:8(2) → 結尾 10, align 4 → 12 (補齊 2 字節)

結構體 PB (#pragma pack(2))

#pragma pack(2)
struct PB { char c; int i; short s; };
#pragma pack()
// c:0(1), i:2(min(4,2)=2), s:6(2) → 結尾 8, align 2 → 8%2=0 → sizeof=8

驗證代碼與輸出

#include <stdio.h>
struct A { char c; short s; int i; };
#pragma pack(1) struct PA { char c; short s; int i; }; #pragma pack()
struct B { char c; int i; short s; };
#pragma pack(2) struct PB { char c; int i; short s; }; #pragma pack()

int main() {
    struct A a; struct PA pa; struct B b; struct PB pb;
    printf("sizeof(A)=%zu, &c=%p, &s=%p, &i=%p\n", sizeof(a), &a.c, &a.s, &a.i);
    printf("sizeof(PA)=%zu, &c=%p, &s=%p, &i=%p\n", sizeof(pa), &pa.c, &pa.s, &pa.i);
    printf("sizeof(B)=%zu, &c=%p, &s=%p, &i=%p\n", sizeof(b), &b.c, &b.s, &b.i);
    printf("sizeof(PB)=%zu, &c=%p, &s=%p, &i=%p\n", sizeof(pb), &pb.c, &pb.s, &pb.i);
    return 0;
}

跨平台網絡傳輸避坑指南

1. 統一 #pragma pack(1)：雙端協議結構體強制 1 字節對齊，消除編譯器差異
2. 固定寬度類型：用 int32_t, uint16_t 替代 int, short
3. 字節序轉換：網絡序 (大端) ↔ 主機序 (小端) —— htonl/ntohl, htons/ntohs
4. 避免指標/結構體嵌套：序列化時展開為扁平緩衝區
5. 版本號字段：預留協議升級空間

總結

字節對齊是「空間換時間」的經典權衡。理解 有效對齊值 = min(自身, 指定/預設) 及「結尾向上取整」規則，配合 #pragma pack 與固定寬度類型，即可寫出可移植、高效能的系統級代碼。