C++項目中的extern "C" 「」

喜歡的話可以收藏轉發加關注

引言

在用C++的項目源碼中，經常會不可避免的會看到下面的代碼：

#ifdef __cplusplus
extern "C" {
#endif
/*...*/
#ifdef __cplusplus
}

#endif它到底有什麼用呢，你知道嗎？而且這樣的問題經常會出現在面試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中的一段代碼）：

#ifndef MONGOOSE_HEADER_INCLUDED
#define MONGOOSE_HEADER_INCLUDED
#ifdef __cplusplus
extern "C" {
#endif /* __cplusplus */
/*.................................
* do something here
*.................................
*/
#ifdef __cplusplus
}
#endif /* __cplusplus */
#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關鍵字

在一個項目中必須保證函數、變量、枚舉等在所有的源文件中保持一致，除非你指定定義為局部的。首先來一個例子：

//file1.c:
int x=1;
int f(){do something here}
//file2.c:
extern int x;
int f();
void g(){x=f();}

在file2.c中g()使用的x和f()是定義在file1.c中的。extern關鍵字表明file2.c中x，僅僅是一個變量的聲明，其並不是在定義變量x，並未為x分配內存空間。變量x在所有模塊中作為一種全局變量只能被定義一次，否則會出現連接錯誤。但是可以聲明多次，且聲明必須保證類型一致，如：

//file1.c:
int x=1;
int b=1;
extern c;
//file2.c:
int x;// x equals to default of int type 0
int f();
extern double b;
extern int c;

在這段代碼中存在著這樣的三個錯誤：

1.x被定義了兩次

回到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的編譯和連接規約來鏈接：

extern "C" char* strcpy(char*,const char*);

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++編譯器實際上將下面這些重載函數：

void print(int i);
void print(char c);
void print(float f);
void print(char* s);

編譯為：

_print_int
_print_char
_print_float
_pirnt_string

這樣的函數名，來唯一標識每個函數。注：不同的編譯器實現可能不一樣，但是都是利用這種機制。所以當連接是調用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關鍵字那節已經介紹）。它的代碼如下：

#ifndef C_HEADER
#define C_HEADER
extern void print(int i);
#endif C_HEADER

相對應的實現文件為cHeader.c的代碼為：

#include <stdio.h>
#include "cHeader.h"
void print(int i)
{
printf("cHeader %d\\n",i);
}
/<stdio.h>

現在C++的代碼文件C++.cpp中引用C中的print(int i)函數：

extern "C"{
#include "cHeader.h"
}
int main(int argc,char** argv) 

{
print(3);
return 0;
}

執行程序輸出：

3.4、C中調用C++的代碼

現在換成在C中調用C++的代碼，這與在C++中調用C的代碼有所不同。如下在cppHeader.h頭文件中定義了下面的代碼：

#ifndef CPP_HEADER
#define CPP_HEADER
extern "C" void print(int i);
#endif CPP_HEADER

相應的實現文件cppHeader.cpp文件中代碼如下：

#include "cppHeader.h"
#include <iostream>
using namespace std;
void print(int i)
{
cout<}
/<iostream>

在C的代碼文件c.c中調用print函數：

extern void print(int i);
int main(int argc,char** argv)
{
print(3);
return 0;
}

注意在C的代碼文件中直接#include “cppHeader.h”頭文件，編譯出錯。而且如果不加extern int print(int i)編譯也會出錯。

4、C和C++混合調用特別之處函數指針

當我們C和C++混合編程時，有時候會用一種語言定義函數指針，而在應用中將函數指針指向另一中語言定義的函數。如果C和C++共享同一中編譯和連接、函數調用機制，這樣做是可以的。然而，這樣的通用機制，通常不然假定它存在，因此我們必須小心地確保函數以期望的方式調用。

而且當指定一個函數指針的編譯和連接方式時，函數的所有類型，包括函數名、函數引入的變量也按照指定的方式編譯和連接。如下例：

typedef int (*FT) (const void* ,const void*);//style of C++
extern "C"{
typedef int (*CFT) (const void*,const void*);//style of C
void qsort(void* p,size_t n,size_t sz,CFT cmp);//style of C
}
void isort(void* p,size_t n,size_t sz,FT cmp);//style of C++
void xsort(void* p,size_t n,size_t sz,CFT cmp);//style of C
//style of C
extern "C" void ysort(void* p,size_t n,size_t sz,FT cmp);
int compare(const void*,const void*);//style of C++
extern "C" ccomp(const void*,const void*);//style of C
void f(char* v,int sz)
{
//error,as qsort is style of C
//but compare is style of C++
qsort(v,sz,1,&compare);
qsort(v,sz,1,&ccomp);//ok
isort(v,sz,1,&compare);//ok
//error,as isort is style of C++
//but ccomp is style of C
isort(v,sz,1,&ccopm);
}

注意：typedef int (*FT) (const void* ,const void*)，表示定義了一個函數指針的別名FT，這種函數指針指向的函數有這樣的特徵：返回值為int型、有兩個參數，參數類型可以為任意類型的指針（因為為void*）。

最典型的函數指針的別名的例子是，信號處理函數signal，它的定義如下：

typedef void (*HANDLER)(int);
HANDLER signal(int ,HANDLER);

上面的代碼定義了信函處理函數signal，它的返回值類型為HANDLER，有兩個參數分別為int、HANDLER。 這樣避免了要這樣定義signal函數：

void (*signal (int ,void(*)(int) ))(int)

比較之後可以明顯的體會到typedef的好處。

學習C/C++的夥伴可以私信回覆小編“學習”領取全套免費C/C++學習資料、視頻