教科書常說「區域變數在堆疊上從高位址向低位址分配」，但實測發現：變數宣告順序、類型大小、編譯器優化 都可能導致實際位址呈現「低→高」或「高→低」混合模式。本文以 GCC x86 組合語言輸出為證，深入剖析堆疊幀佈局機制，揭示「分配方向不固定」的真相。
// Case 1: char s[] = "hello"; double d;
Address s = 0x7ffc1234 // 較高位址
Address d = 0x7ffc1220 // 較低位址 → 高→低
// Case 2: double d; char s[] = "hello";
Address s = 0x7ffc1220 // 較低位址
Address d = 0x7ffc1234 // 較高位址 → 低→高！同一組變數，僅調換宣告順序，位址大小關係竟然反轉。
編譯指令：gcc -S -O0 -fno-stack-protector test.c（關閉保護以簡化輸出）
subl $32, %esp # 配置 32 bytes 堆疊框架
movl $6513249, 24(%esp) # s[0..3] 放在 esp+24
movw $25185, 21(%esp) # s[4..5] 放在 esp+21
movb $0, 23(%esp) # s[6] 放在 esp+23
leal 24(%esp), %eax # &s = esp+24 (較高)
...
leal 21(%esp), %eax # &d = esp+21 (較低)subl $32, %esp # 同樣配置 32 bytes
movl $6513249, 17(%esp) # s[0..3] 放在 esp+17
movl $1684234849, 21(%esp) # s[4..7] 放在 esp+21
movw $26213, 25(%esp) # s[8..9] 放在 esp+25
movb $0, 27(%esp) # s[10] 放在 esp+27
leal 17(%esp), %eax # &s = esp+17 (較低)
...
leal 21(%esp), %eax # &d = esp+21 (較高)push/call 遞減 %esp，pop/ret 遞增。函式入口 subl $N, %esp 一次性預留框架，框架內部位址越大 = 越接近舊 %esp = 較早配置。
double 需 8-byte 對齊，char[] 1-byte 對齊。double 放在框架高端（靠近 16-byte 邊界），再將小對齊變數塞入低端空隙。| 位移 | Case 1 內容 | Case 2 內容 |
|---|---|---|
| 24~31 | s[0..3] (int 對齊) | d (double, 8-byte 對齊) |
| 17~23 | d (double, 此處未對齊！) | s[0..9] (char 陣列) |
| 16 | 對齊填隙 | 對齊填隙 |
| 0~15 | 暫存器溢位/保留 | 暫存器溢位/保留 |
Case 1 因 s 先宣告佔據高位址，d 被擠到低位址（甚至犧牲對齊）；Case 2 d 先宣告搶到高位址對齊位置，s 退居低位址。
&a > &b 完全不可移植。double, long double, _Alignas(16)）會強佔高位址對齊槽位。-O2 會將變數提升至暫存器、重用堆疊槽位、甚至完全消除變數，位址關係更不可預測。-fstack-protector 插入 Canary 在框架高端，進一步打亂直覺。struct + _Alignas 明確指定。下次面試官問「區域變數在堆疊上怎麼分配」，你可以自信回答：「堆疊向下增長，但編譯器會根據對齊需求與生命週期在框架內自由排版，位址高低與宣告順序無固定關係——請看這份 GCC 組合語言證據。」
