C語言表達式運算結果存儲位置：編譯器決定而非語言規定，寄存器與內存的動態分配機制

核心結論

運算結果存儲在哪裡，由編譯器根據目標架構、優化等級、上下文動態決定，C 標準從未規定「三目運算符結果必須在寄存器」。

編譯器決策因素

實際案例：GCC x86-64 -O2

// 源碼
int ternary(int a, int b) {
    return a > b ? a : b;
}

// 編譯輸出 (gcc -O2 -S)
ternary:
    cmp     edi, esi
    cmovg   eax, edi   # 條件移動指令，結果直接在寄存器 eax
    cmovle  eax, esi
    ret

此處三目運算結果全程在寄存器，無內存訪問。

對比：需取地址時

// 源碼
int *ptr_ternary(int a, int b) {
    int result = a > b ? a : b;
    return &result;  // ❌ 返回局部變量地址，未定義行為，但演示存儲位置
}

// 編譯輸出
ptr_ternary:
    sub     rsp, 16
    cmp     edi, esi
    cmovg   eax, edi
    cmovle  eax, esi
    mov     DWORD PTR [rsp+4], eax  # 強制溢出到棧，以便取地址
    lea     rax, [rsp+4]
    add     rsp, 16
    ret

不同表達式類型存儲傾向

驗證方法

# 生成彙編查看
gcc -O2 -S test.c -o test.s
# 或
clang -O2 -S -emit-llvm test.c -o test.ll  # LLVM IR 更清晰

總結

**語言標準規定語義，編譯器決定實現**。三目運算符無特殊存儲規則。現代編譯器在優化開啟時，極力將臨時值保持在寄存器，只有取地址、寄存器不足、跨調用等場景才溢出到棧。不要依賴具體存儲位置編寫代碼。