C/C++ extern关键字

extern修饰变量

在 C/C++中，修饰符extern用在变量前，用来说明“此变量已在别处定义，要在此处引用。”

记住它是一个声明不是定义

例如：

//file1.cpp
#include<iostream>
using namespace std;

extern int count;

int main(){

    cout<<count<<endl;
    return 0;

}

//file2.cpp

#include<iostream>
using namespace std;


int main(){

    int count=3;
    return 0;

}

可以看到这里并没有对count的定义，却可以输出而不报错。将两个文件一起编译，则输出会是3，因为file1使用了在file2中定义的全局变量count，全局变量也叫外部变量，具有外部链接性，意思就是可以被外部文件引用。

注意，当使用extern声明变量时，要求被声明的变量只能在一个文件中被定义，比如再有个file3里面也定义了一个名为count的全局变量，然后跟file1、file2一起编译，那编译器就会报错，因为不知道要引用哪个count，这也被称为单独定义规则。

//file1.cpp
#include<iostream>
using namespace std;

void f(int x){

    if(x>3) return;
    extern int count;
    count++;
    cout<<count<<endl;
    f(x+1);
}

int main(){
    f(1);
    return 0;
}

//file2.cpp

int count=1;
...

上述例子中，file1和file2一起编译，运行后的输出是：

2

3

4

因为file1使用extern声明的count实际上就是file2中的count（同一个存储地址），file1只是声明要引用file2中的count，而不是重新定义一个count，所以即使递归调用函数也不会影响count保留上一次的值。这一点跟用static定义一个内部变量很像，不同的是static定义的内部变量只能初始化一次，而extern声明的变量不能初始化。

//file1.cpp
#include<iostream>
using namespace std;

extern const int x;

int main(){
    cout<<x<<endl;
    return 0;
}

//file2.cpp
extern const int x=5;
...

上述例子中，file1和file2一起编译，运行后的输出是5。显然file1通过extern声明引用了在file2中的const常量x。

但是为什么file1和file2都要加extern? 要如何实现多个文件共享一个const常量呢？

因为const声明的常量它的链接性是内部的，默认是不能被其他文件用extern引用的。也就是说例1中说的单定义规则对它并不适用，所以即使在多个文件中定义同名的const常量，也不会有问题。

可以使用extern来覆盖其默认的内部链接性，就像file2中做得那样，并且只能在一个文件中被初始化。

extern修饰函数

如果文件a.c需要引用b.c中的函数，比如在b.c中原型是int fun(int mu)，那么就可以在a.c中声明extern int fun（int mu），然后就能使用fun来做任何事情。

使用extern和包含头文件来引用函数有什么区别呢？

extern的引用方式比包含头文件要简洁得多！extern的使用方法是直接了当的，想引用哪个函数就用extern声明哪个函数。这大概是KISS原则的一种体现吧！这样做的一个明显的好处是，会加速程序的编译（确切的说是预处理）的过程，节省时间。在大型C程序编译过程中，这种差异是非常明显的。

//file1.cpp
#include<iostream>
using namespace std;

extern void f(int x);

int main(){
    f(2);
    return 0;
}

//file2.cpp
#include<iostream>
using namespace std;

void f(int x){
    cout<<x<<endl;
}
    
...