在C++ 程式中呼叫被C 編譯器編譯後的函式,為什麼要加extern "C

才智咖 人氣:2.54W

首先,作為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”的慣用法