C 語言柔性數組：變長結構體的零開銷實現

C 語言柔性數組：變長結構體的零開銷實現

網絡協議、游戲消息、數據庫記錄常涉及「固定頭部 + 變長數據」的結構。C99 引入的柔性數組成員（Flexible Array Member）為此提供了標準、高效、類型安全的解決方案。本文對比傳統指針法，詳細演示柔性數組的定義、內存佈局、分配訪問及優勢。

傳統指針法痛點

typedef struct {
    unsigned len;
    char *pData;   // 額外 8/4 字節指針開銷
} Msg;
// 使用時：
Msg *m = malloc(sizeof(Msg) + len);
m->pData = (char*)(m + 1); // 手動計算數據起始地址，易錯
memcpy(m->pData, data, len);

• 結構體額外包含指針字段，佔用內存且破壞內存連續性。
• 需手動計算偏移 (char*)(m+1)，維護成本高。
• 訪問數據需兩次解引用（m->pData[i]），間接訪問略慢。

柔性數組優雅解法

typedef struct {
    unsigned len;
    char data[];   // 不定長數組，不佔用結構體大小
} Message;
// 分配：
Message *msg = malloc(sizeof(Message) + len);
// 直接訪問：
msg->len = len;
memcpy(msg->data, str, len);
printf("%u, %s\n", msg->len, msg->data);
free(msg);

內存佈局對比

關鍵規則與注意事項

• 柔性數組必須是結構體最後一個成員，且前面至少有一個其他成員。
• sizeof(Message) 不包含 柔性數組空間，僅含固定部分。
• 只能通過 malloc/calloc/realloc 動態分配，不能定義靜態/自動變量（如 Message msg; 非法）。
• 釋放時只需 free(msg)，內存塊整體回收，無洩漏風險。
• 對齊要求：分配大小建議向對齊粒度（如 8 字節）對齊，malloc(sizeof(Message) + len) 通常已滿足。

完整對比示例

// array0.h
typedef struct { unsigned len; char *pData; } Msg;
typedef struct { unsigned len; char data[]; } Message;

// main.c
#include <stdio.h> #include <stdlib.h> #include <string.h> #include "array0.h"
int main() {
    char str[] = "hello world!";
    unsigned len = sizeof(str);
    // 指針法
    Msg *m = malloc(sizeof(Msg) + len);
    m->len = len; m->pData = (char*)(m+1);
    memcpy(m+1, str, len);  // 或 memcpy(m->pData, str, len)
    printf("%u, %s\n", m->len, m->pData); free(m);
    // 柔性數組
    Message *msg = malloc(sizeof(Message) + len);
    msg->len = len;
    memcpy(msg->data, str, len);
    printf("%u, %s\n", msg->len, msg->data); free(msg);
    return 0;
}

應用場景

• 網絡包：struct Pkt { Header hdr; uint8_t payload[]; };
• 游戲實體：struct Entity { ID id; Component comps[]; };
• 文件系統 inode、數據庫頁面、壓縮塊等變長結構。

柔性數組是 C 語言處理變長數據的「正統」方式，消除了指針開銷與手動偏移計算，代碼更簡潔、安全、高效，現代系統編程必備技能。