網路視訊監控專案：上層軟體發送控制指令結構體給嵌入式 Linux 視訊板。調試發現指令回傳「操作錯誤」，但記憶體檢視結構體內容正確。最終發現 sizeof(struct) 不符預期，導致封包長度錯誤，嵌入式端解析失敗。
為提升 CPU 存取效能，編譯器依目標架構對齊要求 (32-bit: 4 bytes, 64-bit: 8 bytes) 在結構體成員間插入填充位元組。
typedef struct {
int intValue; // 4 bytes
char ch1; // 1 byte
char ch2; // 1 byte
} PACKAGE; // 預期 6 bytes
// 32-bit 編譯器預設對齊 4
// 實際記憶體佈局：
// intValue (0~3)
// ch1 (4)
// ch2 (5)
// padding (6~7) ← 編譯器自動插入
// sizeof = 8
#pragma pack(push, 1) // 儲存舊對齊，設為 1
typedef struct {
int intValue;
char ch1;
char ch2;
} PACKAGE_PACKED;
#pragma pack(pop) // 還原
// sizeof(PACKAGE_PACKED) == 6
#include
#pragma pack(push, 1)
struct Packed { int i; char c1, c2; };
#pragma pack(pop)
struct Normal { int i; char c1, c2; };
int main()
{
std::cout << "Packed: " << sizeof(Packed) << std::endl; // 6
std::cout << "Normal: " << sizeof(Normal) << std::endl; // 8
return 0;
}
| 場景 | 建議 |
|---|---|
| 網路協定封包、檔案格式、共享記憶體、嵌入式通訊 | 必須使用 #pragma pack(1) 或 __attribute__((packed)) 確保位元組精確佈局 |
| 純記憶體內部資料結構、高效能運算 | 保持預設對齊，發揮 CPU 最佳存取效能 |
| 跨編譯器/平台專案 | 統一在標頭檔定義 PACKED_STRUCT 巨集封裝 #pragma pack，避免遺漏 |
#pragma pack(1)
struct BitField {
unsigned int a : 3;
unsigned int b : 5;
unsigned int c : 8; // 共 16 bits = 2 bytes
};
#pragma pack(pop)
// 不同編譯器對位元欄位跨界處理不同，嚴謹場景建議手動位運算
編譯器為效能隱性插入的填充位元組，是跨平台二進制相容的頭號殺手。养成「對外介面結構體必須 pack(1)」的習慣，能省去無數深夜除錯時光。
