C++中extern “C”含义深层探索(在原作的基础上修改）

1.

引言


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

　　2.
从标准头文件说起

　　某企业曾经给出如下的一道面试题：

　　面试题

　　为什么标准头文件都有类似以下的结构？

#ifndef
__INCvxWorksh

#define __INCvxWorksh

#ifdef __cplusplus

extern "C" {

#endif

/*...*/

#ifdef __cplusplus

}

#endif

#endif /* __INCvxWorksh */

　　分析

　　显然，头文件中的编译宏“#ifndef __INCvxWorksh
、#define __INCvxWorksh
、#endif”
的作用是防止该头文件被重复引用。

　　那么

#ifdef __cplusplus

extern "C" {

#endif

#ifdef __cplusplus

}

#endif

　　的作用又是什么呢？我们将在下文一一道来。

　　3.
深层揭密extern
"C"



　　extern "C"
包含双重含义，从字面上即可得到：首先，被它修饰的目标是“extern”
的；其次，被它修饰的目标是“C”
的。让我们来详细解读这两重含义。

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

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

　　extern int a;

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

考虑下面的情况：

有两个头文件a.h main.cpp

一：

list: a.h

int a = 10;

list: main.cpp

#include <vector> #include <iostream> using namespace std ; int main () { std ::cout << a ; }

很显然，在编译main.cpp
的时候，由于无法获得a
的声明，无法通过。

二：

list: a.h

list: main.cpp

#include <vector> #include <iostream> using namespace std ; extern int a ; int main () { std ::cout << a ; }

此时，a.h
是空的，main.cpp
可以编译通过，因为extern int a;
告诉编译器，a
是在其他模块里定义的一个int
变量，如此编译器就认为没问题了。但是在连接阶段，链接器到处都找不到这个a
的定义（在各个obj
文件中），所以就产生了链接错误。

三：

list: a.h

int a = 10;

list: main.cpp

#include <vector> #include <iostream> using namespace std ; extern int a ; int main () { std ::cout << a ; }

想当然的，可能认为在这种情况下的话，肯定可以链接通过的。但其实，还是不行的。在a.h
中确实声明并定义了a
，但是其默认的作用域确是文件范围的，所以main.cpp
中的调用无法访问a.h
中的内容，所以链接还是失败了。

四：

list: a.h

extern int a ;

list: main.cpp

#include <vector> #include <iostream> using namespace std ; extern int a ; int main () { std ::cout << a ; }

这种情况下，也还是链接不过的，因为在a.h
中，只是声明了a
是一个在外部被定义的变量，结果程序在链接的时候，还是到处找a
的定义而不得。

五：（注意）

list: a.h

extern int a = 10;

list: main.cpp

#include <vector> #include <iostream> using namespace std ; extern int a ; int main () { std ::cout << a ; }

在这种情况下，可能认为肯定是可以了，因为在a.h
中，即声明并且定义了a
。但是，由于a.h
是一个头文件，在编译阶段它不会被编译成obj
文件，结果在链接时，链接器在一众obj
中还是找不到a
的定义，链接仍然失败，杯具啊...

六：（注意）

此时，引进a.cpp

list: a.h

list: a.cpp

int a = 20;

list: main.cpp

#include <vector> #include <iostream> using namespace std ; extern int a ; int main () { std ::cout << a ; }

bingo!
编译链接通过了，这个结果可能又出人意料了。事实上，跟着前面的思路的话就不能理解了，在main.cpp
中，已经声明了a,
并且指定了它在别处被定义。这样编译器就认为没问题了，链接器其后从其他obj
中查找a
的定义，在a.obj
中，他发现了a
的定义，ok
，链接通过。

七：

list: a.h

int a ;

list: a.cpp

#include "a.h" a = 20;

list: main.cpp

#include <vector> #include <iostream> using namespace std ; extern int a ; int main () { std ::cout << a ; }

这个就是声明与定义的关系了。很显然，编不过。编译器在进行到a.h
时，发现了int a;
这看似一个普通的声明，但是编译器内部对这样的内置类型又进行了进一步的隐式定义。在编译a.cpp
时，由于a=20;
实在全局域中的，在全局域中你只能对变量进行声明或者声明且定义，所以a = 20;
时，编译器会认为你在声明一个变量，自然无法通过了。

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

如下：

list: a.h

extern int a ; extern void func ();

list: a.cpp

int a = 10; void func () { }

list: main.cpp

#include <vector> #include <iostream> using namespace std ; #include "a.h" int main () { std ::cout << a ; }

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

　　被extern "C"
修饰的变量和函数是按照C
语言方式编译和连接的；

　　未加extern “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"
通常的使用技巧。

　4.extern "C"
的惯用法

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

extern "C"

{

#include "cExample.h"

}

　　而在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 )

{

return x + y;

}

// c++
实现文件，调用add
：cppFile.cpp

extern "C"

{

#include "cExample.h"

}

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

{

add(2,3);

return 0;

}

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

{

return x + y;

}

/* C
实现文件 cFile.c

/*
这样会编译出错：#include "cExample.h" */

extern int add( int x, int y );

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

{

add( 2, 3 );

return 0;

}

　　如果深入理解了第3
节中所阐述的extern "C"
在编译和连接阶段发挥的作用，就能真正理解本节所阐述的从C++
引用C
函数和C
引用C++
函数的惯用法。对第4
节给出的示例代码，需要特别留意各个细节。