C/C++ 自增運算組合表達式的反組譯碼深度剖析

考試與刷題中常見的 n = (++i) + (++i) + (++i); 這類自增運算組合表達式，雖然在工程實踐中極少出現（且屬於未定義行為），但理解編譯器如何將其轉換為機器碼，有助於深入掌握程式碼生成機制。本文以 Visual Studio 2003 .NET 為例，透過反組譯碼逐步還原執行流程。

範例程式碼

#include <stdio.h>
int main() {
    int i = 0, n = 0;
    n = (++i) + (++i) + (++i);
    printf(" n = %d\n", n);
    printf(" i = %d\n", i);
    return 0;
}

編譯執行結果：n = 9, i = 3

反組譯碼逐行解析

int i=0, n = 0;
00411A4E mov dword ptr [i], 0      ; i 初始化為 0
00411A55 mov dword ptr [n], 0      ; n 初始化為 0

n = (++i) + (++i) + (++i);
00411A5C mov eax, dword ptr [i]    ; eax = 0
00411A5F add eax, 1                ; eax = 1 (第一次 ++i)
00411A62 mov dword ptr [i], eax    ; i = 1
00411A65 mov ecx, dword ptr [i]    ; ecx = 1
00411A68 add ecx, 1                ; ecx = 2 (第二次 ++i)
00411A6B mov dword ptr [i], ecx    ; i = 2
00411A6E mov edx, dword ptr [i]    ; edx = 2
00411A71 add edx, 1                ; edx = 3 (第三次 ++i)
00411A74 mov dword ptr [i], edx    ; i = 3
00411A77 mov eax, dword ptr [i]    ; eax = 3
00411A7A add eax, dword ptr [i]    ; eax = 3 + 3 = 6
00411A7D add eax, dword ptr [i]    ; eax = 6 + 3 = 9
00411A80 mov dword ptr [n], eax    ; n = 9

關鍵觀察

1. 循序執行三次前置自增：編譯器先完整執行三次 ++i，使 i 從 0 遞增至 3。
2. 後續進行加法運算：三次自增完成後，再將最終的 i 值（3）相加三次，得 9。
3. 無序列點保護：此行為屬於 C/C++ 標準中的「未定義行為」，不同編譯器（GCC、Clang、MSVC 不同版本）可能產生完全不同的結果。

結論與建議

反組譯碼清晰揭示了該編譯器的處理邏輯：先完成所有副作用（自增），再進行值運算。但切記：

• 此類程式碼在標準中無定義行為，嚴禁用於生產環境。
• 跨編譯器、跨優化等級、甚至同編譯器不同版本間結果皆可能不同。
• 真正的工程師應編寫清晰、無歧義的程式碼，利用中間變數拆分複雜表達式。

透過反組譯分析，我們不僅能理解特定編譯器的行為，更能養成閱讀底層碼、排查疑難雜症的能力。