您现在的位置：程式碼之家 >> 編程語言 > >> C語言 >> C >> C 語言入門

C語言程序從源碼到可執行文件：四大編譯階段深度剖析與 GCC 實戰

編輯：C 語言入門

編譯流水線全景圖

源碼 (.c) 
  │ 預處理 (cpp)
  ▼
預處理輸出 (.i) 
  │ 編譯 (cc1)
  ▼
匯編代碼 (.s) 
  │ 匯編 (as)
  ▼
目標文件 (.o) 
  │ 鏈接 (ld)
  ▼
可執行文件 (a.out / 指定名)

第一階段：預處理 — 文本替換與條件編譯

預處理器（cpp）處理以 # 開頭的指令，產出純 C 代碼（無宏、無條件編譯、無頭文件引用）：

宏展開：#define PI 3.14 → 所有 PI 替換為 3.14（字符串常量內不替換）
條件編譯：#ifdef DEBUG / #if / #elif / #endif 根據宏定義保留/刪除代碼塊
頭文件包含：#include <stdio.h> (系統路徑) / #include "my.h" (當前目錄優先) → 將頭文件內容原位展開
特殊宏：__FILE__、__LINE__、__func__、__DATE__、__TIME__、__STDC__ 等替換為上下文值
刪除註釋：移除所有 // 和 /* */

GCC 命令：gcc -E hello.c -o hello.i 或 cpp hello.c > hello.i

第二階段：編譯 — 詞法/語法分析與優化

編譯器前端（cc1）將預處理輸出翻譯為目標架構的匯編代碼：

詞法分析：字符流 → Token 流（關鍵字、標識符、常量、運算符）
語法分析：Token → AST（抽象語法樹），檢查語法錯誤
語義分析：類型檢查、作用域解析、符號表構建
中間代碼生成：AST → GIMPLE/RTL（GCC 內部表示）
機器無關優化：常量傳播、死代碼消除、循環不變量外提、內聯展開、尾遞歸優化等
代碼生成：RTL → 目標匯編指令（寄存器分配、指令調度、窺孔優化）

GCC 命令：gcc -S hello.i -o hello.s (輸出 .s) 或 gcc -S hello.c -o hello.s (隱式預處理)

第三階段：匯編 — 指令編碼與目標文件生成

匯編器將助記符翻譯為機器碼，生成 ELF/COFF/Mach-O 格式目標文件：

指令編碼：mov eax, 1 → B8 01 00 00 00
符號解析：局部符號確定地址，外部符號留待鏈接器解決
段構建：
- .text：只讀代碼段（指令）
- .data：已初始化全局/靜態變量
- .bss：未初始化全局/靜態變量（僅記錄大小）
- .rodata：只讀數據（字符串常量、const 變量）
重定位表：記錄需鏈接時修正的地址引用

GCC 命令：gcc -c hello.s -o hello.o 或 gcc -c hello.c -o hello.o (一鍵完成前三階段)

第四階段：鏈接 — 符號解析與地址綁定

鏈接器將多個目標文件、庫文件、啟動代碼合併為可執行文件：

靜態鏈接

從靜態庫（.a，ar 打包的 .o 集合）提取被引用的目標文件
將代碼直接複製進可執行文件
優點：無運行時依賴、啟動快、版本鎖定
缺點：體積大、內存浪費（多進程無法共享）、升級需重新鏈接

動態鏈接

可執行文件僅記錄所需共享庫名稱（SONAME）及符號
運行時由動態鏈接器（ld-linux.so、dyld）加載共享庫（.so/.dll/.dylib），完成符號綁定
優點：體積小、內存共享、獨立升級庫、插件機制
缺點：啟動開銷、依賴地獄、符號衝突、性能微損（PLT/GOT 間接跳轉）

鏈接器核心工作

符號解析：將每個符號引用綁定到唯一定義（強/弱符號規則）
段合併：同類段合併（所有 .text 合併），計算最終虛擬地址 (VMA)
重定位：根據最終地址修正代碼/數據中的絕對地址引用
生成元數據：ELF 頭、程序頭、節頭、動態段、符號表、字符串表等

GCC 命令：gcc hello.o -o hello (隱式鏈接 libc、啟動文件 crt1.o 等)

GCC 一鍵構建與中間產物查看

階段	GCC 選項	輸出後綴	對應工具
預處理	`-E`	`.i`	cpp
編譯	`-S`	`.s`	cc1
匯編	`-c`	`.o`	as
鏈接	(無)	`a.out` / `-o`	ld

# 查看預處理展開
gcc -E -P hello.c | head -20

# 查看匯編代碼 (Intel 語法)
gcc -S -masm=intel hello.c -o hello.s

# 查看目標文件符號表
nm hello.o | grep -E 'T|D|B|U'

# 查看動態依賴
ldd hello

# 完整構建並查看鏈接腳本
gcc -Wl,--verbose hello.c -o hello 2>&1 | grep -A5 "GNU ld script"

常見構建問題診斷

現象	階段	原因	對策
宏未展開/重複定義	預處理	宏名衝突、頭文件缺少護衛	`#pragma once` / `#ifndef` 護衛、`-D` 命令行定義
語法錯誤/類型不匹配	編譯	代碼錯誤、頭文件版本不一致	讀取錯誤行、檢查 `-I` 路徑順序
未定義引用	鏈接	缺少目標文件/庫、庫順序錯誤	補充 `-l`、調整庫順序（依賴在後）、`-Wl,--no-as-needed`
多重定義	鏈接	頭文件定義變量/函數、靜態庫重複	頭文件只聲明、定義放 .c、`static inline`
運行時找不到共享庫	加載	`LD_LIBRARY_PATH` 缺失、RPATH 未設置	`export LD_LIBRARY_PATH`、`-Wl,-rpath,$ORIGIN/../lib`