您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C >> C 語言入門

Linux 核心 C 語言精髓：結構體設計、字節對齊與運算子優先級陷阱

編輯：C 語言入門

Linux 核心以 C 語言編寫，大量使用 struct 模擬物件導向封裝。結構體不僅組織資料，更透過函數指標封裝操作，實現多態與繼承。本文深入解析結構體在核心中的角色、字節對齊優化、以及易誤的運算子優先級陷阱。

一、結構體：核心的「物件」基石


// 核心典型結構體：檔案操作介面（多態）
struct file_operations {
    struct module *owner;
    loff_t (*llseek) (struct file *, loff_t, int);
    ssize_t (*read) (struct file *, char __user *, size_t, loff_t *);
    ssize_t (*write) (struct file *, const char __user *, size_t, loff_t *);
    // ... 更多函數指標
};

// 繼承模擬：嵌入基礎結構體
struct cdev {
    struct kobject kobj;      // 基礎物件
    struct module *owner;
    const struct file_operations *ops;
    struct list_head list;
    dev_t dev;
    unsigned int count;
};

核心透過：

首欄位嵌入基類：container_of 宏實現向上轉型
函數指標表：file_operations 實現動態分派
柔性陣列：struct { int n; char data[]; } 變長結構

二、字節對齊：效能與正確性的關鍵

對齊規則

結構體起始位址能被其最寬成員對齊
每個成員相對結構體起始位移能被自身大小對齊（或編譯器預設對齊數）
結構體總大小為最大對齊數的倍數（尾部填充）

實例分析


#pragma pack(1) // 1 字節對齊（緊湊）
struct A { char c; int i; }; // sizeof=5

#pragma pack(4) // 4 字節對齊
struct B { char c; int i; }; // sizeof=8 (c+3填充+i)

#pragma pack() // 預設（通常 8/16）
struct C { double d; char c; int i; }; // sizeof=24 (d:8, c+7填充, i:4, 尾部填充4)

優化技巧

成員按大小遞減排序：減少填充，緊湊佈局
位欄位：unsigned int flag:1; unsigned int mode:3; 極致壓縮
__attribute__((packed))：GCC 強制無填充（可能導致非對齊存取效能損失或 SIGBUS）
offsetof：編譯期計算偏移，配合 container_of 安全轉型

三、運算子優先級陷阱：結構體成員存取

最高優先級運算子：. -> () []（左結合）

經典誤讀案例


struct { int len; char *str; } *p;

// 表達式 → 實際結合 → 結果
++p->len      → ++(p->len)       // len +1
(++p)->len    → (++p)->len       // p+1 後取 len
(p++)->len    → (p++)->len       // 取 len 後 p+1
*p->str       → *(p->str)        // 取 str 指向的字元
*p->str++     → *(p->str++)      // 取字元後 str+1
(*p->str)++   → (*(p->str))++    // 字元值 +1
*p++->str     → *(p++->str)      // 取字元後 p+1