extern "c"

標籤：http   使用   strong   檔案   問題   代碼   ar   div   

含義（1） 被extern限定的函數或變數是extern類型的：a.extern修飾變數的聲明。舉例來說，如果檔案a.c需要引用b.c中變數int v，就可以在a.c中聲明externint v，然後就可以引用變數v。這裡需要注意的是，被引用的變數v的連結屬性必須是外連結（external）的，也就是說a.c要引用到v，不只是取決於在a.c中聲明externint v，還取決於變數v本身是能夠被引用到的。這涉及到c語言的另外一個話題－－變數的範圍。能夠被其他模組以extern修飾符引用到的變數通常是全域變數。還有很重要的一點是，externint v可以放在a.c中的任何地方，比如你可以在a.c中的函數fun定義的開頭處聲明extern int v，然後就可以引用到變數v了，只不過這樣只能在函數fun範圍中引用v罷了，這還是變數範圍的問題。對於這一點來說，很多人使用的時候都心存顧慮。好像extern聲明只能用於檔案範圍似的。b.extern修飾函式宣告。從本質上來講，變數和函數沒有區別。函數名是指向函數二進位塊開頭處的指標。如果檔案a.c需要引用b.c中的函數，比如在b.c中原型是int fun(int mu)，那麼就可以在a.c中聲明extern int fun（int mu），然後就能使用fun來做任何事情。就像變數的聲明一樣，externint fun(int mu)可以放在a.c中任何地方，而不一定非要放在a.c的檔案範圍的範圍中。對其他模組中函數的引用，最常用的方法是包含這些函式宣告的標頭檔。使用extern和包含標頭檔來引用函數有什麼區別呢？extern的引用方式比包含標頭檔要簡潔得多！extern的使用方法是直截了當的，想引用哪個函數就用extern聲明哪個函數。這大概是KISS原則的一種體現吧！這樣做的一個明顯的好處是，會加速程式的編譯（確切的說是預先處理）的過程，節省時間。在大型C程式編譯過程中，這種差異是非常明顯的。（2） 被extern "C"修飾的變數和函數是按照C語言方式編譯和串連的；未加extern“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++中的變數除支援局部變數外，還支援類成員變數和全域變數。使用者所編寫程式的類成員變數可能與全域變數同名，我們以"."來區分。而本質上，編譯器在進行編譯時間，與函數的處理相似，也為類中的變數取了一個獨一無二的名字，這個名字與使用者程式中同名的全域變數名字不同。2執行個體編輯一未加extern"C"聲明時的串連方式假設在C++中，模組A的標頭檔如下：// 模組A標頭檔　moduleA.h#ifndef MODULE_A_H#define MODULE_A_Hint foo( int x, int y );#endif在模組B中引用該函數：// 模組B實現檔案　moduleB.cpp#i nclude "moduleA.h"foo(2,3);實際上，在串連階段，連接器會從模組A產生的目標檔案moduleA.obj中尋找_foo_int_int這樣的符號！加extern "C"聲明後的編譯和串連方式加extern "C"聲明後，模組A的標頭檔變為：// 模組A標頭檔　moduleA.h#ifndef MODULE_A_H#define MODULE_A_Hextern "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"的慣用法（1）在C++中引用C語言中的函數和變數，在包含C語言標頭檔（假設為cExample.h）時，需進行下列處理：extern "C"{#i nclude "cExample.h"}而在C語言的標頭檔中，對其外部函數只能指定為extern類型，C語言中不支援extern "C"聲明，在.c檔案中包含了extern "C"時會出現編譯語法錯誤。筆者編寫的C++引用C函數例子工程中包含的三個檔案的原始碼如下：/*c語言標頭檔：cExample.h */#ifndef C_EXAMPLE_H#define C_EXAMPLE_Hexternint add(int x,int y);#endif/*c語言實現檔案：cExample.c */#i nclude "cExample.h"int add( int x, int y ){return x + y;}//c++實現檔案，調用add：cppFile.cppextern "C"{#i nclude "cExample.h"}int main(int argc, char* argv[]){add(2,3);return 0;}（注意這裡如果用GCC編譯的時候，請先使用gcc -c選項產生cExample.o，再使用g++ -o cppFile cppFile.cpp cExample.o才能產生預期的c++調用c函數的結果，否則，使用g++ -o cppFile cppFile.cpp cExample.c編譯器會報錯；而當cppFile.cpp 檔案中不使用下列語句extern "C"{#i nclude "cExample.h"}而改用#i nclude "cExample.h"extern "C" int add( int x, int y );時g++ -o cppFile cppFile.cpp cExample.c的編譯過程會把add函數按c++的方式解釋為_foo_int_int這樣的符號。）如果C++調用一個C語言編寫的.DLL時，當包括.DLL的標頭檔或聲明介面函數時，應加extern "C" {　}。（2）在C中引用C++語言中的函數和變數時，C++的標頭檔需添加extern "C"，但是在C語言中不能直接引用聲明了extern "C"的該標頭檔，應該僅將C檔案中將C++中定義的extern "C"函式宣告為extern類型。筆者編寫的C引用C++函數例子工程中包含的三個檔案的原始碼如下：//C++標頭檔 cppExample.h#ifndef CPP_EXAMPLE_H#define CPP_EXAMPLE_Hextern "C" int add( int x, int y );#endif//C++實現檔案 cppExample.cpp#i nclude "cppExample.h"int add( int x, int y ){return x + y;}/* C實現檔案 cFile.c/* 這樣會編譯出錯：#i nclude "cppExample.h" */extern int add( int x, int y );int main( int argc, char* argv[] ){add( 2, 3 );return 0;}