extern关键字详解

extern可置于变量或者函数前，以表示变量或者函数的定义在别的文件中，提示编译器遇到此变量和函数时在其他模块中寻找其定义。另外，extern也可用来进行链接指定。

一、关键字

在一个 源文件里定义了一个 数组：char a[6];

在另外一个文件里用下列语句进行了声明：extern char *a；

请问，这样可以吗？

答案与分析：

1)、不可以，程序运行时会告诉你非法访问。原因在于，指向类型T的 指针并不等价于类型T的 数组。extern char *a声明的是一个 指针变量而不是字符 数组，因此与实际的定义不同，从而造成运行时非法访问。应该将声明改为extern char a[ ]。

2)、例子分析如下，如果a[] = "abcd",则外部变量a=0x12345678 ( 数组的起始地址)，而*a是重新定义了一个 指针变量，a的地址可能是0x87654321,直接使用*a是错误的.

3)、 这提示我们，在使用extern时候要严格对应声明时的格式，在实际编程中，这样的错误屡见不鲜。

4)、extern用在 变量声明中常常有这样一个作用，你在*.c文件中声明了一个全局的变量，这个全局的变量如果要被引用，就放在*.h中并用extern来声明。

这个 关键字真的比较可恶，在定义（ 函数）的时候，这个extern居然可以被省略，所以会让你搞不清楚到底是声明还是定义，下面分变量和函数两类来说：

尤其是对于变量来说。

extern int a;//声明一个全局变量a

int a; //定义一个全局变量a

extern int a =0 ;//定义一个全局变量a 并给初值。一旦给予赋值，一定是定义，定义才会分配存储空间。

int a =0;//定义一个全局变量a,并给初值，

声明之后你不能直接使用这个变量，需要定义之后才能使用。

第四个等于第三个，都是定义一个可以被外部使用的全局变量，并给初值。

糊涂了吧，他们看上去可真像。但是 定义只能出现在一处。也就是说，不管是int a;还是int a=0;都只能出现一次，而那个 extern int a可以出现很多次。

当你要引用一个全局变量的时候，你就要声明extern int a;这时候extern不能省略，因为省略了，就变成int a;这是一个定义，不是声明。

二、编译、链接

声明外部变量

现代 编译器一般采用按文件编译的方式，因此在编译时，各个文件中定义的 全局变量是互相不透明的。也就是说，在编译时， 全局变量的可见域限制在文件内部。

下面举一个简单的例子：

创建一个工程，里面含有A.cpp和B.cpp两个简单的C++源文件：

1 2 3 4 5 6 7

//A.cpp inti; intmain() { } //B.cpp inti;

这两个文件极为简单，在A.cpp中我们定义了一个 全局变量i，在B中我们也定义了一个 全局变量i。

我们对A和B分别编译，都可以正常通过编译，但是进行链接的时候，却出现了错误，错误提示如下：

1 2 3 4 5

Linking... B.obj:errorLNK2005:"inti"(?i@@3HA)alreadydefinedinA.obj Debug/A.exe:fatalerrorLNK1169:oneormoremultiplydefinedsymbolsfound Errorexecutinglink.exe. A.exe-2error(s),0warning(s)

这就是说， 在编译阶段，各个文件中定义的全局变量相互是不透明的，编译A时觉察不到B中也定义了i，同样，编译B时觉察不到A中也定义了i 。

但是到了链接阶段，要将各个文件的内容“合为一体”，因此，如果某些文件中定义的全局变量名相同的话，在这个时候就会出现错误，也就是上面提示的重复定义的错误。

因此，各个文件中定义的 全局变量名不可相同。

在链接阶段，各个文件的内容（实际是编译产生的obj文件）是被合并到一起的，因而，定义于某文件内的 全局变量，在链接完成后，它的可见范围被扩大到了整个程序。

这样一来，按道理说，一个文件中定义的 全局变量，可以在整个程序的任何地方被使用，举例说，如果A文件中定义了某全局变量，那么B文件中应可以使用该变量。修改我们的程序，加以验证：

1 2 3 4 5 6 7

//A.cpp intmain() { i=100; //试图使用B中定义的全局变量 } //B.cpp inti;

编译结果如下：

1 2 3 4 5

Compiling... A.cpp C:\DocumentsandSettings\wangjian\桌面\tryextern\A.cpp(5):errorC2065:'i':undeclaredidentifier Errorexecutingcl.exe. A.obj-1error(s),0warning(s)

编译错误。

其实出现这个错误是意料之中的，因为文件中定义的 全局变量的可见性扩展到整个程序是在链接完成之后，而在编译阶段，他们的可见性仍局限于各自的文件。

编译器的目光不够长远，编译器没有能够意识到，某个 变量符号虽然不是本文件定义的，但是它可能是在其它的文件中定义的。

虽然 编译器不够有远见，但是我们可以给它提示，帮助它来解决上面出现的问题。这就是extern的作用了。

extern的原理很简单，就是告诉编译器：“你现在编译的文件中，有一个标识符虽然没有在本文件中定义，但是它是在别的文件中定义的全局变量，你要放行！”

我们为上面的错误程序加上extern关键字：

1 2 3 4 5 6 7 8

//A.cpp externinti; intmain() { i=100; //试图使用B中定义的全局变量 } //B.cpp inti;

顺利通过编译，链接。

三、函数

extern函数1

常见extern放在 函数的前面成为 函数声明的一部分，那么， C语言的 关键字extern在 函数的声明中起什么作用？

答案与分析：

如果 函数的声明中带有 关键字extern，仅仅是暗示这个 函数可能在别的源文件里定义，没有其它作用。即下述两个 函数声明没有明显的区别：

extern int f(); 和int f();

当然，这样的用处还是有的，就是在程序中取代include “*.h”来声明 函数，在一些复杂的项目中，我比较习惯在所有的 函数声明前添加extern修饰。

extern函数2

当 函数提供方单方面修改 函数原型时，如果使用方不知情继续沿用原来的extern申明，这样编译时 编译器不会报错。但是在运行过程中，因为少了或者多了输入参数，往往会造成系统错误，这种情况应该如何解决？

答案与分析：

目前业界针对这种情况的处理没有一个很完美的方案，通常的做法是提供方在自己的xxx_pub.h中提供对外部 接口的声明，然后调用包涵该文件的头文件，从而省去extern这一步。以避免这种错误。

宝剑有双锋，对extern的应用，不同的场合应该选择不同的做法。