3.6.4　外部变量

前面已经简要地描述和说明了extern关键字。它告诉编译器存在着一个变量和函数，即使编译器在当前编译的文件中没有看到它。这个变量或函数可能在另一个文件中或者在当前文件的后面定义。下面是一个例子：

当编译器遇到‘extern int i’时，它知道i肯定作为全局变量存在于某处。当编译器看到变量i的定义时，并没有看到别的声明，所以知道它在文件的前面已经找到了同样声明的i。如果已经把变量i定义为static，又要告诉编译器，i是全局定义的（通过extern），但是，它也有文件作用域（通过static），所以编译器会产生错误。

3.6.4.1　连接

为了理解C和C++程序的行为，必须对连接（linkage）有所了解。在一个执行程序中，标识符代表存放变量或被编译过的函数体的存储空间。连接用连接器所见的方式描述存储空间。连接方式有两种：内部连接（internal linkage）和外部连接（external linkage）。

内部连接意味着只对正被编译的文件创建存储空间。用内部连接，别的文件可以使用相同的标识符或全局变量，连接器不会发现冲突—也就是为每一个标识符创建单独的存储空间。在C和C++中，内部连接是由关键字static指定的。

外部连接意味着为所有被编译过的文件创建一片单独的存储空间。一旦创建存储空间，连接器必须解决所有对这片存储空间的引用。全局变量和函数名有外部连接。通过用关键字extern声明，可以从其他文件访问这些变量和函数。函数之外定义的所有变量（在C++中除了const）和函数定义默认为外部连接。可以使用关键字static特地强制它们具有内部连接，也可以在定义时使用关键字extern显式指定标识符具有外部连接。在C中，不必用extern定义变量或函数，但是在C++中对于const有时必须使用。

调用函数时，自动（局部）变量只是临时存在于堆栈中。连接器不知道自动变量，所以这些变量没有连接。