引言
在用C++的項目源碼中，經常會不可避免的會看到下面的代碼：
它到底有什麼用呢，你知道嗎？而且這樣的問題經常會出現在面試or筆試中。下面我就從以下幾個方面來介紹它：
- 1、#ifdef _cplusplus/#endif _cplusplus及發散
- 2、extern "C"
- 2.1、extern關鍵字
- 2.2、"C"
- 2.3、小結extern "C"
- 3、C和C++互相調用
- 3.1、C++的編譯和連接
- 3.2、C的編譯和連接
- 3.3、C++中調用C的代碼
- 3.4、C中調用C++的代碼
- 4、C和C++混合調用特別之處函數指針
1、#ifdef _cplusplus/#endif _cplusplus及發散
在介紹extern "C"之前，我們來看下#ifdef _cplusplus/#endif _cplusplus的作用。很明顯#ifdef/#endif、#ifndef/#endif用於條件編譯，#ifdef _cplusplus/#endif _cplusplus——表示如果定義了宏_cplusplus，就執行#ifdef/#endif之間的語句，否則就不執行。
在這裏爲什麼需要#ifdef _cplusplus/#endif _cplusplus呢？因爲C語言中不支持extern "C"聲明，如果你明白extern "C"的作用就知道在C中也沒有必要這樣做，這就是條件編譯的作用！在.c文件中包含了extern "C"時會出現編譯時錯誤。
既然說到了條件編譯，我就介紹它的一個重要應用——避免重複包含頭文件。還記得騰訊筆試就考過這個題目，給出類似下面的代碼（下面是我最近在研究的一個開源web服務器——Mongoose的頭文件mongoose.h中的一段代碼）：
01 |
#ifndef MONGOOSE_HEADER_INCLUDED
|
02 |
#define MONGOOSE_HEADER_INCLUDED
|
06 |
#endif /* __cplusplus */
|
15 |
#endif /* __cplusplus */
|
17 |
#endif /* MONGOOSE_HEADER_INCLUDED */ |
然後叫你說明上面宏#ifndef/#endif的作用？爲了解釋一個問題，我們先來看兩個事實：
- 這個頭文件mongoose.h可能在項目中被多個源文件包含（#include "mongoose.h"），而對於一個大型項目來說，這些冗餘可能導致錯誤，因爲一個頭文件包含類定義或inline函數，在一個源文件中mongoose.h可能會被#include兩次（如，a.h頭文件包含了mongoose.h，而在b.c文件中#include a.h和mongoose.h）——這就會出錯（在同一個源文件中一個結構體、類等被定義了兩次）。
- 從邏輯觀點和減少編譯時間上，都要求去除這些冗餘。然而讓程序員去分析和去掉這些冗餘，不僅枯燥且不太實際，最重要的是有時候又需要這種冗餘來保證各個模塊的獨立。
爲了解決這個問題，上面代碼中的
#ifndef MONGOOSE_HEADER_INCLUDED
#define MONGOOSE_HEADER_INCLUDED
/*……………………………*/
#endif /* MONGOOSE_HEADER_INCLUDED */
就起作用了。如果定義了MONGOOSE_HEADER_INCLUDED，#ifndef/#endif之間的內容就被忽略掉。因此，編譯時第一次看到mongoose.h頭文件，它的內容會被讀取且給定MONGOOSE_HEADER_INCLUDED一個值。之後再次看到mongoose.h頭文件時，MONGOOSE_HEADER_INCLUDED就已經定義了，mongoose.h的內容就不會再次被讀取了。
2、extern "C"
首先從字面上分析extern "C"，它由兩部分組成——extern關鍵字、"C"。下面我就從這兩個方面來解讀extern "C"的含義。
2.1、extern關鍵字
在一個項目中必須保證函數、變量、枚舉等在所有的源文件中保持一致，除非你指定定義爲局部的。首先來一個例子：
3 |
int
f(){do
something here} |
在file2.c中g()使用的x和f()是定義在file1.c中的。extern關鍵字表明file2.c中x，僅僅是一個變量的聲明，其並不是在定義變量x，並未爲x分配內存空間。變量x在所有模塊中作爲一種全局變量只能被定義一次，否則會出現連接錯誤。但是可以聲明多次，且聲明必須保證類型一致，如：
在這段代碼中存在着這樣的三個錯誤：
- x被定義了兩次
- b兩次被聲明爲不同的類型
- c被聲明瞭兩次，但卻沒有定義
回到extern關鍵字，extern是C/C++語言中表明函數和全局變量作用範圍（可見性）的關鍵字，該關鍵字告訴編譯器，其聲明的函數和變量可以在本模塊或其它模塊中使用。通常，在模塊的頭文件中對本模塊提供給其它模塊引用的函數和全局變量以關鍵字extern聲明。例如，如果模塊B欲引用該模塊A中定義的全局變量和函數時只需包含模塊A的頭文件即可。這樣，模塊B中調用模塊A中的函數時，在編譯階段，模塊B雖然找不到該函數，但是並不會報錯；它會在連接階段中從模塊A編譯生成的目標代碼中找到此函數。
與extern對應的關鍵字是 static，被它修飾的全局變量和函數只能在本模塊中使用。因此，一個函數或變量只可能被本模塊使用時，其不可能被extern “C”修飾。
2.2、"C"
典型的，一個C++程序包含其它語言編寫的部分代碼。類似的，C++編寫的代碼片段可能被使用在其它語言編寫的代碼中。不同語言編寫的代碼互相調用是困難的，甚至是同一種編寫的代碼但不同的編譯器編譯的代碼。例如，不同語言和同種語言的不同實現可能會在註冊變量保持參數和參數在棧上的佈局，這個方面不一樣。
爲了使它們遵守統一規則，可以使用extern指定一個編譯和連接規約。例如，聲明C和C++標準庫函數strcyp()，並指定它應該根據C的編譯和連接規約來鏈接：
1 |
extern
"C" char*
strcpy(char*,const
char*); |
注意它與下面的聲明的不同之處：
1 |
extern
char* strcpy(char*,const
char*); |
下面的這個聲明僅表示在連接的時候調用strcpy()。
extern "C"指令非常有用，因爲C和C++的近親關係。注意：extern "C"指令中的C，表示的一種編譯和連接規約，而不是一種語言。C表示符合C語言的編譯和連接規約的任何語言，如Fortran、assembler等。
還有要說明的是，extern "C"指令僅指定編譯和連接規約，但不影響語義。例如在函數聲明中，指定了extern "C"，仍然要遵守C++的類型檢測、參數轉換規則。
再看下面的一個例子，爲了聲明一個變量而不是定義一個變量，你必須在聲明時指定extern關鍵字，但是當你又加上了"C"，它不會改變語義，但是會改變它的編譯和連接方式。
如果你有很多語言要加上extern "C"，你可以將它們放到extern "C"{ }中。
2.3、小結extern "C"
通過上面兩節的分析，我們知道extern "C"的真實目的是實現類C和C++的混合編程。在C++源文件中的語句前面加上extern "C"，表明它按照類C的編譯和連接規約來編譯和連接，而不是C++的編譯的連接規約。這樣在類C的代碼中就可以調用C++的函數or變量等。（注：我在這裏所說的類C，代表的是跟C語言的編譯和連接方式一致的所有語言）
3、C和C++互相調用
我們既然知道extern "C"是實現的類C和C++的混合編程。下面我們就分別介紹如何在C++中調用C的代碼、C中調用C++的代碼。首先要明白C和C++互相調用，你得知道它們之間的編譯和連接差異，及如何利用extern "C"來實現相互調用。
3.1、C++的編譯和連接
C++是一個面嚮對象語言（雖不是純粹的面嚮對象語言），它支持函數的重載，重載這個特性給我們帶來了很大的便利。爲了支持函數重載的這個特性，C++編譯器實際上將下面這些重載函數：
編譯爲：
這樣的函數名，來唯一標識每個函數。注：不同的編譯器實現可能不一樣，但是都是利用這種機制。所以當連接是調用print(3)時，它會去查找_print_int(3)這樣的函數。下面說個題外話，正是因爲這點，重載被認爲不是多態，多態是運行時動態綁定（“一種接口多種實現”），如果硬要認爲重載是多態，它頂多是編譯時“多態”。
C++中的變量，編譯也類似，如全局變量可能編譯g_xx，類變量編譯爲c_xx等。連接是也是按照這種機制去查找相應的變量。
3.2、C的編譯和連接
C語言中並沒有重載和類這些特性，故並不像C++那樣print(int i)，會被編譯爲_print_int，而是直接編譯爲_print等。因此如果直接在C++中調用C的函數會失敗，因爲連接是調用C中的print(3)時，它會去找_print_int(3)。因此extern "C"的作用就體現出來了。
3.3、C++中調用C的代碼
假設一個C的頭文件cHeader.h中包含一個函數print(int i)，爲了在C++中能夠調用它，必須要加上extern關鍵字（原因在extern關鍵字那節已經介紹）。它的代碼如下：
4 |
extern
void print(int
i); |
相對應的實現文件爲cHeader.c的代碼爲：
5 |
printf("cHeader %d\n",i);
|
現在C++的代碼文件C++.cpp中引用C中的print(int i)函數：
5 |
int
main(int argc,char** argv)
|
執行程序輸出：
![image]( "image")
3.4、C中調用C++的代碼
現在換成在C中調用C++的代碼，這與在C++中調用C的代碼有所不同。如下在cppHeader.h頭文件中定義了下面的代碼：
4 |
extern
"C" void print(int
i); |
相應的實現文件cppHeader.cpp文件中代碼如下：
7 |
cout<<"cppHeader "<<i<<endl;
|
在C的代碼文件c.c中調用print函數：
1 |
extern
void print(int
i); |
2 |
int
main(int argc,char** argv)
|
注意在C的代碼文件中直接#include "cppHeader.h"頭文件，編譯出錯。而且如果不加extern int print(int i)編譯也會出錯。
4、C和C++混合調用特別之處函數指針
當我們C和C++混合編程時，有時候會用一種語言定義函數指針，而在應用中將函數指針指向另一中語言定義的函數。如果C和C++共享同一中編譯和連接、函數調用機制，這樣做是可以的。然而，這樣的通用機制，通常不然假定它存在，因此我們必須小心地確保函數以期望的方式調用。
而且當指定一個函數指針的編譯和連接方式時，函數的所有類型，包括函數名、函數引入的變量也按照指定的方式編譯和連接。如下例：
01 |
typedef
int (*FT) (const
void* ,const
void*); |
04 |
typedef
int (*CFT) (const
void*,const
void*); |
05 |
void
qsort(void* p,size_t
n,size_t
sz,CFT cmp); |
08 |
void
isort(void* p,size_t
n,size_t
sz,FT cmp); |
09 |
void
xsort(void* p,size_t
n,size_t
sz,CFT cmp); |
12 |
extern
"C" void ysort(void* p,size_t
n,size_t
sz,FT cmp); |
14 |
int
compare(const
void*,const
void*); |
15 |
extern
"C" ccomp(const
void*,const
void*); |
17 |
void
f(char* v,int
sz) |
21 |
qsort(v,sz,1,&compare);
|
24 |
isort(v,sz,1,&compare); |
注意：typedef int (*FT) (const void* ,const void*)，表示定義了一個函數指針的別名FT，這種函數指針指向的函數有這樣的特徵：返回值爲int型、有兩個參數，參數類型可以爲任意類型的指針（因爲爲void*）。
最典型的函數指針的別名的例子是，信號處理函數signal，它的定義如下：
1 |
typedef
void (*HANDLER)(int);
|
2 |
HANDLER signal(int
,HANDLER); |
上面的代碼定義了信函處理函數signal，它的返回值類型爲HANDLER，有兩個參數分別爲int、HANDLER。 這樣避免了要這樣定義signal函數：
1 |
void
(*signal (int
,void(*)(int) ))(int) |
比較之後可以明顯的體會到typedef的好處。
