當前位置:學識都>好好學習>考研>

在C++ 程序中調用被C 編譯器編譯後的函數,爲什麼要加extern "C

學識都 人氣:2.55W

首先,作爲extern是C/C++語言中表明函數和全局變量作用範圍(可見性)的關鍵字,該關鍵字告訴編譯器,其聲明的函數和變量可以在本模塊或其它模塊中使用。

在C++ 程序中調用被C 編譯器編譯後的函數,爲什麼要加extern "C

通常,在模塊的頭文件中對本模塊提供給其它模塊引用的函數和全局變量以關鍵字extern聲明。例如,如果模塊B欲引用該模塊A中定義的全局變量和函數時只需包含模塊A的頭文件即可。這樣,模塊B中調用模塊A中的函數時,在編譯階段,模塊B雖然找不到該函數,但是並不會報錯;它會在連接階段中從模塊A編譯生成的目標代碼中找到此函數

extern “C”是連接申明(linkage declaration),被extern “C”修飾的變量和函數是按照C語言方式編譯和連接的,來看看C++中對類似C的函數是怎樣編譯的:

作爲一種面向對象的語言,C++支持函數重載,而過程式語言C則不支持。函數被C++編譯後在符號庫中的名字與C語言的不同。例如,假設某個函數的原型爲:

void foo( int x, int y );

該函數被C編譯器編譯後在符號庫中的名字爲_foo,而C++編譯器則會產生像_foo_int_int之類的名字(不同的編譯器可能生成的名字不同,但是都採用了相同的機制,生成的新名字稱爲“mangled name”)。

_foo_int_int這樣的名字包含了函數名、函數參數數量及類型信息,C++就是靠這種機制來實現函數重載的。例如,在C++中,函數void foo( int x, int y )與void foo( int x, float y )編譯生成的符號是不相同的,後者爲_foo_int_float。

同樣地,C++中的變量除支持局部變量外,還支持類成員變量和全局變量。用戶所編寫程序的類成員變量可能與全局變量同名,我們以”.”來區分。而本質上,編譯器在進行編譯時,與函數的處理相似,也爲類中的變量取了一個獨一無二的名字,這個名字與用戶程序中同名的全局變量名字不同。

未加extern “C”聲明時的連接方式

假設在C++中,模塊A的頭文件如下:

// 模塊A頭文件 moduleA.h

#ifndef MODULE_A_H

#define MODULE_A_H

int foo( int x, int y );

#endif

在模塊B中引用該函數:

// 模塊B實現文件 

#i nclude “moduleA.h”

foo(2,3);

實際上,在連接階段,連接器會從模塊A生成的目標文件中尋找_foo_int_int這樣的符號!

加extern “C”聲明後的'編譯和連接方式

加extern “C”聲明後,模塊A的頭文件變爲:

// 模塊A頭文件 moduleA.h

#ifndef MODULE_A_H

#define MODULE_A_H

extern “C” int foo( int x, int y );

#endif

在模塊B的實現文件中仍然調用foo( 2,3 ),其結果是:

(1)模塊A編譯生成foo的目標代碼時,沒有對其名字進行特殊處理,採用了C語言的方式;

(2)連接器在爲模塊B的目標代碼尋找foo(2,3)調用時,尋找的是未經修改的符號名_foo。

如果在模塊A中函數聲明瞭foo爲extern “C”類型,而模塊B中包含的是extern int foo( int x, int y ) ,則模塊B找不到模塊A中的函數;反之亦然。

所以,可以用一句話概括extern “C”這個聲明的真實目的(任何語言中的任何語法特性的誕生都不是隨意而爲的,來源於真實世界的需求驅動。我們在思考問題時,不能只停留在這個語言是怎麼做的,還要問一問它爲什麼要這麼做,動機是什麼,這樣我們可以更深入地理解許多問題):實現C++與C及其它語言的混合編程。

明白了C++中extern “C”的設立動機,我們下面來具體分析extern “C”通常的使用技巧:

extern “C”的慣用法