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;
}
...