C語言的編譯鏈結過程詳解

2021-08-09 06:26:35 字數 4615 閱讀 7360

學過c語言的人都應該知道,我們所編輯的c語言程式是不能直接放到機器上執行的,它只不過是乙個帶".c"字尾的檔案(也稱為源**)而已,需要經過一定的處理才能轉換成機器上可執行的可執行檔案。我們將對c語言的這種處理過程稱為編譯與鏈結。

編譯就是把文字形式源**翻譯為機器語言形式的目標檔案過程。

鏈結是把目標檔案、作業系統的啟動**和用到的庫檔案進行組織最終形成可執行**的過程。編譯和鏈結的過程**如下:

從圖上可知,整個**的編譯過程分為編譯和鏈結兩個過程,其中

編譯對應圖中的大括號括起來部分,其餘則為

鏈結過程。

其中編譯過程又分為兩個階段:

編譯和彙編。

編譯是讀取源程式(字元流),對之進行詞法和語法的分析,將高階語言指令轉換為功能等效的彙編**,原始檔的編譯過程主要包含兩個階段:

第乙個階段是

:預處理階段,在正式的編譯階段之前進行。預處理階段將根據已放置的檔案中的預處理指令來修改原始檔的內容。如#include指令就是乙個預處理指令,他把檔案的內容新增到.cpp檔案中。這個在編譯之前修改原始檔的方式提供了很大的靈活性,以適應不同的計算機和作業系統環境的限制。乙個環境所需要的可執行**跟另乙個環境所需要的可執行**可能有所不同,因為可用的硬體體系結構和作業系統不同所致。在許多情況下(特別是在嵌入式開發中),可以把用於不同環境的**放在同乙個檔案中,再在預處理階段修改**,使之適應環境。

預處理階段主要是以下幾方面的處理:

1)、巨集定義指令,如#define、m a;

對於這種偽指令,預編譯所要做的是將程式中的所有m用a來替換,一定要注意作為字元常量a則不被替換(因為已經是常量,其值已經是確定的)。與之相對應的還有#undef,則是將取消對某個巨集的定義,使之在後面出現時再不被替換。

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

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

3)、標頭檔案包含指令,如#include等。

在標頭檔案中一般用偽指令#define定義了大量的巨集(最常見的是字元常量),同時包含各種外部符號的宣告。採用標頭檔案的主要目的是為了使某些定義可以供多個不同的c源程式使用。因為當需要使用到這些定義的c源程式中,只需要加上一條#include語句即可,而不必在此檔案中將這些定義重複一遍。預編譯程式將把頭檔案中定義統統加入到它所產生的輸出檔案中,以供編譯程式對之處理。在linux作業系統中包含到c源程式中的標頭檔案可以是系統提供的,這些標頭檔案一般被放在/usr/include/目錄下。在程式中使用它們,#include要使用尖括號<>;另外開發人員也可以定義自己的標頭檔案,這些檔案一般與c源程式放在同一目錄下,此時在#include中要使用""。

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

例如,在源程式中出現的line識別符號將被解釋為當前行號(十進位制),file則被解釋為當前被編譯的c源程式的檔名稱,function則被解釋為當前被編譯的c源程式中的函式名稱。預編譯程式對於在源程式中出現的這些串將用合適的值進行替換,這些常常是配套使用,用來進行對程式的除錯。

最後需要著重強調一點的是預處理階段並不屬於預編譯過程,這經常是初學者容易搞錯的。

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

第二個階段是:

編譯、優化,經過預編譯得到的輸出檔案中只有常量,一般都是一些指令。

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

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

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

後一種型別的優化同機器的硬體結構密切相關,最主要的是考慮是如何充分利用機器的各個硬體暫存器存放的有關變數的值,以減少對於記憶體的訪問次數(要知道記憶體資源對於計算機至關重要,控制好它可以大幅提高計算機的運算速度)。另外,如何根據機器硬體執行指令的特點(如流水線、

risc

、cisc

、vliw

等)而對指令進行一些調整使目標**比較短,執行的效率比較高,也是乙個重要的研究課題。 彙編

實際上指把組合語言**翻譯成目標機器指令的過程。對於被翻譯系統處理的每乙個

c語言源程式,都將最終經過這一處理而得到相應的目標檔案。目標檔案中所存放的也就是與源程式等效的目標的機器語言**。目標檔案由段組成。通常乙個目標檔案中至少有兩個段:**段和資料段;

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

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

unix

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

1)可重定位檔案:

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

2)共享的目標檔案

:這種檔案存放了適合於在兩種上下文裡鏈結的**和資料。第一種是鏈結程式可把它與其它可重定位檔案及共享的目標檔案一起處理來建立另乙個目標檔案;

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

3)可執行檔案:

它包含了乙個可以被作業系統建立乙個程序來執行的檔案。匯程式設計序生成的實際上是第一種型別的目標檔案。對於後兩種還需要其他的一些處理方能得到,這個就是鏈結程式的工作了。

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

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

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

根據開發人員指定的同庫函式的鏈結方式的不同,鏈結處理可分為兩種:

1)靜態鏈結

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

2) 動態鏈結

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

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

我們在linux

使用的gcc

編譯器便是把以上的幾個過程進行**,使使用者只使用一次命令就把編譯工作完成,這的確方便了編譯工作,但為了初學者了解編譯過程,下圖便給出了

gcc**的編譯過程:

從上圖可以看到:

a、預編譯

將.c 

檔案轉化成 

.i檔案

使用的gcc

命令是:

gcc –e

對應於預處理命令

cpp

b、編譯

將.c/.h

檔案轉換成

.s檔案

使用的gcc

命令是:

gcc –s

對應於編譯命令 

cc –

sc、彙編

將.s 

檔案轉化成 

.o檔案

使用的gcc 

命令是:

gcc –c

對應於彙編命令是 

asd、鏈結將.o

檔案轉化成可執行程式

使用的gcc 

命令是: 

gcc對應於鏈結命令是 ld

總結起來編譯過程就上面的四個過程:預編譯、編譯、彙編、鏈結。

了解了這四個過程中所做的工作,對我們理解標頭檔案、庫等的工作過程是有幫助的,而且清楚的了解編譯鏈結過程還對我們在程式設計時定位錯誤,以及程式設計時盡量調動編譯器的檢測錯誤會有很大的幫助的。

呵呵,看完這些是不是對c語言的整個執行過程又有了進一步的了解呀!其實機器比人笨得多哦,進行乙個程序的執行機器都需要無跳躍的一步一步的進行,不能像人的思維那樣有跳躍性。^-^說到這裡相信你有一定的感悟哦!呵呵...

C語言的編譯鏈結過程詳解

c語言的編譯鏈結過程要把我們編寫的乙個c程式 源 轉換成可以在硬體上執行的程式 可執行 需要進行編譯和鏈結。編譯 就是把文字形式源 翻譯為機器語言形式的目標檔案的過程。鏈結是把目標檔案 作業系統的啟動 和用到的庫檔案進行組織,形成最終生成可執行 的過程。過程 如下 從圖上可以看到,整個 的編譯過程分...

c語言編譯 鏈結過程

c語言的編譯鏈結過程 把c程式 源 轉換成可以在機器上執行的程式 可執行 需要進行編譯和鏈結的過程。1 編譯 主要包含兩個過程 1 預處理 巨集定義 檔案包含 條件編譯。在正式開始編譯之前根據預處理命令來修改原始檔的內容 2 編譯 優化 通過詞法分析和語法分析將指令翻譯成彙編 2 彙編 把組合語言 ...

C語言的編譯鏈結過程

編寫的乙個c程式 源程式 轉換成可以在硬體上執行的程式 可執行程式 需要進行翻譯環境和執行環境。翻譯環境則包括兩大過程編譯和鏈結,經過編譯和鏈結過程便可形成可執行程式。一 編譯 將文字形式的源 翻譯成計算機認識的機器語言 編譯又分為預處理器處理 編譯 彙編。1.預處理器處理 主要是進行文字操作,包括...