編譯C程式的詳細過程

2021-08-30 21:12:04 字數 4033 閱讀 9356

[b]編譯的概念[/b]:編譯程式讀取源程式(字元流),對之進行詞法和語法的分析,將高階語言指令轉換為功能等效的彙編**,再由匯程式設計序轉換為機器語言,並且按照作業系統對可執行檔案格式的要求鏈結生成可執行程式。

編譯的完整過程:[color=red]c源程式-->預編譯處理(.c)-->編譯、優化程式(.s、.asm)-->匯程式設計序(.obj、.o、.a、.ko)-->鏈結程式(.exe、.elf、.axf等)[/color]

[b]編譯器如何處理標頭檔案[/b]?

使用者將乙個原始檔交給編譯器後,首先由預處理器進行的是該檔案的預處理,也就是說,完成巨集處理,並按照#include指令引進所有標頭檔案。預處理之後的結果被稱為[color=red]編譯單位[/color],編譯單位才是編譯器真正的工作物件。

聯結器:

聯結器是乙個程式,它的工作是將分別編譯的部分約束在一起,它使得分別編譯能夠工作,它為孤立的分析乙個編譯單位提供有關程式的其他型別資訊。聯結器有時也稱作裝載器。連線工作可以在程式執行之前完全做好,也可以在程式執行後為其加入新的**(動態連線)。

下面舉例使用gcc編譯hello.c舉例說明編譯全過程:

[b]1. 編譯預處理[/b]

讀取c源程式,對其中的偽指令(以#開頭的指令)和特殊符號進行處理

偽指令主要包括以下四個方面:

(1)巨集定義指令,如#define name tokenstring,#undef等。

對於前乙個偽指令,預編譯所要做的是將程式中的所有name用tokenstring替換,但作為字串常量的 name則不被替換。對於後者,則將取消對某個巨集的定義,使以後該串的出現不再被替換。

(2)條件編譯指令,如#ifdef,#ifndef,#else,#elif,#endif等。

這些偽指令的引入使得程式設計師可以通過定義不同的巨集來決定編譯程式對哪些**進行處理。預編譯程式將根據有關的檔案,將那些不必要的**過濾掉

(3) 標頭檔案包含指令,如#include "filename"或者#include 等。

在標頭檔案中一般用偽指令#define定義了大量的巨集(最常見的是字元常量),同時包含有各種外部符號的宣告。

採用標頭檔案的目的主要是為了使某些定義可以供多個不同的c源程式使用。因為在需要用到這些定義的c源程式中,只需加上一條#include語句即可,而不必再在此檔案中將這些定義重複一遍。預編譯程式將把頭檔案中的定義統統都加入到它所產生的輸出檔案中,以供編譯程式對之進行處理。

包含到c源程式中的標頭檔案可以是系統提供的,這些標頭檔案一般被放在/usr/include目錄下。在程式中#include它們要使用尖括號(< >)。另外開發人員也可以定義自己的標頭檔案,這些檔案一般與c源程式放在同一目錄下,此時在#include中要用雙引號("")。

(4)特殊符號,預編譯程式可以識別一些特殊的符號。

例如在源程式中出現的line標識將被解釋為當前行號(十進位制數),file則被解釋為當前被編譯的c源程式的名稱。預編譯程式對於在源程式中出現的這些串將用合適的值進行替換。

預編譯程式所完成的基本上是對源程式的「替代」工作。經過此種替代,生成乙個沒有巨集定義、沒有條件編譯指令、沒有特殊符號的輸出檔案。這個檔案的含義同沒有經過預處理的原始檔是相同的,但內容有所不同。下一步,此輸出檔案將作為編譯程式的輸出而被翻譯成為機器指令。

例:

$gcc -e hello.c -o hello.i

說明:將hello.c做預處理,輸出hello.i,它的本質是乙個編譯單元。

[b]2. 編譯、優化階段[/b]

經過預編譯得到的輸出檔案中,只有常量;如數字、字串、變數的定義,以及c語言的關鍵字,如main,if,else,for,while,, +,-,*,\等等。

編譯程式所要作得工作就是通過詞法分析和語法分析,在確認所有的指令都符合語法規則之後,將其翻譯成等價的中間**表示或彙編**。

優化處理是編譯系統中一項比較艱深的技術。它涉及到的問題不僅同編譯技術本身有關,而且同機器的硬體環境也有很大的關係。優化一部分是對中間**的優化。這種優化不依賴於具體的計算機。另一種優化則主要針對目標**的生成而進行的。

對於前一種優化,主要的工作是刪除公共表示式、迴圈優化(**外提、強度削弱、變換迴圈控制條件、已知量的合併等)、複寫傳播,以及無用賦值的刪除,等等。

後一種型別的優化同機器的硬體結構密切相關,最主要的是考慮是如何充分利用機器的各個硬體暫存器存放的有關變數的值,以減少對於記憶體的訪問次數。另外,如何根據機器硬體執行指令的特點(如流水線、risc、cisc、vliw等)而對指令進行一些調整使目標**比較短,執行的效率比較高,也是乙個重要的研究課題。

經過優化得到的彙編**必須經過匯程式設計序的彙編轉換成相應的機器指令,方可能被機器執行。

例:

$gcc -s hello.i -o hello.s

說明:使用gcc的-s選項,該選項將編譯單元翻譯成組合語言,它只進行編譯而不進行彙編,生成的hello.s是彙編**。

[b]3. 彙編過程[/b]

彙編過程實際上指把組合語言**(.s)翻譯成目標機器指令的過程。對於被翻譯系統處理的每乙個c語言源程式,都將最終經過這一處理而得到相應的目標檔案。目標檔案中所存放的也就是與源程式等效的目標的機器語言**。

目標檔案由段組成。通常乙個目標檔案中至少有兩個段:

**段:該段中所包含的主要是程式的指令。該段一般是可讀和可執行的,但一般卻不可寫。

資料段:主要存放程式中要用到的各種全域性變數或靜態的資料。一般資料段都是可讀,可寫,可執行的。

unix環境下主要有三種型別的目標檔案:

(1)可重定位檔案

其中包含有適合於其它目標檔案鏈結來建立乙個可執行的或者共享的目標檔案的**和資料。

(2)共享的目標檔案

這種檔案存放了適合於在兩種上下文裡鏈結的**和資料。

第一種是鏈結程式可把它與其它可重定位檔案及共享的目標檔案一起處理來建立另乙個 目標檔案;

第二種是動態鏈結程式將它與另乙個可執行檔案及其它的共享目標檔案結合到一起,建立乙個程序映象。

(3)可執行檔案

它包含了乙個可以被作業系統建立乙個程序來執行之的檔案。

匯程式設計序生成的實際上是第一種型別的目標檔案。對於後兩種還需要其他的一些處理方能得到,這個就是鏈結程式的工作了。

例:

$gcc -c hello.s -o hello.o

說明:使用gcc的-c選項,將彙編**翻譯成二進位制機器碼,只翻譯,不進行連線。

[b] 4. 鏈結程式[/b]

由匯程式設計序生成的目標檔案並不能立即就被執行,其中可能還有許多沒有解決

的問題。

例如,某個原始檔中的函式可能引用了另乙個原始檔中定義的某個符號(如變數或者函式呼叫等);在程式中可能呼叫了某個庫檔案中的函式,等等。所有的這些問題,都需要經鏈結程式的處理方能得以解決。

鏈結程式的主要工作就是將有關的目標檔案彼此相連線,也即將在乙個檔案中引用的符號同該符號在另外乙個檔案中的定義連線起來,使得所有的這些目標檔案成為乙個能夠誒作業系統裝入執行的統一整體。

(1)靜態鏈結

在這種鏈結方式下,函式的**將從其所在地靜態鏈結庫中被拷貝到最終的可執行程式中。這樣該程式在被執行時這些**將被裝入到該程序的虛擬位址空間中。靜態鏈結庫實際上是乙個目標檔案的集合,其中的每個檔案含有庫中的乙個或者一組相關函式的**。

(2) 動態鏈結

在此種方式下,函式的**被放到稱作是動態鏈結庫或共享物件的某個目標檔案中。鏈結程式此時所作的只是在最終的可執行程式中記錄下共享物件的名字以及其它少量的登記資訊。在此可執行檔案被執行時,動態鏈結庫的全部內容將被對映到執行時相應程序的虛位址空間。動態鏈結程式將根據可執行程式中記錄的資訊找到相應的函式**。

對於可執行檔案中的函式呼叫,可分別採用動態鏈結或靜態鏈結的方法。使用動態鏈結能夠使最終的可執行檔案比較短小,並且當共享物件被多個程序使用時能節約一些記憶體,因為在記憶體中只需要儲存乙份此共享物件的**。但並不是使用動態鏈結就一定比使用靜態鏈結要優越。在某些情況下動態鏈結可能帶來一些效能上損害。

例:

$gcc hello.o -o hello.exe

說明:進行連線,生成可執行檔案hello.exe

C程式的編譯過程

編譯,編譯程式讀取源程式 字元流 對之進行詞法和語法的分析,將高階語言指令轉換為功能等效的彙編 再由匯程式設計序轉換為機器語言,並且按照作業系統對可執行檔案格式的要求鏈結生成可執行程式。c源程式標頭檔案 預編譯處理 cpp 編譯程式本身 優化程式 匯程式設計序 鏈結程式 可執行檔案 1.編譯預處理 ...

C程式的編譯過程

c程式的編譯過程 下面乙個簡單的例子 include 將標準庫標頭檔案拷貝 int main void 預處理 把程式設計師寫的源 進行 預加工 1 把 include包含的檔案內容拷貝到這裡 2 把巨集替換成對應的內容 3 其他預處理 預處理以後得到的還是源程式 編譯 把預處理以後的源程式,加工成...

C程式編譯過程

題記 前幾天去華為面試實習生,面試官問了個問題,讓我說出乙個程式的詳細編譯過程,當時磕磕絆絆說了一堆東西,事後自己都不知道當時說了什麼,慚愧。c語言編譯過程 編譯,編譯程式讀取源程式 字元流 對之進行詞法和語法的分析,將高階語言指令轉換為功能等效的彙編 再由匯程式設計序轉換為機器語言,並且按照作業系...