C 語言 struct sizeof 深度解析：零長度數組、對齊與柔性陣列成員

四個結構體 sizeof 結果

零長度數組 / 柔性陣列成員 (FAM) 核心機制

struct Flex {
    int len;
    char data[0]; // C99 標準寫法：char data[]; (不寫長度)
};

• sizeof(Flex) == sizeof(int)（通常 4），不包含 data。
• 分配時：malloc(sizeof(Flex) + n * sizeof(char))，data 指向結構體尾部的額外記憶體。
• 用途：變長結構體、網路封包、檔案格式，單次分配提升快取命中率與釋放便利性。

記憶體佈局圖解

S4 (假設 32 位，int 4 字節，對齊 4)
+--------+--------+--------+
|   b    |   c    | s[0]   |  <-- s[0] 位於偏移 8，不佔空間
+--------+--------+--------+
0        4        8        (sizeof = 8)

Flex 分配 10 字節 data
+--------+----------+----------+----------+---+
|  len   | data[0]  | data[1]  |  ...     |   |
+--------+----------+----------+----------+---+
  4         8         9                    18  (總共 4+10=14，對齊可能擴展)

常見誤區

1. 以為 sizeof 包含柔性陣列：絕不包含，必須手動加上動態長度。
2. 直接存取 s[0] 當作普通陣列：合法，但必須確保已分配足夠額外空間，否則緩衝區溢位。
3. C++ 不支援零長度數組：C++11 起可用 std::vector 或 std::string 替代；GCC/Clang 擴展支援但非標準。

總結

sizeof 僅反映**編譯期固定部分**大小。零長度數組/柔性陣列成員是 C 語言實現變長結構體的經典技巧，**不計入 sizeof**，分配時手動加長。理解對齊規則（以最大成員對齊）與架構差異（指標寬度），才能精準預測結構體大小。