extern "C" 解析

启_明_星 2010-04-08

展开全文

时常在cpp的代码之中看到这样的代码:

#ifdef __cplusplus
]#r7WE^-zi4RDHextern "C" {BSD爱好者乐园;ZPL2r-_E%?x
#endif

T*V}A%f_.n:U/m//一段代码BSD爱好者乐园/B4L.mk!JP&H

t1ZE1H5o+~1B1S#ifdef __cplusplusBSD爱好者乐园K;D)H&@]5~
}
!Oj.Q#F5RsK#endif BSD爱好者乐园+ID#RM"Z0x X

这样的代码到底是什么意思呢？首先，__cplusplus是cpp中的自定义宏，那么定义了这个宏的话表示这是一段cpp的代码，也就是说，上面的代码的含义是:如果这是一段cpp的代码，那么加入extern "C"{和}处理其中的代码。

　　要明白为何使用extern "C"，还得从cpp中对函数的重载处理开始说起。在c++中，为了支持重载机制，在编译生成的汇编码中，要对函数的名字进行一些处理，加入比如函数的返回类型等等.而在C中，只是简单的函数名字而已，不会加入其他的信息.也就是说:C++ 和C对产生的函数名字的处理是不一样的.

5q7|D\V　　比如下面的一段简单的函数，我们看看加入和不加入extern "C"产生的汇编代码都有哪些变化:

m3Z0s$M:Mxint f(void)BSD爱好者乐园h0K4i+t2L1yx
{
Q Uy)qkreturn 1;BSD爱好者乐园T9Ujn1f
} BSD爱好者乐园#\C d_u:l7I)H

　　在加入extern "C"的时候产生的汇编代码是:

U*m#zhZ$XX:g.file "test.cxx"BSD爱好者乐园"rS_@(UlGo9~ z
.text
Z8_f1Ek#N,ey)\.align 2BSD爱好者乐园bS Z7[KF
.globl _fBSD爱好者乐园 [(GA V@U.|
.def _f; .scl 2; .type 32; .endef
_f:
9R?p1q9V1GMpushl %ebpBSD爱好者乐园wBA:W,K@$sL
movl %esp， %ebpBSD爱好者乐园1Q.tJ#Vu7Q'A3@t
movl $1， %eax
V;rmwCa~Mm#Opopl %ebpBSD爱好者乐园~zrc2T
ret BSD爱好者乐园UF C9q2}

~.Q^-@7Yoy]al 但是不加入了extern "C"之后

T/At4^*t)c.file "test.cxx"BSD爱好者乐园+T\Xun7ZNJ
.textBSD爱好者乐园}zE,p]7`2|S*H
.align 2BSD爱好者乐园j+l)t;z5OVH
.globl __Z1fvBSD爱好者乐园I"L(L1sw f'g@i
.def __Z1fv; .scl 2; .type 32; .endef
/iB-L]C$\"Y1?6fG`__Z1fv:
jgqSj3A;orpushl %ebpBSD爱好者乐园 e M0R4R"]6BZM,\'g
movl %esp， %ebp
XXHoAVmrmovl $1， %eaxBSD 爱好者乐园V M,iY;t%` m ~
popl %ebp
0g"J)pU YjOcR?Bret

@!d9u+bt _~　　两段汇编代码同样都是使用gcc -S命令产生的，所有的地方都是一样的，唯独是产生的函数名，一个是_f，一个是__Z1fv。

　　明白了加入与不加入extern "C"之后对函数名称产生的影响，我们继续我们的讨论:为什么需要使用extern "C"呢？C++之父在设计C++之时，考虑到当时已经存在了大量的C代码，为了支持原来的C代码和已经写好C库，需要在C++中尽可能的支持C，而 extern "C"就是其中的一个策略。
试想这样的情况:一个库文件已经用C写好了而且运行得很良好，这个时候我们需要使用这个库文件，但是我们需要使用C++来写这个新的代码。如果这个代码使用的是C++的方式链接这个C库文件的话，那么就会出现链接错误.我们来看一段代码: 首先，我们使用C的处理方式来写一个函数，也就是说假设这个函数当时是用C写成的:

//f1.c
-w|ZN T9T3jextern "C"
'MTlWB{BSD爱好者乐园/dx _3I?J'P#b
void f1()
{
return;BSD爱好者乐园 @^'D${9C+g \P
}
s]~(s.^y"wucA.S)v}

　　编译命令是:gcc -c f1.c -o f1.o 产生了一个叫f1.o的库文件。再写一段代码调用这个f1函数:

// test.cxx
+ptz5I*}5~ ok//这个 extern表示f1函数在别的地方定义，这样可以通过
//编译，但是链接的时候还是需要BSD爱好者乐园?zI(V_l G
//链接上原来的库文件.
[ v8rj.I]extern void f1();BSD爱好者乐园 Q%x k\9D"}sd,d

int main()BSD爱好者乐园 c$nzaB&s
{
:c_&N1ZKB`$S!jf1();

4|aQ.U&Kreturn 0;
$Q9IMQ'i?{}

通过gcc -c test.cxx -o test.o 产生一个叫test.o的文件。然后，我们使用gcc test.o f1.o来链接两个文件，可是出错了，错误的提示是:BSD爱好者乐园&ri0m L|7U?V t*F

~-Y,W [2oVTtest.o(.text + 0x1f):test.cxx: undefine reference to 'f1()' BSD爱好者乐园?c8[[`e)r-Yv

　　也就是说，在编译test.cxx的时候编译器是使用C++的方式来处理 f1()函数的，但是实际上链接的库文件却是用C的方式来处理函数的，所以就会出现链接过不去的错误:因为链接器找不到函数。

　　因此，为了在C++代码中调用用C写成的库文件，就需要用extern "C"来告诉编译器:这是一个用C写成的库文件，请用C的方式来链接它们。BSD爱好者乐园 ro&E)B8E5x

　　比如，现在我们有了一个C库文件，它的头文件是f.h，产生的lib文件是f.lib，那么我们如果要在C++中使用这个库文件，我们需要这样写:BSD爱好者乐园,nGv ['B"idx'Iy}
extern "C"
MEf5x*H{BSD爱好者乐园&j:M3o%tk9O8u3yw?W
＃i nclude "f.h"
S;C0IUL[9p3L}

　　回到上面的问题，如果要改正链接错误，我们需要这样子改写test.cxx:BSD爱好者乐园 O8U&GfL}$[

y5Wp(M*|extern "C"
+@,@%a:{;wl{
(qw'Fo7plGextern void f1();
#_3Xh`D_2R}BSD爱好者乐园3x@Cj'GZ c

int main()BSD爱好者乐园c:\f?sSL!~3Bt
{
J W*pI:A1u$ef1();

\5I no,x1Kreturn 0;
[ jHf\:Lk J o}

　　重新编译并且链接就可以过去了.BSD爱好者乐园0g,j:^ek_ s$B*o

O9`;``9v9^3p　　总结BSD爱好者乐园T]'O]7tvz

　　C和C++对函数的处理方式是不同的.extern "C"是使C++能够调用C写作的库文件的一个手段，如果要对编译器提示使用C的方式来处理函数的话，那么就要使用extern "C"来说明。
A lI2m?)H

gc2r S!pJi
o Gi?B/H;Z+L0b~G
L hh,k(aNx_作者：宋宝华 e-mail:21cnbao@21cn.com　出处：太平洋电脑网BSD爱好者乐园.h_ \9\'Q[

g'tF~1Rj(\^L1.引言

C++语言的创建初衷是“a better C”，但是这并不意味着C++中类似C语言的全局变量和函数所采用的编译和连接方式与C语言完全相同。作为一种欲与C兼容的语言，C++保留了一部分过程式语言的特点（被世人称为“不彻底地面向对象”），因而它可以定义不属于任何类的全局变量和函数。但是，C++毕竟是一种面向对象的程序设计语言，为了支持函数的重载，C++对全局函数的处理方式与C有明显的不同。BSD爱好者乐园%SRujz4F6H

2.从标准头文件说起

qE)nqb0h9|oy某企业曾经给出如下的一道面试题：BSD爱好者乐园qJ@*M*j/X e&?

,@6E6gn8s S面试题

为什么标准头文件都有类似以下的结构？BSD爱好者乐园3w#io9R C'X,Vs3wG

#ifndef __INCvxWorkshBSD爱好者乐园%y-Y\I6m3U:a

v%CI[)dZ #define __INCvxWorksh

dSK!e~ #ifdef __cplusplus

extern "C" {BSD爱好者乐园FIG Jf`2C

DHj`_sbl #endifBSD爱好者乐园)OA"OtR'P8Cl

~ p0KWI?8v'j~ /*...*/

C` \Q"x)~ ^ #ifdef __cplusplus

o ^2d JhX }BSD爱好者乐园9@MFJ"|

,T*A.vV[+GV6tR| #endifBSD爱好者乐园H5dXx EoE$e]

#endif /* __INCvxWorksh */

4Et4Qav(N6J&q分析

,lw.gkp9^H?^:WB显然，头文件中的编译宏“#ifndef __INCvxWorksh、#define __INCvxWorksh、#endif” 的作用是防止该头文件被重复引用。

\S/lA1h0xI那么

8wS7Xkn8| #ifdef __cplusplusBSD爱好者乐园DT6Y*FR9y o5l

extern "C" {

#endif

F a8{]y,S K #ifdef __cplusplusBSD爱好者乐园` c(X9j.Fia

}

,t_1p:ZT3hZ #endifBSD爱好者乐园:@F.`[e\

k#ICK&t w M e9M`;k的作用又是什么呢？我们将在下文一一道来。

3.深层揭密 extern "C"

H-M6G!x6fextern "C" 包含双重含义，从字面上即可得到：首先，被它修饰的目标是“extern”的；其次，被它修饰的目标是“C”的。让我们来详细解读这两重含义。BSD爱好者乐园stDE9L$JK

（1）被extern "C"限定的函数或变量是extern类型的；

extern是C/C++语言中表明函数和全局变量作用范围（可见性）的关键字，该关键字告诉编译器，其声明的函数和变量可以在本模块或其它模块中使用。记住，下列语句：

F.Uk6To{?'B7Yextern int a;BSD爱好者乐园|)^]'w5|

4P_3?g:t[M*NtM仅仅是一个变量的声明，其并不是在定义变量a，并未为a分配内存空间。变量a在所有模块中作为一种全局变量只能被定义一次，否则会出现连接错误。

通常，在模块的头文件中对本模块提供给其它模块引用的函数和全局变量以关键字extern声明。例如，如果模块B欲引用该模块A中定义的全局变量和函数时只需包含模块A的头文件即可。这样，模块B中调用模块A中的函数时，在编译阶段，模块B虽然找不到该函数，但是并不会报错；它会在连接阶段中从模块 A编译生成的目标代码中找到此函数。

\qww'vh与 extern对应的关键字是static，被它修饰的全局变量和函数只能在本模块中使用。因此，一个函数或变量只可能被本模块使用时，其不可能被 extern “C”修饰。

(u*D R9b%K#m（2）被extern "C"修饰的变量和函数是按照C语言方式编译和连接的；BSD爱好者乐园%O}2pb6Mf

未加extern “C”声明时的编译方式

首先看看C++中对类似C的函数是怎样编译的。BSD爱好者乐园 9z(iB8GgZ1p!Ui

GU0{8`4mk/^H1@I作为一种面向对象的语言，C++支持函数重载，而过程式语言C则不支持。函数被C++编译后在符号库中的名字与C语言的不同。例如，假设某个函数的原型为：

void foo( int x, int y );BSD爱好者乐园&Eik%w+}p~s%t

该函数被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。

@dNW3~ B9rR7e同样地，C++中的变量除支持局部变量外，还支持类成员变量和全局变量。用户所编写程序的类成员变量可能与全局变量同名，我们以"."来区分。而本质上，编译器在进行编译时，与函数的处理相似，也为类中的变量取了一个独一无二的名字，这个名字与用户程序中同名的全局变量名字不同。

}$q?^^wIr%^6A$_未加extern "C"声明时的连接方式BSD爱好者乐园?|!fF0Jckjy

假设在C++中，模块A的头文件如下：

// 模块A头文件　moduleA.hBSD爱好者乐园N gGpl%@`3@

#ifndef MODULE_A_H

1c,?C#y `"SeC1q[A@ #define MODULE_A_H

int foo( int x, int y );BSD爱好者乐园9i(UJ!e'[

#endif

%K+GMD"z"BW!S0G在模块B中引用该函数：BSD 爱好者乐园6[ Sj0Gd+J

// 模块B实现文件　moduleB.cppBSD爱好者乐园%n'K+m(J$r RA;J

K2h9[,T,S＃i nclude "moduleA.h"

,PaF-r&tw|[ {foo(2,3);

VZv#JC,_0K?AV5v实际上，在连接阶段，连接器会从模块A生成的目标文件moduleA.obj中寻找_foo_int_int这样的符号！

加extern "C"声明后的编译和连接方式BSD爱好者乐园 P&c?9l3QO&[

D9K_"@%w9U:w^ a加extern "C"声明后，模块A的头文件变为：

// 模块A头文件　moduleA.hBSD爱好者乐园V8@2s;~TI

?)BME9PFvJJ#ifndef MODULE_A_H

#define MODULE_A_HBSD爱好者乐园^m GlVxmW"TNv

extern "C" int foo( int x, int y );BSD爱好者乐园1v.m&C8N/U"X$_-|1~

+P;L$e.OPHZ#endifBSD爱好者乐园 mTmc5Rd#Z#z6@

在模块B的实现文件中仍然调用foo( 2,3 )，其结果是：

（1）模块A编译生成foo的目标代码时，没有对其名字进行特殊处理，采用了C语言的方式；BSD爱好者乐园1s5{Z-y3m6\:^

f}6^;^(pXO（2）连接器在为模块B的目标代码寻找foo(2,3)调用时，寻找的是未经修改的符号名_foo。

如果在模块A中函数声明了foo为 extern "C"类型，而模块B中包含的是extern int foo( int x, int y ) ，则模块B找不到模块A中的函数；反之亦然。BSD爱好者乐园#?4^Fp'{ c-U

%\V2M*\X lLN所以，可以用一句话概括extern “C”这个声明的真实目的（任何语言中的任何语法特性的诞生都不是随意而为的，来源于真实世界的需求驱动。我们在思考问题时，不能只停留在这个语言是怎么做的，还要问一问它为什么要这么做，动机是什么，这样我们可以更深入地理解许多问题）：

3e#z)k"J)s+Lawx{实现C++与C及其它语言的混合编程。

明白了C++中extern "C"的设立动机，我们下面来具体分析extern "C"通常的使用技巧。BSD爱好者乐园_ G%Pp$B

4.extern "C"的惯用法BSD爱好者乐园 \1e,|%P,H?{\

（1）在C++中引用C语言中的函数和变量，在包含C语言头文件（假设为cExample.h）时，需进行下列处理：

Kr$r%v%q }A-sextern "C"BSD爱好者乐园0^$hN vwY U

*M/l5i6|b9fe2q{

＃i nclude "cExample.h"

mk%IR aPkk}BSD爱好者乐园)kXT I}{

而在C语言的头文件中，对其外部函数只能指定为extern类型，C语言中不支持extern "C"声明，在.c文件中包含了extern "C"时会出现编译语法错误。

,\v WR?q!f5O笔者编写的C++引用C函数例子工程中包含的三个文件的源代码如下：BSD爱好者乐园qG WFw0a7I{9z

/* c语言头文件：cExample.h */

t4]7C3Af/tG;uk#ifndef C_EXAMPLE_HBSD爱好者乐园0sd9x/pa

#define C_EXAMPLE_HBSD爱好者乐园NQ1O vu[f Q

extern int add(int x,int y);

#endif

/* c语言实现文件：cExample.c */

＃i nclude "cExample.h"BSD 爱好者乐园8D*FU6~~5R3F4P,}

4k8\C4|"Xs_&`int add( int x, int y )

{

8_2t6G'Fn_1X%q-Jr return x + y;

}BSD爱好者乐园J]4ZS6j/fJE&R

XZ8}@Q// c++实现文件，调用add：cppFile.cppBSD爱好者乐园$M0axe;SvQ3?#`

extern "C"

{

3D5fN7X+B7vz*Q＃i nclude "cExample.h"

}

%^x2qE%p Ivint main(int argc, char* argv[])

{BSD爱好者乐园ZO J5I"R;G {

add(2,3);

return 0;

oB TR;m1w}BSD爱好者乐园FWV]}-wEz

Sw'O$ofrg如果C++调用一个C语言编写的.DLL时，当包括.DLL的头文件或声明接口函数时，应加extern "C" {　}。

（2）在C中引用C++语言中的函数和变量时，C++的头文件需添加extern "C"，但是在C语言中不能直接引用声明了extern "C"的该头文件，应该仅将C文件中将C++中定义的extern "C"函数声明为extern类型。

b4kL d5`Z?O笔者编写的C引用C++函数例子工程中包含的三个文件的源代码如下：BSD爱好者乐园/x(n0e{EG#@

@$P#Hi@Zt+a//C++头文件 cppExample.hBSD爱好者乐园"VYUz,s*X)R5R

E0X|q8R+L.tf#ifndef CPP_EXAMPLE_H

/b|%Fl6O9OPx#define CPP_EXAMPLE_HBSD爱好者乐园-itD@E![E(C

$C7}[k_I Miextern "C" int add( int x, int y );BSD爱好者乐园6k7WH VR

UNOG%B8\x#endif

N)t3^-^FRa3O//C++实现文件 cppExample.cpp

＃i nclude "cppExample.h"BSD爱好者乐园 J?_pk4x

R?Y2j*z?`int add( int x, int y )

{

return x + y;

}BSD爱好者乐园 r*P KMoNen

Tj E;DEl/* C实现文件 cFile.c

}Q0w2?"UOU%x/* 这样会编译出错：＃i nclude "cExample.h" */

extern int add( int x, int y );

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

{

zY,nJ-T add( 2, 3 ); BSD爱好者乐园1j+x,n+O9b

return 0;BSD爱好者乐园Lf/B%jM.t

}

本站是提供个人知识管理的网络存储空间，所有内容均由用户发布，不代表本站观点。请注意甄别内容中的联系方式、诱导购买等信息，谨防诈骗。如发现有害或侵权内容，请点击一键举报。

转藏分享

QQ空间 QQ好友新浪微博微信

献花（0） +1

来自：启_明_星 > 《C语言技巧》

举报/认领

0条评论

发表

请遵守用户评论公约

类似文章 更多

启_明_星

关注对话

TA的最新馆藏

[转] 如何合理设置Linux的swap分区 - 玄武·巴依 - 51CTO技术博客
[转] IBM-AIX 系统常用命令
[转] Yacc: 另一个编译器的编译器(S.C.Johnson著,中文翻译) - UNIX - 寒蝉退士
[转] matlab函数大全
[转] linux下利用C语言获取mac地址 - Linux平台C语言开发专版 - LUPA开源社...
[转] 『C程序设计』读书笔记

喜欢该文的人也喜欢更多

热门阅读换一换