C 中extern 「C」含義深層探索

2021-04-24 21:48:31 字數 3138 閱讀 5683

首先,作為extern是c/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實現檔案 moduleb.cpp

#include "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_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"的慣用法

(1)在c++中引用c語言中的函式和變數,在包含c語言標頭檔案(假設為cexample.h)時,需進行下列處理:

extern "c"

而在c語言的標頭檔案中,對其外部函式只能指定為extern型別,c語言中不支援extern "c"宣告,在.c檔案中包含了extern "c"時會出現編譯語

法錯誤。

c++引用c函式例子工程中包含的三個檔案的源**如下:

/* c語言標頭檔案:cexample.h */

#ifndef c_example_h

#define c_example_h

extern int add(int x,int y);

#endif

/* c語言實現檔案:cexample.c */

#include "cexample.h"

int add( int x, int y )

// c++實現檔案,呼叫add:cppfile.cpp

extern "c"

int main(int argc, char* argv)

如果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_h

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

#endif

//c++實現檔案 cppexample.cpp

#include "cppexample.h"

int add( int x, int y )

/* c實現檔案 cfile.c

/* 這樣會編譯出錯:#include "cexample.h" */

extern int add( int x, int y );

int main( int argc, char* argv )

C 中extern 「C」含義深層探索

1.引言 c 語言的建立初衷是 a better c 但是這並不意味著c 中類似c語言的全域性變數和函式所採用的編譯和連線方式與c語言完全相同。作為一種欲與c相容的語言,c 保留了一部分過程式語言的特點 被世人稱為 不徹底地物件導向 因而它可以定義不屬於任何類的全域性變數和函式。但是,c 畢竟是一種...

C 中extern 「C」含義深層探索

1.引言 c 語言的建立初衷是 a better c 但是這並不意味著c 中類似c語言的全域性變數和函式所採用的編譯和連線方式與c語言完全相同。作為一種欲與c相容的語言,c 保留了一部分過程 式語言的特點 被世人稱為 不徹底地物件導向 因而它可以定義不屬於任何類的全域性變數和函式。但是,c 畢竟是一...

C 中extern 「C」含義深層探索

1.引言 c 語言的建立初衷是 a better c 但是這並不意味著c 中類似c語言的全域性變數和函式所採用的編譯和連線方式與c語言完全相同。作為一種欲與c相容的語言,c 保留了一部分過程式語言的特點 被世人稱為 不徹底地物件導向 因而它可以定義不屬於任何類的全域性變數和函式。但是,c 畢竟是一種...