Linux C 程序編譯全過程深度解析：從源碼到可執行文件的四大階段

Linux C 程序編譯全過程深度解析

掌握編譯鏈路是進階 C 程序員的必修課。本文以 gcc 為例，詳細拆解預處理、編譯、匯編、鏈接四大階段，並展示每階段的中間產物與命令。

一鍵編譯背後的四階段

gcc -o test test.c  # 實際包含四個階段

階段 1：預處理

命令：gcc -E test.c -o test.i

處理對象：以 # 開頭的預處理指令

• 宏定義：#define、#undef
• 條件編譯：#ifdef/#ifndef/#else/#endif
• 頭文件包含：#include 展開
• 特殊符號替換：__FILE__、__LINE__、__DATE__、__TIME__
• 刪除註釋與多餘空白字符

產物：test.i（無宏、無條件編譯、已展開頭文件的純 C 代碼）

階段 2：編譯

命令：gcc -S test.i -o test.s

動作：詞法/語法分析 → 生成匯編語言（.s 文件）

示例輸出片段：

.file "test.c"
.section .rodata
.LC0:
.string "hello world"
.text
.globl main
.type main, @function
main:
.LFB0:
.cfi_startproc
pushq %rbp
.cfi_def_cfa_offset 16
...
call puts
movl $0, %eax
leave
.cfi_def_cfa 7, 8
ret
.cfi_endproc

階段 3：匯編

命令：gcc -c test.s -o test.o

動作：將匯編指令翻譯為機器碼，生成目標文件（.o，ELF 格式）

目標文件結構：

• 代碼段（.text）：指令，只讀可執行
• 數據段（.data/.bss）：全局/靜態變量
• 符號表（.symtab）、字符串表（.strtab）
• 重定位表（.rela.text 等）

階段 4：鏈接

命令：gcc test.o -o test

核心任務：

1. 符號解析：將各目標文件中的符號引用（函數調用、全局變量）與定義匹配。
2. 地址重定位：為符號分配最終虛擬地址，修正指令中的地址引用。
3. 庫鏈接：合併靜態庫（.a）代碼、記錄動態庫（.so）依賴。

產物：最終可執行文件（ELF Executable），可直接由加載器運行。

目標文件類型對比

靜態鏈接 vs 動態鏈接

• 靜態鏈接：庫代碼拷貝進可執行文件，體積大、無依賴、啟動快、浪費內存/磁盤（多進程重複載入）。
• 動態鏈接：僅記錄庫名/版本，運行時由動態鏈接器加載共享庫，體積小、共享內存、便於升級、啟動稍慢、有依賴地獄風險。

實用編譯選項速查

gcc -E test.c -o test.i    # 只預處理
gcc -S test.c -o test.s    # 只編譯到匯編
gcc -c test.c -o test.o    # 編譯+匯編到目標文件
gcc test.o -o test         # 只鏈接
gcc -Wall -O2 test.c -o test  # 開啟警告+優化
gcc -static test.c -o test    # 強制靜態鏈接

總結

理解四階段有助於：

1. 診斷編譯錯誤（語法錯誤在編譯期，未定義引用在鏈接期）。
2. 優化構建流程（增量編譯、並行構建）。
3. 排查運行時問題（符號衝突、庫版本不匹配）。
4. 編寫構建腳本、Makefile、CMakeLists.txt 時決策更科學。

建議動手實驗各階段產物，配合 objdump、readelf、nm 等工具觀察目標文件結構，深化理解。