C语言的编译链接过程详解
學過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)可執行文件:它包含了一個可以被操作系統創建一個進程來執行的文件。匯編程序生成的實際上是第一種類型的目標文件。對于后兩種還需要其他的一些處理方能得到,這個就是鏈接程序的工作了。
鏈接過程是由匯編程序生成的目標文件并不能立即就被執行,其中可能還有許多沒有解決的問題。?例如,某個源文件中的函數可能引用了另一個源文件中定義的某個符號(如變量或者函數調用等);在程序中可能調用了某個庫文件中的函數,等等。所有的這些問題,都需要經鏈接程序的處理方能得以解決。
鏈接程序的主要工作就是將有關的目標文件彼此相連接,也即將在一個文件中引用的符號同該符號在另外一個文件中的定義連接起來,使得所有的這些目標文件成為一個能夠按操作系統裝入執行的統一整體。
根據開發人員指定的同庫函數的鏈接方式的不同,鏈接處理可分為兩種:
- 特點:在生成可執行文件的時候(鏈接階段),把所有需要的函數的二進制代碼都包含到可執行文件中去。因此,鏈接器需要知道參與鏈接的目標文件需要哪些函數,同時也要知道每個目標文件都能提供什么函數,這樣鏈接器才能知道是不是每個目標文件所需要的函數都能正確地鏈接。如果某個目標文件需要的函數在參與鏈接的目標文件中找不到的話,鏈接器就報錯了。目標文件中有兩個重要的接口來提供這些信息:一個是符號表,另外一個是重定位表。
- 優點:在程序發布的時候就不需要的依賴庫,也就是不再需要帶著庫一塊發布,程序可以獨立執行。
- 缺點:
- 程序體積會相對大一些。
- 如果靜態庫有更新的話,所有可執行文件都得重新鏈接才能用上新的靜態庫。
- 特點:?在編譯的時候不直接拷貝可執行代碼,而是通過記錄一系列符號和參數,在程序運行或加載時將這些信息傳遞給操作系統,操作系統負責將需要的動態庫加載到內存中,然后程序在運行到指定的代碼時,去共享執行內存中已經加載的動態庫可執行代碼,最終達到運行時連接的目的。
- 優點:?多個程序可以共享同一段代碼,而不需要在磁盤上存儲多個拷貝。
- 缺點:?由于是運行時加載,可能會影響程序的前期執行性能。
? ? ? ? ? ?? 庫也有靜態lib和動態lib之分:
從上圖可以看到:
a、預編譯
將.c?文件轉化成?.i文件
使用的gcc命令是:gcc?–E
對應于預處理命令cpp
b、編譯
將.c/.h文件轉換成.s文件
使用的gcc命令是:gcc?–S
對應于編譯命令?cc?–S
c、匯編
將.s?文件轉化成?.o文件
使用的gcc?命令是:gcc?–c
對應于匯編命令是?as
d、鏈接
將.o文件轉化成可執行程序
使用的gcc?命令是:?gcc
對應于鏈接命令是?ld
總結起來編譯過程就上面的四個過程:預編譯、編譯、匯編、鏈接。了解了這四個過程中所做的工作,對我們理解頭文件、庫等的工作過程是有幫助的,而且清楚的了解編譯鏈接過程還對我們在編程時定位錯誤,以及編程時盡量調動編譯器的檢測錯誤會有很大的幫助的。
轉載:http://blog.csdn.net/q_l_s/article/details/51314663
總結
以上是生活随笔為你收集整理的C语言的编译链接过程详解的全部內容,希望文章能夠幫你解決所遇到的問題。
- 上一篇: cmake / cmake --buil
- 下一篇: vi插入模式下的backspace键和方