從源代碼到二進制行程序 C語言的編譯過程是怎樣的？

前言

C語言程序從源代碼到二進制行程序都經歷了那些過程？本文以Linux下C語言的編譯過程為例，講解C語言程序的編譯過程。

編寫hello world C程序：

【資料圖】

// hello.c#includeint main(){    printf("hello world!\n");}

編譯過程只需：

$ gcc hello.c # 編譯$ ./a.out # 執行hello world!

這個過程如此熟悉，以至于大家覺得編譯事件很簡單的事。事實真的如此嗎？我們來細看一下C語言的編譯過程到底是怎樣的。

上述gcc命令其實依次執行了四步操作：1.預處理(Preprocessing), 2.編譯(Compilation), 3.匯編(Assemble), 4.鏈接(Linking)。

示例

為了下面步驟講解的方便，我們需要一個稍微復雜一點的例子。假設我們自己定義了一個頭文件mymath.h，實現一些自己的數學函數，并把具體實現放在mymath.c當中。然后寫一個test.c程序使用這些函數。程序目錄結構如下：

├── test.c└── inc    ├── mymath.h    └── mymath.c

程序代碼如下：

// test.c#include#include "mymath.h"http:// 自定義頭文件int main(){    int a = 2;    int b = 3;    int sum = add(a, b);     printf("a=%d, b=%d, a+b=%d\n", a, b, sum);}

頭文件定義：

// mymath.h#ifndef MYMATH_H#define MYMATH_Hint add(int a, int b);int sum(int a, int b);#endif

頭文件實現：

// mymath.cint add(int a, int b){    return a+b;}int sub(int a, int b){    return a-b;}

1.預處理(Preprocessing)

預處理用于將所有的#include頭文件以及宏定義替換成其真正的內容，預處理之后得到的仍然是文本文件，但文件體積會大很多。gcc的預處理是預處理器cpp來完成的，你可以通過如下命令對test.c進行預處理：

gcc -E -I./inc test.c -o test.i

或者直接調用cpp命令

$ cpp test.c -I./inc -o test.i

上述命令中-E是讓編譯器在預處理之后就退出，不進行后續編譯過程；-I指定頭文件目錄，這里指定的是我們自定義的頭文件目錄；-o指定輸出文件名。

經過預處理之后代碼體積會大很多：

X文件名文件大小代碼行數

預處理前test.c146B9

預處理后test.i17691B857

預處理之后的程序還是文本，可以用文本編輯器打開。

2.編譯(Compilation)

這里的編譯不是指程序從源文件到二進制程序的全部過程，而是指將經過預處理之后的程序轉換成特定匯編代碼(assembly code)的過程。編譯的指定如下：

$ gcc -S -I./inc test.c -o test.s

上述命令中-S讓編譯器在編譯之后停止，不進行后續過程。編譯過程完成后，將生成程序的匯編代碼test.s，這也是文本文件，內容如下：

// test.c匯編之后的結果test.s    .file   "test.c"    .section    .rodata.LC0:    .string "a=%d, b=%d, a+b=%d\n"    .text    .globl  main    .type   main, @functionmain:.LFB0:    .cfi_startproc    pushl   %ebp    .cfi_def_cfa_offset 8    .cfi_offset 5, -8    movl    %esp, %ebp    .cfi_def_cfa_register 5    andl    $-16, %esp    subl    $32, %esp    movl    $2, 20(%esp)    movl    $3, 24(%esp)    movl    24(%esp), %eax    movl    %eax, 4(%esp)    movl    20(%esp), %eax    movl    %eax, (%esp)    call    add     movl    %eax, 28(%esp)    movl    28(%esp), %eax    movl    %eax, 12(%esp)    movl    24(%esp), %eax    movl    %eax, 8(%esp)    movl    20(%esp), %eax    movl    %eax, 4(%esp)    movl    $.LC0, (%esp)    call    printf    leave    .cfi_restore 5    .cfi_def_cfa 4, 4    ret     .cfi_endproc.LFE0:    .size   main, .-main    .ident  "GCC: (Ubuntu 4.8.2-19ubuntu1) 4.8.2"    .section    .note.GNU-stack,"",@progbits

請不要問我上述代碼是什么意思!-_-

3.匯編(Assemble)

匯編過程將上一步的匯編代碼轉換成機器碼(machine code)，這一步產生的文件叫做目標文件，是二進制格式。gcc匯編過程通過as命令完成：

$ as test.s -o test.o

等價于：

gcc -c test.s -o test.o

這一步會為每一個源文件產生一個目標文件。因此mymath.c也需要產生一個mymath.o文件

4.鏈接(Linking)

鏈接過程將多個目標文以及所需的庫文件(.so等)鏈接成最終的可執行文件(executable file)。

命令大致如下：

$ ld -o test.out test.o inc/mymath.o ...libraries...

結語

經過以上分析，我們發現編譯過程并不像想象的那么簡單，而是要經過預處理、編譯、匯編、鏈接。盡管我們平時使用gcc命令的時候沒有關心中間結果，但每次程序的編譯都少不了這幾個步驟。也不用為上述繁瑣過程而煩惱，因為你仍然可以：

$ gcc hello.c # 編譯$ ./a.out # 執行

參考文獻

1.https://www3.ntu.edu.sg/home/ehchua/programming/cpp/gcc_make.html 2.http://www.trilithium.com/johan/2005/08/linux-gate/ 3.https://gcc.gnu.org/onlinedocs/gccint/Collect2.html