編譯系統概覽

C/C++ 源代碼經過 預處理 → 編譯 → 匯編 → 鏈接 四大階段，生成可執行文件。每階段產出中間產物，理解此流程有助於診斷構建錯誤、優化編譯速度、掌握靜態/動態鏈接機制。

階段一：預處理

處理以 # 開頭的預處理指令，產出 .i / .ii 文件（無宏、無註釋、展開頭文件）。

核心處理

• 宏展開：#define 替換，#undef 取消
• 條件編譯：#if/#ifdef/#ifndef/#else/#elif/#endif 根據宏決定保留代碼
• 頭文件包含：#include <sys> 系統路徑，#include "user" 當前目錄，遞歸展開
• 特殊符號：__LINE__、__FILE__、__func__、__DATE__、__TIME__ 替換
• 刪除註釋：單行 //、多行 /* */
• 添加行號標記：供編譯器報錯定位、調試信息生成

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

階段二：編譯

詞法/語法/語義分析，優化，生成 匯編代碼 .s。

關鍵步驟

1. 詞法分析：字符流 → Token 序列
2. 語法分析：Token → AST（抽象語法樹）
3. 語義分析：類型檢查、符號表構建、常量折疊
4. 中間代碼生成：三地址碼/SSA 形式
5. 優化：機器無關優化（公共子表達式消除、循環不變量外提、死代碼消除、內聯展開）
6. 代碼生成：目標機器匯編，寄存器分配、指令選擇、調度

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

階段三：匯編

將匯編助記符翻譯為 機器指令，生成 目標文件 .o / .obj（ELF/COFF/PE 格式）。

目標文件結構

• .text：代碼段（只讀、可執行）
• .data：已初始化全局/靜態變量（讀寫）
• .bss：未初始化全局/靜態變量（運行時清零，不佔文件大小）
• .rodata：只讀數據（字符串字面量、const 變量）
• 符號表：定義/引用的函數、變量符號
• 重定位表：待鏈接時修正的地址引用

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

階段四：鏈接

將多個目標文件與庫文件合併，解決符號引用，生成 可執行文件。

靜態鏈接

• 從 .a / .lib 靜態庫**提取**被引用的目標模塊，**複製**到可執行文件
• 優點：部署簡單、無運行時依賴、允許鏈接時優化 (LTO)
• 缺點：文件體積大、內存浪費（多進程各載一份）、庫升級需重新鏈接

動態鏈接

• 可執行文件僅記錄 .so / .dll 名稱及符號索引
• 運行時由**動態鏈接器** (ld-linux.so / Windows Loader) 映射共享庫到進程地址空間
• 優點：磁盤/內存共享一份代碼、庫升級無需重鏈接、支持插件機制
• 缺點：啟動開銷、符號衝突風險 (Symbol Interposition)、ABI 兼容要求、部署需確保庫存在

鏈接關鍵概念

• 符號解析：將每個引用綁定到唯一定義（強/弱符號規則）
• 重定位：修正代碼/數據中對符號地址的引用
• 段合併：同類段合併（.text+.text）、地址分配
• 入口點：_start → __libc_start_main → main

可執行文件結構 (ELF)

• Program Header Table：載入視圖（段權限、虛擬地址、文件偏移）
• Section Header Table：鏈接視圖（節區詳細信息）
• .interp：指定動態鏈接器路徑
• .dynamic：動態鏈接信息（NEEDED 庫、RPATH/RUNPATH、符號表鏈接）
• .got/.plt：全局偏移表/過程鏈接表，實現位置無關代碼 (PIC) 與延遲綁定

為什麼 Hello World 也要幾十 KB？

• C Runtime (CRT) 啟動代碼：crt1.o、crti.o、crtn.o
• 標準庫符號（即使未用，默認動態鏈接 libc）
• ELF 結構開銷：段對齊、段頭、程序頭、字符串表、符號表
• 調試信息（默認 `-g`）、構建 ID、註釋段
• 優化：-s 剥離符號、-Os 體積優化、-ffunction-sections -fdata-sections -Wl,--gc-sections 刪除未用節區、靜態鏈接 musl libc 可至 ~5KB

一鍵編譯命令

# 編譯+鏈接一步到位
gcc hello.c -o hello

# 查看中間產物
gcc -E hello.c -o hello.i   # 預處理
gcc -S hello.i -o hello.s   # 編譯
gcc -c hello.s -o hello.o   # 匯編
gcc hello.o -o hello        # 鏈接

# 靜態鏈接
gcc hello.c -static -o hello_static

# 動態鏈接顯式指定
gcc hello.c -shared -fPIC -o libhello.so
gcc main.c -L. -lhello -o main -Wl,-rpath=.