extern和頭文件

　　分析

　　顯然，頭文件中的編譯宏“#ifndef __INCvxWorksh、#define __INCvxWorksh、#endif” 的作用是防止該頭文件被重復引用。

　　那么

　　#ifdef __cplusplus

　　extern "C" {

　　#endif

　　#ifdef __cplusplus

　　}

　　#endif

　　的作用又是什么呢？我們將在下文一一道來(lái)。

　　3.深層揭密extern "C"

　　extern "C" 包含雙重含義，從字面上即可得到：首先，被它修飾的目標是“extern”的；其次，被它修飾的目標是“C”的。讓我們來(lái)詳細解讀這兩重含義。

　　被extern "C"限定的函數或變量是extern類(lèi)型的；

　　extern是C/C++語(yǔ)言中表明函數和全局變量作用范圍（可見(jiàn)性）的關(guān)鍵字，該關(guān)鍵字告訴編譯器，其聲明的函數和變量可以在本模塊或其它模塊中使用。記住，下列語(yǔ)句：

　　extern int a;

　　僅僅是一個(gè)變量的聲明，其并不是在定義變量a，并未為a分配內存空間。變量a在所有模塊中作為一種全局變量只能被定義一次，否則會(huì )出現連接錯誤。

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

　　與extern對應的關(guān)鍵字是static，被它修飾的全局變量和函數只能在本模塊中使用。因此，一個(gè)函數或變量只可能被本模塊使用時(shí)，其不可能被extern “C”修飾。

　　被extern "C"修飾的變量和函數是按照C語(yǔ)言方式編譯和連接的；

　　未加extern “C”聲明時(shí)的編譯方式

　　首先看看C++中對類(lèi)似C的函數是怎樣編譯的。

　　作為一種面向對象的語(yǔ)言，C++支持函數重載，而過(guò)程式語(yǔ)言C則不支持。函數被C++編譯后在符號庫中的名字與C語(yǔ)言的不同。例如，假設某個(gè)函數的原型為：

　　void foo( int x, int y );

　　該函數被C編譯器編譯后在符號庫中的名字為_(kāi)foo，而C++編譯器則會(huì )產(chǎn)生像_foo_int_int之類(lèi)的名字（不同的編譯器可能生成的名字不同，但是都采用了相同的機制，生成的新名字稱(chēng)為“mangled name”）。

　　_foo_int_int這樣的名字包含了函數名、函數參數數量及類(lèi)型信息，C++就是靠這種機制來(lái)實(shí)現函數重載的。例如，在C++中，函數void foo( int x, int y )與void foo( int x, float y )編譯生成的符號是不相同的，后者為_(kāi)foo_int_float。

　　同樣地，C++中的變量除支持局部變量外，還支持類(lèi)成員變量和全局變量。用戶(hù)所編寫(xiě)程序的類(lèi)成員變量可能與全局變量同名，我們以"."來(lái)區分。而本質(zhì)上，編譯器在進(jìn)行編譯時(shí)，與函數的處理相似，也為類(lèi)中的變量取了一個(gè)獨一無(wú)二的名字，這個(gè)名字與用戶(hù)程序中同名的全局變量名字不同。

　　未加extern "C"聲明時(shí)的連接方式

　　假設在C++中，模塊A的頭文件如下：

　　// 模塊A頭文件　moduleA.h

　　#ifndef MODULE_A_H

　　#define MODULE_A_H

　　int foo( int x, int y );

　　#endif

　　在模塊B中引用該函數：

　　// 模塊B實(shí)現文件　moduleB.cpp

　　#include "moduleA.h"

　　foo(2,3);

　　實(shí)際上，在連接階段，連接器會(huì )從模塊A生成的目標文件moduleA.obj中尋找_foo_int_int這樣的符號！

　　加extern "C"聲明后的編譯和連接方式

　　加extern "C"聲明后，模塊A的頭文件變?yōu)椋?p>　　// 模塊A頭文件　moduleA.h

　　#ifndef MODULE_A_H

　　#define MODULE_A_H

　　extern "C" int foo( int x, int y );

　　#endif

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

　?。?）模塊A編譯生成foo的目標代碼時(shí)，沒(méi)有對其名字進(jìn)行特殊處理，采用了C語(yǔ)言的方式；

　?。?）連接器在為模塊B的目標代碼尋找foo(2,3)調用時(shí)，尋找的是未經(jīng)修改的符號名_foo。

　　如果在模塊A中函數聲明了foo為extern "C"類(lèi)型，而模塊B中包含的是extern int foo( int x, int y ) ，則模塊B找不到模塊A中的函數；反之亦然。

　　所以，可以用一句話(huà)概括extern “C”這個(gè)聲明的真實(shí)目的（任何語(yǔ)言中的任何語(yǔ)法特性的誕生都不是隨意而為的，來(lái)源于真實(shí)世界的需求驅動(dòng)。我們在思考問(wèn)題時(shí)，不能只停留在這個(gè)語(yǔ)言是怎么做的，還要問(wèn)一問(wèn)它為什么要這么做，動(dòng)機是什么，這樣我們可以更深入地理解許多問(wèn)題）：

　　實(shí)現C++與C及其它語(yǔ)言的混合編程。

　　明白了C++中extern "C"的設立動(dòng)機，我們下面來(lái)具體分析extern "C"通常的使用技巧。

　　4.extern "C"的慣用法

　?。?）在C++中引用C語(yǔ)言中的函數和變量，在包含C語(yǔ)言頭文件（假設為cExample.h）時(shí)，需進(jìn)行下列處理：

　　extern "C"

　　{

　　#include "cExample.h"

　　}

　　而在C語(yǔ)言的頭文件中，對其外部函數只能指定為extern類(lèi)型，C語(yǔ)言中不支持extern "C"聲明，在.c文件中包含了extern "C"時(shí)會(huì )出現編譯語(yǔ)法錯誤。

　　筆者編寫(xiě)的C++引用C函數例子工程中包含的三個(gè)文件的源代碼如下：

　　#ifndef C_EXAMPLE_H

　　#define C_EXAMPLE_H

　　extern int add(int x,int y);

　　#endif

　　#include "cExample.h"

　　int add( int x, int y )

　　{

　　return x + y;

　　}

　　// c++實(shí)現文件，調用add：cppFile.cpp

　　extern "C"

　　{

　　#include "cExample.h"

　　}

　　int main(int argc, char* argv[])

　　{

　　add(2,3);

　　return 0;

　　}

　　如果C++調用一個(gè)C語(yǔ)言編寫(xiě)的.DLL時(shí)，當包括.DLL的頭文件或聲明接口函數時(shí)，應加extern "C" {　}。

　?。?）在C中引用C++語(yǔ)言中的函數和變量時(shí)，C++的頭文件需添加extern "C"，但是在C語(yǔ)言中不能直接引用聲明了extern "C"的該頭文件，應該僅將C文件中將C++中定義的extern "C"函數聲明為extern類(lèi)型。

　　筆者編寫(xiě)的C引用C++函數例子工程中包含的三個(gè)文件的源代碼如下：

　　//C++頭文件 cppExample.h

　　#ifndef CPP_EXAMPLE_H

　　#define CPP_EXAMPLE_H

　　extern "C" int add( int x, int y );

　　#endif

　　//C++實(shí)現文件 cppExample.cpp

　　#include "cppExample.h"

　　int add( int x, int y )

　　{

　　return x + y;

　　}

　　extern int add( int x, int y );

　　int main( int argc, char* argv[] )

　　{

　　add( 2, 3 );

　　return 0;

　　}