深入理解 C 語言位段：定義、使用與記憶體佈局

什麼是位段？

位段（Bit-field）是 C 語言中一種特殊的結構體（或聯合體）成員定義方式，它允許開發者以位（bit）為單位精確控制成員變數佔用的儲存空間。包含位段的結構體稱為位段結構。合理使用位段結構，不僅能有效節省記憶體空間，還能方便進行底層位操作，常見於嵌入式系統、網路協定解析、硬體暫存器映射等場景。

位段的語法與定義

位段成員的宣告格式如下：

type [member_name] : width;

• type：只能是 int、unsigned int、signed int 三種類型之一。關於 int 是否預設為有號，視編譯器而定（例如 MSVC 預設 int 為 signed int）。
• member_name：可選，可省略（即無名位段）。
• width：該位段佔用的二進位位數，不得超過基礎類型的位寬（如 32 位環境下 int 通常為 32 位）。

定義範例

struct node {
    unsigned int a : 4;   // 位段 a，佔 4 位
    unsigned int   : 0;   // 無名位段，寬度為 0（特殊對齊用途）
    unsigned int b : 4;   // 位段 b，佔 4 位
    int c : 32;           // 位段 c，佔 32 位
    int   : 6;            // 無名位段，佔 6 位（填充/對齊）
};

使用位段的關鍵規則

1. 類型限制：僅限 int、unsigned int、signed int；不支援 char、float 等類型。
2. 位寬上限：位段寬度不能超過基礎類型的最大位數（如 32 位系統下 int 為 32 位）。
3. 無名位段不可存取：無名位段雖佔用空間，但無法直接讀寫。
4. 不可取址：不能對位段成員使用 & 運算子取得位址。
5. 寬度為 0 的特殊語意：寬度為 0 的位段必須是無名位段，其作用是強制下一個位段從下一個「位段儲存單元」（在 MSVC 中為 4 位元組）開始儲存，實現對齊。
6. 整型提升：位段出現在運算式中時，會自動進行整型提升，轉換為 int 或 unsigned int 參與運算。
7. 賦值溢位風險：賦值超出位段可表示範圍會導致不可預期的結果（如符號位擴展導致負數）。
8. 不支援陣列：位段不能以陣列形式出現。

位段在記憶體中的儲存策略

編譯器會自動優化位段結構的儲存佈局，遵循以下原則（以 MSVC 為例，位段儲存單元 = 4 位元組）：

1. 單元內緊湊排列：若一個儲存單元能容納所有位段成員，則全部放入該單元；否則剩餘成員從下一個儲存單元起始位置開始存放。
2. 零寬無名位段的對齊效果：若結構體僅包含一個寬度為 0 的無名位段，C 語言佔 0 位元組，C++ 佔 1 位元組；其他任何情況下，位段結構體大小至少為一個儲存單元（4 位元組）。

實測驗證：不同結構體的大小

typedef struct { unsigned int a : 1; } S;        // 至少 1 位非零位段 → 4 bytes
typedef struct { unsigned int : 0; } S1;         // 僅一個 0 寬無名位段 → C: 0 bytes, C++: 1 byte
typedef struct { 
    unsigned int a : 1; 
    unsigned int   : 0;  // 強制換到下一個儲存單元
    unsigned int c : 32; 
} S2;                                            // 4 + 4 = 8 bytes
typedef struct { 
    unsigned int a : 4; 
    unsigned int   : 0; 
    int   : 6;         // 新儲存單元
    unsigned int c : 32; // 6+32>32 → 再換一個儲存單元
} S3;                                            // 4 + 4 + 4 = 12 bytes
typedef struct { 
    unsigned int a : 1; 
    char b;            // 普通成員也納入位段單元計算
    int c : 1; 
    int d : 2; 
    unsigned int e : 2; 
} S4;                                            // 全部放入一個單元 → 4 bytes

執行結果分析

輸出：
1 -1 -2 3
4 1 8 12 4

注意 S4 中 c（1 位有號）賦值 1 後列印為 -1，d（2 位有號）賦值 2（二進位 10）列印為 -2。原因是有號位段數值為負時，參與運算會進行符號擴展（高位補 1），導致整型提升後的值為負數。這提醒我們：對有號位段賦值時務必留意其可表示範圍。

總結

位段是 C 語言進行精細記憶體控制的利器，但其行為受編譯器實作影響較大（如儲存單元大小、位段分配順序、有號位段處理）。實際開發中應：

• 優先使用 unsigned int 避免符號擴展陷阱。
• 配合無名位段（:0）控制對齊。
• 避免對位段取址、建立陣列或超範圍賦值。
• 跨平台專案建議以固定寬度整數類型（uint32_t 等）搭配位運算替代，提高可移植性。