C/C++ 內存佈局深度解析：棧、堆、靜態區與內存對齊

C/C++ 內存佈局深度解析：棧、堆、靜態區與內存對齊

理解內存分配機制是編寫高質量、高性能、無 Bug C/C++ 代碼的基石。本文系統梳理程序內存五大區域、棧堆差異、以及常被忽視但至關重要的內存對齊規則。

一、程序內存五大區域

1. 棧區：由編譯器自動管理。存放函數參數、局部變量、返回地址、返回值。操作方式類似棧結構，先進後出，分配釋放極快，但空間有限（Windows 通常 1MB~2MB）。
2. 堆區：由程序員手動管理 (malloc/free, new/delete)。空間大、靈活，但易產生內存碎片、洩漏，分配效率較低。
3. 靜態區/全局區：存放全局變量、靜態變量 (static)。程序啟動分配，程序結束釋放。未初始化的默認為 0。
4. 常量區：存放字符串字面量、const 修飾的全局常量。通常為只讀，防止意外修改。
5. 代碼區：存放二進制機器指令，通常為只讀，可共享。

二、代碼示例：變量分佈驗證

#include <stdio.h>
#include <stdlib.h>

int global_var;           // 全局區/靜態區
void func(int param);     // 代碼區

int main() {
    int local_var;                // 棧區
    static int static_var;        // 全局區/靜態區
    char *str_literal = "hello";  // 指針在棧，字符串在常量區
    char *heap_ptr = (char*)malloc(10); // 指針在棟，內容在堆區
    
    printf("global: %p\n", &global_var);
    printf("local: %p\n", &local_var);
    printf("static: %p\n", &static_var);
    printf("str_literal: %p\n", str_literal);
    printf("heap_ptr: %p\n", heap_ptr);
    free(heap_ptr);
    return 0;
}

三、棧與堆核心差異對比

四、內存對齊：原理、規則與實戰

1. 為什麼要對齊？

硬件平台要求：某些 CPU 只能從特定地址讀取特定類型（如 ARM 早期不支持非對齊訪問會拋異常）。
性能優化：即使支持非對齊訪問（x86），跨邊界讀取需兩次總線週期，拼湊高低字節，效率大幅下降。對齊是空間換時間的經典博弈。

2. 對齊核心概念

• 自身對齊值：類型固有屬性。通常 char=1, short=2, int/float=4, double=8 (視平台/編譯器)。
• 指定對齊值：#pragma pack(n) 指定 (n=1,2,4,8,16)。
• 有效對齊值：min(自身對齊值, 指定對齊值)。成員按此值對齊。
• 結構體整體對齊：結構體大小必須是「所有成員有效對齊值的最大值」的整數倍，不足補齊。

3. 實戰案例分析 (GCC, 默認 pack(4))

// 案例 1: 成員順序影響大小
struct A { int a; char b; short c; }; // 大小 8 (4+1+1填充+2)
struct B { char b; int a; short c; }; // 大小 12 (1+3填充+4+2+2填充)

// 案例 2: #pragma pack(2) 強制 2 字節對齊
#pragma pack(2)
struct C { char b; int a; short c; }; // 大小 8 (1+1填充+4+2, 整體對齊 2)
#pragma pack()

// 案例 3: #pragma pack(1) 緊湊模式
#pragma pack(1)
struct D { char b; int a; short c; }; // 大小 7 (無填充)
#pragma pack()

// 案例 4: 聯合體對齊以最大成員為準，但受 pack 影響
union E { int a[5]; char b; double c; }; // 大小 24 (double 8 字節對齊，5*4=20 -> 24)

4. 關鍵規則總結

• 結構體首地址偏移為 0。
• 每個成員偏移必須滿足 offset % 有效對齊值 == 0。
• 嵌套結構體按其自身整體對齊值對齊。
• 數組元素連續存放，首元素對齊則全對齊。
• #pragma pack(n) 影響範圍直到下一個 #pragma pack() 恢復默認。

掌握內存佈局與對齊，能有效避免「訪問非法內存」、「結構體大小預期不符」、「網絡協議/文件格式解析錯誤」等棘手問題。