C++ 程序編譯四大階段全解析：預處理、編譯、匯編、鏈接

為什麼要了解編譯流程？

IDE (VS, CLion) 一鍵運行隱藏了細節。掌握 g++ 四階段流程，能診斷「頭文件重複包含」「模板報錯」「鏈接錯誤」「符號衝突」等疑難雜癥，也是高級優化 (LTO, PCH) 的前提。

文件後綴約定

四大階段詳解

1. 預處理 -E → .i 文件

• 處理 #include：展開頭文件內容 (遞歸)。
• 處理 #define：宏替換、條件編譯 (#if/#ifdef)。
• 移除註釋。
• 添加行號標記 (#line)，供後續錯誤定位。

g++ -E hello.cpp > hello.i
# 查看 hello.i 尾部可見 iostream 內容已展開，宏已替換

2. 編譯 -S → .s 文件

• 詞法/語法/語義分析，生成 AST。
• 優化 (根據 -O 等級)。
• 輸出目標平台匯編語言 (AT&T 語法 x86_64)。
• 模板實例化、內聯展開、常量傳播均在此階段。

g++ -S hello.cpp
# hello.s 含 .text .data .bss 段指令，如 call _ZStlsISt11char_traitsIcEERSt13basic_ostreamIcT_ES5_PKc

3. 匯編 -c → .o 目標文件

• 將匯編指令翻譯為機器碼 (二進制)。
• 生成 ELF (Linux) / Mach-O (macOS) / COFF (Windows) 格式。
• 包含：代碼段、數據段、符號表、重定位表、調試信息 (DWARF)。
• 未解析符號 (如 std::cout) 保留在重定位表，待鏈接階段解決。

g++ -c hello.cpp
# hello.o 為二進制，objdump -d hello.o 可反匯編查看

4. 鏈接 (默認) → 可執行文件

• 合併多個 .o 及庫文件。
• 符號解析：將未定義引用 (如 std::cout) 綁定到定義處 (libstdc++.so/a)。
• 重定位：修正地址引用。
• 生成最終可執行文件 (含入口點 _start → __libc_start_main → main)。

g++ -o hello hello.cpp
# 等同於: g++ -c hello.cpp -o hello.o && g++ hello.o -o hello
./hello  # 輸出 "hello world!"

關鍵概念：庫文件與鏈接

靜態庫 (.a)

• ar rcs libfoo.a foo.o bar.o 打包目標文件。
• 鏈接時**提取需要的 .o 合併進可執行文件**，體積大但無運行時依賴。

動態庫 (.so)

• g++ -shared -fPIC -o libfoo.so foo.cpp。
• 鏈接時僅記錄**依賴關係** (NEEDED)，運行時由動態鏈接器 (ld.so) 載入。
• 優點：節省磁碟/內存、支持熱更新；缺點：部署需保證庫路徑 (LD_LIBRARY_PATH/rpath)。

常見錯誤對應階段

進階技巧

• 預編譯頭 (PCH)：g++ -x c++-header common.h -o common.h.gch，加速大型專案編譯。
• 鏈接時優化 (LTO)：g++ -flto -O2，跨文件內聯、死代碼消除。
• 僅編譯不鏈接：-c 參數，構建系統並行編譯核心。
• 查看符號表：nm -C hello.o (C++ 解碼名)、objdump -t。

總結

「預處理展開 → 編譯優化生成匯編 → 匯編生成機器碼目標文件 → 鏈接解析符號生成可執行文件」是 C++ 源碼變程序的鐵律。熟練使用 -E/-S/-c 斷點調試編譯流程，是從「會用語言」進階為「懂底層工程師」的必經之路。