C++ 空類大小為何為 1？結構體包含指針成員大小計算規則

現象

struct Ca { int *p; };
Ca a;
cout << sizeof(a); // 輸出 4 (32位) 或 8 (64位)

問題：未實例化指針指向的內存，為何結構體有大小？

核心解釋

• `sizeof(Ca)` 計算的是**結構體對象本身佔用的棧內存大小**，而非其成員指向的堆內存。
• 成員 `int *p` 是一個**指針變量**，在 32 位系統佔 4 字節，64 位佔 8 字節，存儲地址值。
• 指針**是否指向有效內存、指向多大內存，不影響結構體大小**。
• 空結構體 `struct Empty {};` 大小為 1 (C++ 標準保證不同對象地址不同)，用於佔位。

內存佈局圖解 (32位)

Ca 實例 (棧上)
+----+----+----+----+
| p (4 bytes)      |  ← 指針變量本身，值為 0x00000000 (未初始化) 或堆地址
+----+----+----+----+
sizeof = 4

擴展：對齊與填充

struct Mixed {
    char c;      // 1 byte
    // 3 bytes padding
    int *p;      // 4 bytes (32位)
    // 0 bytes padding
    double d;    // 8 bytes
}; 
// sizeof = 1 + 3 + 4 + 8 = 16 (典型對齊)

關鍵區別

理解「指針是變量，存地址；指向內存是另一塊區域」是掌握 C/C++ 內存模型的基石。