人的記憶力會(huì)隨著歲月的流逝而衰退,寫(xiě)作可以彌補(bǔ)記憶的不足,將曾經(jīng)的人生經(jīng)歷和感悟記錄下來(lái),也便于保存一份美好的回憶。大家想知道怎么樣才能寫(xiě)一篇比較優(yōu)質(zhì)的范文嗎?下面是小編幫大家整理的優(yōu)質(zhì)范文,僅供參考,大家一起來(lái)看看吧。
c語(yǔ)言的連接符號(hào)篇一
如果你有一個(gè)c++文件,而你只有一些相關(guān)類的聲明, 那么你如何用c調(diào)用呢?c語(yǔ)言中的鏈接編寫(xiě)再怎么寫(xiě)呢?歡迎大家閱讀!更多相關(guān)信息請(qǐng)關(guān)注相關(guān)欄目!
鏈接就是將不同部分的代碼和數(shù)據(jù)收集和組合成為一個(gè)單一文件的過(guò)程,這個(gè)文件可被加載或拷貝到存儲(chǔ)器執(zhí)行.
鏈接可以執(zhí)行與編譯時(shí)(源代碼被翻譯成機(jī)器代碼時(shí)),也可以執(zhí)行與加載時(shí)(在程序被加載器加載到存儲(chǔ)器并執(zhí)行時(shí)),甚至執(zhí)行與運(yùn)行時(shí),由應(yīng)用程序來(lái)執(zhí)行.在現(xiàn)代系統(tǒng)中,鏈接是由鏈接器自動(dòng)執(zhí)行的.
鏈接器分為:靜態(tài)鏈接器和動(dòng)態(tài)鏈接器兩種.
靜態(tài)鏈接器以一組可重定位目標(biāo)文件和命令行參數(shù)作為輸入,生成一個(gè)完全鏈接的可以加載和運(yùn)行的可執(zhí)行目標(biāo)文件作為輸出.
靜態(tài)鏈接器主要完成兩個(gè)任務(wù):
1>符號(hào)解析:目標(biāo)文件定義和引用符號(hào).符號(hào)解析的目的在于將每個(gè)符號(hào)引用和一個(gè)符號(hào)定義聯(lián)系起來(lái).
2>重定位:編譯器和匯編器生成從地址零開(kāi)始的代碼和數(shù)據(jù)節(jié).鏈接器通過(guò)把每個(gè)符號(hào)定義和一個(gè)存儲(chǔ)器位置聯(lián)系起來(lái),然后修改所有對(duì)這些符號(hào)的引用,使得他們執(zhí)行這個(gè)存儲(chǔ)位置,從而重定位這些節(jié).
目標(biāo)文件有三種形式:
1>可重定位的目標(biāo)文件:
包含二進(jìn)制代碼和數(shù)據(jù),其形式可以再編譯時(shí)與其他可定位目標(biāo)文件合并起來(lái),創(chuàng)建一個(gè)可執(zhí)行目標(biāo)文件.
2>可執(zhí)行目標(biāo)文件:
包含二進(jìn)制代碼和數(shù)據(jù),其形式可以被直接拷貝到存儲(chǔ)器并執(zhí)行.
3>共享目標(biāo)文件:
一種特殊的可重定位目標(biāo)文件,可以再加載或運(yùn)行時(shí),被動(dòng)態(tài)地夾在到存儲(chǔ)器并執(zhí)行.
編譯器和匯編器生成可重定位目標(biāo)文件(包括共享目標(biāo)文件),鏈接器生成可執(zhí)行目標(biāo)文件.
ef頭l以一個(gè)16字節(jié)的序列開(kāi)始,頭剩下的部分包含幫助鏈接器解析和解釋目標(biāo)文件的信息.其中包括elf頭的大小,目標(biāo)文件的類型(比如,可重定位,可執(zhí)行,共享目標(biāo)文件),機(jī)器類型,節(jié)頭部表的文件偏移,以及節(jié)頭部表中的表目大小和數(shù)量.不同節(jié)的位置和大小是節(jié)頭部表描述的,格式的可重定位目標(biāo)文件結(jié)構(gòu)如下圖:
.text:已編譯程序的機(jī)器代碼
.rodata:只讀數(shù)據(jù)
.data:已初始化的全局c變量
.bss:未初始化的全局c變量.在目標(biāo)文件中這個(gè)節(jié)不占實(shí)際空間,僅是一個(gè)占位符.
.sysmtab:一個(gè)符號(hào)表,存放在程序中被定義和引用的函數(shù)和全局變量的信息.
.:當(dāng)鏈接器把這個(gè)目標(biāo)文件和其他文件結(jié)合時(shí),.text節(jié)中的許多位置都需要修改.一般而言,任何調(diào)用外部函數(shù)或者引用全局變量的指令都要修改.另一個(gè)方面,調(diào)用本地函數(shù)的指令則不需要修改.
.:被模塊定義或引用的任何全局變量的信息.
.debug:一個(gè)調(diào)試符號(hào)表
.line:節(jié)中機(jī)器指令之間的映射.
.strtab:一個(gè)字符串表,節(jié)中的符號(hào)表,以及節(jié)頭部中的節(jié)名字.
每個(gè)可重定位目標(biāo)模塊m都有一個(gè)符號(hào)表,它包含m所定義和引用的符號(hào)的信息.在鏈接器上下文中,有三種不同的符號(hào):
1>由m定義并能被其他模塊引用的全局符號(hào).全局鏈接器符號(hào)對(duì)應(yīng)于非靜態(tài)的c函數(shù)以及被定義為不帶c的static屬性的全局變量.
2>由其他模塊定義并被模塊m引用的全局符號(hào).這些符號(hào)成為外部符號(hào),對(duì)應(yīng)于定義在其他模塊中的c函數(shù)和變量.
3>只被模塊m定義和引用的本地符號(hào).有的本地符號(hào)鏈接器符號(hào)對(duì)應(yīng)于帶static屬性的c函數(shù)和全局變量.這些符號(hào)在模塊m中的任何地方都可見(jiàn),但是不能被其他模塊引用.目標(biāo)文件中對(duì)應(yīng)于模塊m的節(jié)和相應(yīng)的源文件的名字也能獲得本地符號(hào).
符號(hào)表式有匯編器構(gòu)造的,節(jié)中包含elf符號(hào)表.這張符號(hào)表包含一個(gè)關(guān)于表目的數(shù)組.表目的格式如下:
typedef struct{ int name; //string table offset int value; //section offset, or vm address int size; //object size in bytes char type:4, //data, func, section, or src file binding:4; //local or global char reserved; //unused char section; //section header index, abs, undef, or common}elf_symbol;
鏈接器解析符號(hào)引用的方法是將每個(gè)引用和它輸入的可重定位目標(biāo)文件按的符號(hào)表中的一個(gè)確定的符號(hào)定義聯(lián)系起來(lái).
對(duì)于那些和引用定義在相同模塊的本地符號(hào)的引用,符號(hào)解析式非常簡(jiǎn)單明了的.編譯器只允許每個(gè)模塊中的每個(gè)本地符號(hào)只有一個(gè)定義.編譯器還確保靜態(tài)本地變量,它們會(huì)有本地鏈接器符號(hào),擁有唯一的名字.
對(duì)于全局符號(hào)的引用解析,當(dāng)編譯器遇到一個(gè)不是在當(dāng)前模塊中定義的符號(hào)(變量或函數(shù)名)時(shí),它會(huì)假設(shè)該符號(hào)式在其他某個(gè)模塊中定義的,生成一個(gè)鏈接器符號(hào)表表目,并把它交給鏈接器處理.如果鏈接器在它的任何輸入模塊中都找不到這個(gè)被引用的符號(hào),它就輸出一條錯(cuò)誤信息并終止.
在編譯時(shí),編譯器輸出的每個(gè)全局符號(hào)給匯編器,或者是強(qiáng),或者是弱,而匯編器把這個(gè)信息隱含地編碼在可重定位目標(biāo)文件的符號(hào)表中.函數(shù)和以初始化的全局變量是強(qiáng)符號(hào),未初始化的全局變量是弱符號(hào).
根據(jù)符號(hào)的強(qiáng)弱,有如下規(guī)則:
1>不允許有多個(gè)強(qiáng)符號(hào)
2>如果有一個(gè)強(qiáng)符號(hào)和多個(gè)弱符號(hào),則選擇強(qiáng)符號(hào)
3>如果有多個(gè)弱符號(hào),則任選一個(gè)弱符號(hào)
所有編譯系統(tǒng)都提供一種機(jī)制,將所有相關(guān)的目標(biāo)模塊打包為一個(gè)單獨(dú)的文件,稱為靜態(tài)庫(kù),它可以用做鏈接器的輸入.當(dāng)鏈接器構(gòu)造一個(gè)輸出的可執(zhí)行文件時(shí),它只拷貝靜態(tài)庫(kù)里被應(yīng)用程序引用的目標(biāo)模塊.
在unix系統(tǒng)中,靜態(tài)庫(kù)以一種稱為存檔的特殊文件格式存放在磁盤(pán)中.存檔文件是一組連接起來(lái)的可重定位目標(biāo)文件的集合,有一個(gè)頭部描述每個(gè)成員目標(biāo)文件的大小和位置.
在符號(hào)解析階段,鏈接器從左到右按照它們?cè)诰幾g驅(qū)動(dòng)程序命令行上出現(xiàn)的相同順序來(lái)掃描可重定位目標(biāo)文件和存檔文件.在這次掃描中,鏈接器位置一個(gè)可重定位目標(biāo)文件集合e,這個(gè)集合中的文件會(huì)被合并起來(lái)形成可執(zhí)行文件,和一個(gè)未解析的符號(hào)集合u,以及一個(gè)在前面輸入文件中已定義的符號(hào)結(jié)合d.初始時(shí),e,u,d都是空的.
1>對(duì)于命令行上的每個(gè)輸入文件f,鏈接器會(huì)判斷f是一個(gè)目標(biāo)文件還是一個(gè)存檔文件.如果是一個(gè)目標(biāo)文件,那么鏈接器把f添加到e,修改u和d來(lái)反映f中的符號(hào)定義和引用,并繼續(xù)下一個(gè)輸入文件.
2>如果f是一個(gè)存檔文件,那么鏈接器就嘗試匹配u中未解析的符號(hào)由存檔文件成員定義的符號(hào).如果某個(gè)存檔文件成員m,定義了一個(gè)符號(hào)來(lái)解析u中的一個(gè)引用,那么就將m加到e中,并且鏈接器修改u和d來(lái)反映m中的符號(hào)定義和引用.對(duì)存檔文件中的所有成員目標(biāo)文件都反復(fù)進(jìn)行這個(gè)過(guò)程,知道u和d都不再發(fā)生變化.在此時(shí),任何不包含在e中的成員目標(biāo)文件都會(huì)被丟棄,而鏈接器將繼續(xù)到下一個(gè)輸入文件.
3>如果當(dāng)鏈接器完成對(duì)輸入命令行的掃描后,u是非空的,那么鏈接器就會(huì)輸出一個(gè)錯(cuò)誤并終止.否則,它會(huì)合并重定位e中的目標(biāo)文件,從而構(gòu)建輸出的可執(zhí)行文件.
這種方式,導(dǎo)致了在輸入命令時(shí)要考慮到,靜態(tài)庫(kù)和目標(biāo)文件的位置,庫(kù)文件放在目標(biāo)文件的后面,如果庫(kù)文件之間有引用關(guān)系,則被引用的庫(kù)放在后面.
當(dāng)鏈接器完成了符號(hào)解析這一步時(shí),它就把代碼中的每個(gè)符號(hào)引用和確定的一個(gè)符號(hào)定義(也就是,它的一個(gè)輸入目標(biāo)模塊中的一個(gè)符號(hào)表表目)聯(lián)系起來(lái).此時(shí),鏈接器就知道它的輸入目標(biāo)模塊中的代碼節(jié)和數(shù)據(jù)解的確切大小.然后就開(kāi)始重定位步驟.重定位由兩步組成:
在這一步中,鏈接器將所有相同類型的節(jié)合并為一個(gè)新的聚合節(jié).然后,鏈接器將運(yùn)行時(shí)存儲(chǔ)器地址賦值給新的聚合節(jié),賦給輸入模塊定義的每個(gè)節(jié),以及賦給輸入模塊定義的每個(gè)符號(hào).當(dāng)這一步完成時(shí),程序中的每個(gè)指令和全局變量都一個(gè)唯一的運(yùn)行時(shí)存儲(chǔ)器地址.
在這一步中,鏈接器修改代碼節(jié)和數(shù)據(jù)節(jié)中對(duì)每個(gè)符號(hào)的引用,使得它們指向正確的運(yùn)行時(shí)地址.為了執(zhí)行這一步,鏈接器依賴于稱為重定位表目的'可重定位目標(biāo)模塊中的數(shù)據(jù)結(jié)構(gòu).
當(dāng)匯編器生成一個(gè)目標(biāo)模塊時(shí),它并不知道數(shù)據(jù)和代碼最終將存放在存儲(chǔ)器中的什么位置.它也不知道這個(gè)模塊引用的任何外部定義的函數(shù)或者全局變量的位置.所以,無(wú)論何時(shí)匯編器遇到對(duì)最終位置未知的目標(biāo)引用,它就會(huì)生成一個(gè)重定位表目,告訴鏈接器在將目標(biāo)文件合并為可執(zhí)行文件時(shí),如何修改這個(gè)引用.代碼的重定位表目放在.中.已初始化數(shù)據(jù)的重定位表目放在中.
elf重定位表目的格式如下:
typedef struct{
int offset; //offset of the reference to relocate
int symbol:24, //symbol the reference point to
type:8; //relocation type
} elf32_rel;
elf定義了11中不同的重定位類型,其中最基本的兩種重定位類型是:r_386_pc32(重定位一個(gè)使用32pc相關(guān)的地址引用)和r_386_32(重定位一個(gè)使用32位絕對(duì)地址的引用).
共享庫(kù)是一個(gè)目標(biāo)模塊,在運(yùn)行時(shí),可以加載到任意的存儲(chǔ)器地址,并在存儲(chǔ)器中和一個(gè)程序鏈接起來(lái).這個(gè)過(guò)程稱為動(dòng)態(tài)鏈接,是由動(dòng)態(tài)鏈接器完成的.
共享庫(kù)的共享在兩個(gè)方面有所不同.首先,在任何給定的文件系統(tǒng)中,文件中的代碼和數(shù)據(jù),而不是像靜態(tài)庫(kù)德內(nèi)容那樣被拷貝和嵌入到引用它們的可執(zhí)行的文件中.其次,在存儲(chǔ)器中,節(jié)只有一個(gè)副本可以被不同的正在運(yùn)行的進(jìn)程共享.
stack.c
#include#define stacksize 1000
typedef struct stack {
int data[stacksize];
int top;
} stack;
stack s;
int count = 0;
void pushstack(int d)
{
[ ++] = d;
count ++; } int popstack()
{
return [-- ];
}
int isempty()
{
return == 0;
}
link.c
#includeint a, b;
int main()
{
a = b = 1;
pushstack(a);
pushstack(b);
pushstack(a);
while (!isempty()) {
printf("%dn", popstack());
}
return 0;
}
編譯方式:
gcc -wall stack.c link.c -o main
提示出錯(cuò)信息如下:
但是代碼是可以執(zhí)行的
上述編譯出現(xiàn)錯(cuò)誤的原因是:編譯器在處理函數(shù)調(diào)用代碼時(shí)沒(méi)有找到函數(shù)原型,只好根據(jù)函數(shù)調(diào)用代碼做隱式聲明,把這三個(gè)函數(shù)聲明為:
int pushstack(int); int popstack(void); int isempty(void);
編譯器往往不知道去哪里找函數(shù)定義,像上面的例子,我讓編譯器編譯main.c,而這幾個(gè)函數(shù)定義卻在stack.c里,編譯器無(wú)法知道,因此可以用extern聲明。修改link.c如下:
#includeint a, b; extern void pushstack(int d); extern int popstack(void); extern int isempty(void); int main() { a = b = 1; pushstack(a); pushstack(b); pushstack(a); while (! isempty()) { printf("%dn", popstack()); } return 0; }
這樣編譯器就不會(huì)報(bào)警了。這里extern關(guān)鍵字表示這個(gè)標(biāo)識(shí)符具有external ack這個(gè)標(biāo)識(shí)符具有external linkage指的是:如果link.c和stack.c鏈接在一起,如果pushstack在link.c和stack.c中都聲明(在stack.c中的聲明同時(shí)也是定義),那么這些聲明指的是同一個(gè)函數(shù),鏈接后是同一個(gè)global符號(hào),代表同一個(gè)地址。函數(shù)聲明中的extern可以省略不寫(xiě),不屑extern的函數(shù)聲明也表示這個(gè)函數(shù)具有external linkage。
如果用static關(guān)鍵字修飾一個(gè)函數(shù)聲明,則表示該標(biāo)識(shí)符具有internal linkage,例如有以下兩個(gè)程序文件:
/* foo.c */ static void foo(void) {} /*main.c*/ void foo(void); int main(void) { foo(); return 0;}
雖然在foo.c中定義了函數(shù)foo,但是這個(gè)函數(shù)是static屬性,只具有internal linkage。如果把foo.c編譯成目標(biāo)文件,函數(shù)名foo在其中是一個(gè)local的符號(hào),不參與鏈接過(guò)程,所以在鏈接時(shí),main.c中用到一個(gè)external linkage的foo函數(shù),鏈接器卻找不到它的定義在哪,無(wú)法確定它的地址,也就無(wú)法做符號(hào)解析,只好報(bào)錯(cuò)。
凡是被多次聲明的變量或函數(shù),必須有且只有一個(gè)聲明是定義,如果有多個(gè)定義,或者一個(gè)定義都沒(méi)有,鏈接器就無(wú)法完成鏈接
如果我想在link.c中訪問(wèn)stack.c中定義的int變量count,則可以用extern聲明
#include
int a, b;
extern void pushstack(int d);
extern int popstack(void);
extern int isempty(void);
extern int count;
int main()
{
a = b = 1;
pushstack(a);
pushstack(b);
pushstack(a);
printf("%dn", count);
while (! isempty()) {
printf("%dn", popstack());
}
return 0;
}
變量count具有external linkage,它的存儲(chǔ)空間是在stack.c中分配的,所以link.c中的變量聲明extern int count;不是變量定義,因?yàn)樗环峙浯鎯?chǔ)空間。
如果不想在stack.c外讓外界訪問(wèn)到count,則可以用static關(guān)鍵字將count聲明為internal linkage
變量生命和函數(shù)聲明有一點(diǎn)不同,函數(shù)聲明的extern可寫(xiě)可不寫(xiě),而變量聲明如果不寫(xiě)extern,意思就完全變了。如果上面的例子不寫(xiě)extern就表示在main函數(shù)中定義一個(gè)全局變量count。
用static關(guān)鍵字聲明具有internal linkage的函數(shù)和關(guān)鍵字是處于保護(hù)內(nèi)部狀態(tài)的目的,也是一種封裝(encapsulation)的思想。一個(gè)模塊中,有些函數(shù)是提供給外界使用的,也稱為導(dǎo)出(export)給外界使用,這些函數(shù)用extern聲明為external linkage的。
為了防止每次函數(shù)extern聲明,例如又有一個(gè)foo.c也使用pushstack等函數(shù),又需要在foo.c中寫(xiě)多個(gè)extern聲明,為了避免這種重復(fù)麻煩的操作,可以自己定義一個(gè)stack.h頭文件:
#ifndef stack_h
#define stack_h
#define stacksize 1000
typedef struct stack {
int data[stacksize];
int top;
} stack;
extern void pushstack(int d);
extern int popstack(void);
extern int isempty(void);
#endif
這樣,在link.c里就只需要包含這個(gè)頭文件就可以了,而不需要寫(xiě)三個(gè)函數(shù)聲明了:
#include
#include "stack.h"
int a, b;
extern int count;
int main() {
a = b = 1;
pushstack(a);
pushstack(b);
pushstack(a);
printf("%dn", count);
while (! isempty()) {
printf("%dn", popstack());
}
return 0;
}
為什么#include用角括號(hào),而#include "stack.h"用引號(hào)?原因:
對(duì)于用角括號(hào)包含的頭文件,gcc首先查找-i選項(xiàng)指定的目錄,然后查找系統(tǒng)的頭文件目錄(通常是/usr/include) 對(duì)于用“”包含的頭文件,gcc首先查找包含頭文件的.c文件所在的目錄,然后查找-i選項(xiàng)指定的目錄,然后查找系統(tǒng)的頭文件目錄
用#ifndef #define #endif是為了防止頭文件的重復(fù)包含,頭文件重復(fù)包含的問(wèn)題如下:
使預(yù)處理的速度變慢了,要處理很多本來(lái)不需要處理的頭文件 如果a.h包含了b.h,然后b.h又包含了a.h的情況,預(yù)處理就陷入死循環(huán)了
頭文件中的變量和函數(shù)聲明一定不能是定義。如果頭文件中出現(xiàn)變量或函數(shù)定義,這個(gè)頭文件又被多個(gè).c文件包含,那么這些.c文件就不能鏈接在一起。
s("content_relate");【c語(yǔ)言中的鏈接編寫(xiě)】相關(guān)文章:
1.c語(yǔ)言鏈接程序
2.c語(yǔ)言中的運(yùn)算規(guī)則
3.c語(yǔ)言中的字符(char)
4.c語(yǔ)言中的assert用法
5.c語(yǔ)言中default的用法
6.c語(yǔ)言中free的用法
7. c語(yǔ)言中的指針解讀
8.c語(yǔ)言中bit的用法
【本文地址:http://mlvmservice.com/zuowen/2676548.html】