C和C++混合編譯，extern"C"的用法

2019-11-11 07:42:42

字體：大中小

供稿：網(wǎng)友

第一篇：轉(zhuǎn)載于C和C++混合編譯

關(guān)于extern_C 通常，在C語(yǔ)言的頭文件中經(jīng)常可以看到類似下面這種形式的代碼

#ifdef __cplusplus extern "C" { #endif /**** some declaration or so *****/ #ifdef __cplusplus } #endif /* end of __cplusplus */

那么，這種寫(xiě)法什么用呢？實(shí)際上，這是為了讓CPP能夠與C接口而采用的一種語(yǔ)法形式。之所以采用這種方式，是因?yàn)閮煞N語(yǔ)言之間的一些差異所導(dǎo)致的。由于CPP支持多態(tài)性，也就是具有相同函數(shù)名的函數(shù)可以完成不同的功能，CPP通常是通過(guò)參數(shù)區(qū)分具體調(diào)用的是哪一個(gè)函數(shù)。在編譯的時(shí)候，CPP編譯器會(huì)將參數(shù)類型和函數(shù)名連接在一起，于是在程序編譯成為目標(biāo)文件以后，CPP編譯器可以直接根據(jù)目標(biāo)文件中的符號(hào)名將多個(gè)目標(biāo)文件連接成一個(gè)目標(biāo)文件或者可執(zhí)行文件。但是在C語(yǔ)言中，由于完全沒(méi)有多態(tài)性的概念，C編譯器在編譯時(shí)除了會(huì)在函數(shù)名前面添加一個(gè)下劃線之外，什么也不會(huì)做（至少很多編譯器都是這樣干的）。由于這種的原因，當(dāng)采用CPP與C混合編程的時(shí)候，就可能會(huì)出問(wèn)題。假設(shè)在某一個(gè)頭文件中定義了這樣一個(gè)函數(shù)：

int foo(int a, int b);

而這個(gè)函數(shù)的實(shí)現(xiàn)位于一個(gè).c文件中，同時(shí)，在.cpp文件中調(diào)用了這個(gè)函數(shù)。那么，當(dāng)CPP編譯器編譯這個(gè)函數(shù)的時(shí)候，就有可能會(huì)把這個(gè)函數(shù)名改成_fooii，這里的ii表示函數(shù)的第一參數(shù)和第二參數(shù)都是整型。而C編譯器卻有可能將這個(gè)函數(shù)名編譯成_foo。也就是說(shuō)，在CPP編譯器得到的目標(biāo)文件中，foo()函數(shù)是由_fooii符號(hào)來(lái)引用的，而在C編譯器生成的目標(biāo)文件中，foo()函數(shù)是由_foo指代的。但連接器工作的時(shí)候，它可不管上層采用的是什么語(yǔ)言，它只認(rèn)目標(biāo)文件中的符號(hào)。于是，連接器將會(huì)發(fā)現(xiàn)在.cpp中調(diào)用了foo()函數(shù)，但是在其它的目標(biāo)文件中卻找不到_fooii這個(gè)符號(hào)，于是提示連接過(guò)程出錯(cuò)。extern “C” {}這種語(yǔ)法形式就是用來(lái)解決這個(gè)問(wèn)題的。本文將以示例對(duì)這個(gè)問(wèn)題進(jìn)行說(shuō)明。

首先假設(shè)有下面這樣三個(gè)文件：

/* file: test_extern_c.h */ #ifndef __TEST_EXTERN_C_H__ #define __TEST_EXTERN_C_H__ #ifdef __cplusplus extern "C" { #endif /* * this is a test function, which calculate * the multiply of a and b. */ extern int ThisIsTest(int a, int b); #ifdef __cplusplus } #endif /* end of __cplusplus */ #endif

在這個(gè)頭文件中只定義了一個(gè)函數(shù)，ThisIsTest()。這個(gè)函數(shù)被定義為一個(gè)外部函數(shù)，可以被包括到其它程序文件中。假設(shè)ThisIsTest()函數(shù)的實(shí)現(xiàn)位于test_extern_c.c文件中：

/* test_extern_c.c */ #include "test_extern_c.h" int ThisIsTest(int a, int b) { return (a + b); }

可以看到，ThisIsTest()函數(shù)的實(shí)現(xiàn)非常簡(jiǎn)單，就是將兩個(gè)參數(shù)的相加結(jié)果返回而已。現(xiàn)在，假設(shè)要從CPP中調(diào)用ThisIsTest()函數(shù)：

/* main.cpp */ #include "test_extern_c.h" #include <stdio.h> #include <stdlib.h> class FOO { public: int bar(int a, int b) { 在這個(gè)CPP源文件中，定義了一個(gè)簡(jiǎn)單的類FOO，在其成員函數(shù)bar()中調(diào)用了ThisIsTest()函數(shù)。下面看一下如果采用gcc編譯test_extern_c.c，而采用g++編譯main.cpp并與test_extern_c.o連接會(huì)發(fā)生什么情況：

[cyc@cyc src]$ gcc -c test_extern_c.c [cyc@cyc src]$ g++ main.cpp test_extern_c.o [cyc@cyc src]$ ./a.out 4 5 result=9

可以看到，程序沒(méi)有任何異常，完全按照預(yù)期的方式工作。那么，如果將test_extern_c.h中的extern “C” {}所在的那幾行注釋掉會(huì)怎樣呢？注釋后的test_extern_c.h文件內(nèi)容如下：

/* test_extern_c.h */ #ifndef __TEST_EXTERN_C_H__ #define __TEST_EXTERN_C_H__ //#ifdef __cplusplus //extern "C" { //#endif /* * this is a test function, which calculate * the multiply of a and b. */ extern int ThisIsTest(int a, int b); //#ifdef __cplusplus // } //#endif /* end of __cplusplus */ #endif

除此之外，其它文件不做任何的改變，仍然采用同樣的方式編譯test_extern_c.c和main.cpp文件：

[cyc@cyc src]$ gcc -c test_extern_c.c [cyc@cyc src]$ g++ main.cpp test_extern_c.o /tmp/cca4EtJJ.o(.gnu.linkonce.t._ZN3FOO3barEii+0x10): In function `FOO::bar(int, int)': : undefined reference to `ThisIsTest(int, int)' collect2: ld returned 1 exit status

在編譯main.cpp的時(shí)候就會(huì)出錯(cuò)，連接器ld提示找不到對(duì)函數(shù)ThisIsTest()的引用。

為了更清楚地說(shuō)明問(wèn)題的原因，我們采用下面的方式先把目標(biāo)文件編譯出來(lái)，然后看目標(biāo)文件中到底都有些什么符號(hào)：

可以看到，采用gcc編譯了test_extern_c.c之后，在其目標(biāo)文件test_extern_c.o中的有一個(gè)ThisIsTest符號(hào)，這個(gè)符號(hào)就是源文件中定義的ThisIsTest()函數(shù)了。而在采用g++編譯了main.cpp之后，在其目標(biāo)文件main.o中有一個(gè)_Z10ThisIsTestii符號(hào)，這個(gè)就是經(jīng)過(guò)g++編譯器“粉碎”過(guò)后的函數(shù)名。其最后的兩個(gè)字符i就表示第一參數(shù)和第二參數(shù)都是整型。而為什么要加一個(gè)前綴_Z10我并不清楚，但這里并不影響我們的討論，因此不去管它。顯然，這就是原因的所在，其原理在本文開(kāi)頭已作了說(shuō)明。

那么，為什么采用了extern “C” {}形式就不會(huì)有這個(gè)問(wèn)題呢，我們就來(lái)看一下當(dāng)test_extern_c.h采用extern “C” {}的形式時(shí)編譯出來(lái)的目標(biāo)文件中又有哪些符號(hào)：

[cyc@cyc src]$ g++ -c main.cpp [cyc@cyc src]$ objdump -t main.o main.o: file format elf32-i386 SYMBOL TABLE: 00000000 l df *ABS* 00000000 main.cpp 00000000 l d .text 00000000 00000000 l d .data 00000000 00000000 l d .bss 00000000 00000000 l d .rodata 00000000 00000000 l d .gnu.linkonce.t._ZN3FOO3barEii 00000000 00000000 l d .eh_frame 00000000 00000000 l d .comment 00000000 00000000 g F .text 00000081 main 00000000 *UND* 00000000 atoi 00000000 *UND* 00000000 _Znwj 00000000 *UND* 00000000 _ZdlPv 00000000 w F .gnu.linkonce.t._ZN3FOO3barEii 00000027 _ZN3FOO3barEii 00000000 *UND* 00000000 ThisIsTest 00000000 *UND* 00000000 printf 00000000 *UND* 00000000 __gxx_personality_v0

注意到這里和前面有什么不同沒(méi)有，可以看到，在兩個(gè)目標(biāo)文件中，都有一個(gè)符號(hào)ThisIsTest，這個(gè)符號(hào)引用的就是ThisIsTest()函數(shù)了。顯然，此時(shí)在兩個(gè)目標(biāo)文件中都存在同樣的ThisIsTest符號(hào)，因此認(rèn)為它們引用的實(shí)際上同一個(gè)函數(shù)，于是就將兩個(gè)目標(biāo)文件連接在一起，凡是出現(xiàn)程序代碼段中有ThisIsTest符號(hào)的地方都用ThisIsTest()函數(shù)的實(shí)際地址代替。另外，還可以看到，僅僅被extern “C” {}包圍起來(lái)的函數(shù)采用這樣的目標(biāo)符號(hào)形式，對(duì)于main.cpp中的FOO類的成員函數(shù)，在兩種編譯方式后的符號(hào)名都是經(jīng)過(guò)“粉碎”了的。

因此，綜合上面的分析，我們可以得出如下結(jié)論：采用extern “C” {} 這種形式的聲明，可以使得CPP與C之間的接口具有互通性，不會(huì)由于語(yǔ)言內(nèi)部的機(jī)制導(dǎo)致連接目標(biāo)文件的時(shí)候出現(xiàn)錯(cuò)誤。需要說(shuō)明的是，上面只是根據(jù)我的試驗(yàn)結(jié)果而得出的結(jié)論。由于對(duì)于CPP用得不是很多，了解得也很少，因此對(duì)其內(nèi)部處理機(jī)制并不是很清楚，如果需要深入了解這個(gè)問(wèn)題的細(xì)節(jié)請(qǐng)參考相關(guān)資料。

備注： 1. 對(duì)于要在cpp中使用的在c文件中寫(xiě)好的函數(shù)func()，只需要在c文件的頭文件中添加extern “C”聲明就可以了。比如：extern “C” func() { …}

當(dāng)然，可以使用

#ifdef __cplusplusextern "C" {#endif和#ifdef __cplusplus}#endif

將整個(gè)c文件的函數(shù)全都括起來(lái)。

第二篇：轉(zhuǎn)載于extern”C” 用法解析

引言

C++保留了一部分過(guò)程式語(yǔ)言的特點(diǎn)，因而它可以定義不屬于任何類的全局變量和函數(shù)。但是，C++畢竟是一種面向?qū)ο蟮某绦蛟O(shè)計(jì)語(yǔ)言，為了支持函數(shù)的重載，C++對(duì)全局函數(shù)的處理方式與C有明顯的不同。 extern “C”的主要作用就是為了能夠正確實(shí)現(xiàn)C++代碼調(diào)用其他C語(yǔ)言代碼。加上extern “C”后，會(huì)指示編譯器這部分代碼按C語(yǔ)言的進(jìn)行編譯，而不是C++的。由于C++支持函數(shù)重載，因此編譯器編譯函數(shù)的過(guò)程中會(huì)將函數(shù)的參數(shù)類型也加到編譯后的代碼中，而不僅僅是函數(shù)名；而C語(yǔ)言并不支持函數(shù)重載，因此編譯C語(yǔ)言代碼的函數(shù)時(shí)不會(huì)帶上函數(shù)的參數(shù)類型，一般之包括函數(shù)名。比如說(shuō)你用C 開(kāi)發(fā)了一個(gè)DLL 庫(kù)，為了能夠讓C ++語(yǔ)言也能夠調(diào)用你的DLL輸出(Export)的函數(shù)，你需要用extern “C”來(lái)強(qiáng)制編譯器不要修改你的函數(shù)名。

揭秘extern “C”

從標(biāo)準(zhǔn)頭文件說(shuō)起

#ifndef __INCvxWorksh /*防止該頭文件被重復(fù)引用*/#define __INCvxWorksh#ifdef __cplusplus //__cplusplus是cpp中自定義的一個(gè)宏extern "C" { //告訴編譯器，這部分代碼按C語(yǔ)言的格式進(jìn)行編譯，而不是C++的#endif /**** some declaration or so *****/ #ifdef __cplusplus}#endif#endif /* __INCvxWorksh */

extern “C”的含義

extern “C” 包含雙重含義，從字面上即可得到：首先，被它修飾的目標(biāo)是“extern”的；其次，被它修飾的目標(biāo)是“C”的。被extern “C”限定的函數(shù)或變量是extern類型的； 1、extern關(guān)鍵字 extern是C/C++語(yǔ)言中表明函數(shù)和全局變量作用范圍（可見(jiàn)性）的關(guān)鍵字，該關(guān)鍵字告訴編譯器，其聲明的函數(shù)和變量可以在本模塊或其它模塊中使用。通常，在模塊的頭文件中對(duì)本模塊提供給其它模塊引用的函數(shù)和全局變量以關(guān)鍵字extern聲明。例如，如果模塊B欲引用該模塊A中定義的全局變量和函數(shù)時(shí)只需包含模塊A的頭文件即可。這樣，模塊B中調(diào)用模塊A中的函數(shù)時(shí)，在編譯階段，模塊B雖然找不到該函數(shù)，但是并不會(huì)報(bào)錯(cuò)；它會(huì)在鏈接階段中從模塊A編譯生成的目標(biāo)代碼中找到此函數(shù)。與extern對(duì)應(yīng)的關(guān)鍵字是static，被它修飾的全局變量和函數(shù)只能在本模塊中使用。因此，一個(gè)函數(shù)或變量只可能被本模塊使用時(shí)，其不可能被extern “C”修飾。

2、被extern “C”修飾的變量和函數(shù)是按照C語(yǔ)言方式編譯和鏈接的首先看看C++中對(duì)類似C的函數(shù)是怎樣編譯的。作為一種面向?qū)ο蟮恼Z(yǔ)言，C++支持函數(shù)重載，而過(guò)程式語(yǔ)言C則不支持。函數(shù)被C++編譯后在符號(hào)庫(kù)中的名字與C語(yǔ)言的不同。例如，假設(shè)某個(gè)函數(shù)的原型為： void foo( int x, int y ); 該函數(shù)被C編譯器編譯后在符號(hào)庫(kù)中的名字為_(kāi)foo，而C++編譯器則會(huì)產(chǎn)生像_foo_int_int之類的名字（不同的編譯器可能生成的名字不同，但是都采用了相同的機(jī)制，生成的新名字稱為“mangled name”）。 _foo_int_int這樣的名字包含了函數(shù)名、函數(shù)參數(shù)數(shù)量及類型信息，C++就是靠這種機(jī)制來(lái)實(shí)現(xiàn)函數(shù)重載的。例如，在C++中，函數(shù)void foo( int x, int y )與void foo( int x, float y )編譯生成的符號(hào)是不相同的，后者為_(kāi)foo_int_float。同樣地，C++中的變量除支持局部變量外，還支持類成員變量和全局變量。用戶所編寫(xiě)程序的類成員變量可能與全局變量同名，我們以”.”來(lái)區(qū)分。而本質(zhì)上，編譯器在進(jìn)行編譯時(shí)，與函數(shù)的處理相似，也為類中的變量取了一個(gè)獨(dú)一無(wú)二的名字，這個(gè)名字與用戶程序中同名的全局變量名字不同。

3、舉例說(shuō)明（1）未加extern “C”聲明時(shí)的連接方式假設(shè)在C++中，模塊A的頭文件如下：

// 模塊A頭文件　moduleA.h#ifndef MODULE_A_H#define MODULE_A_Hint foo( int x, int y );#endif//在模塊B中引用該函數(shù)：// 模塊B實(shí)現(xiàn)文件　moduleB.cpp#include "moduleA.h"foo(2,3);

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

（2）加extern “C”聲明后的編譯和鏈接方式加extern “C”聲明后，模塊A的頭文件變?yōu)椋?/p>// 模塊A頭文件　moduleA.h#ifndef MODULE_A_H#define MODULE_A_Hextern "C" int foo( int x, int y );#endif

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

<1>A編譯生成foo的目標(biāo)代碼時(shí)，沒(méi)有對(duì)其名字進(jìn)行特殊處理，采用了C語(yǔ)言的方式；

<2>鏈接器在為模塊B的目標(biāo)代碼尋找foo(2,3)調(diào)用時(shí)，尋找的是未經(jīng)修改的符號(hào)名_foo。

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

extern “C”這個(gè)聲明的真實(shí)目的是為了實(shí)現(xiàn)C++與C及其它語(yǔ)言的混合編程。

應(yīng)用場(chǎng)合

C++代碼調(diào)用C語(yǔ)言代碼、在C++的頭文件中使用在C++中引用C語(yǔ)言中的函數(shù)和變量，在包含C語(yǔ)言頭文件（假設(shè)為cExample.h）時(shí)，需進(jìn)行下列處理：

extern "C"{#include "cExample.h"}

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

/* c語(yǔ)言頭文件：cExample.h */#ifndef C_EXAMPLE_H#define C_EXAMPLE_Hextern int add(int x,int y); //注:寫(xiě)成extern "C" int add(int , int ); 也可以#endif/* c語(yǔ)言實(shí)現(xiàn)文件：cExample.c */#include "cExample.h"int add( int x, int y ){　return x + y;}// c++實(shí)現(xiàn)文件，調(diào)用add：cppFile.cppextern "C"{　#include "cExample.h" //注：此處不妥，如果這樣編譯通不過(guò)，換成 extern "C" int add(int , int ); 可以通過(guò)}int main(int argc, char* argv[]){　add(2,3);　return 0;}

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

在C中引用C++語(yǔ)言中的函數(shù)和變量時(shí)，C++的頭文件需添加extern “C”，但是在C語(yǔ)言中不能直接引用聲明了extern “C”的該頭文件，應(yīng)該僅將C文件中將C++中定義的extern “C”函數(shù)聲明為extern類型