c++中extern关键字详解 知识补充笔记

原文地址 http://www.cnblogs.com/yc_sunniwell/archive/2010/07/14/1777431.html

1、使用extern时候要严格对应声明时的格式。

例一：

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

另外一个文件使用下面语句进行声明：extern char *a;

是不可以的，应该(1) 在test1.h中有下列声明:
#ifndef TEST1H
#define TEST1H
extern char g_str[]; // 声明全局变量g_str
void fun1();
#endif
(2) 在test1.cpp中
#include "test1.h"
char g_str[] = "123456"; // 定义全局变量g_str
void fun1() { cout << g_str << endl; }
(3) 以上是test1模块， 它的编译和连接都可以通过,如果我们还有test2模块也想使用g_str,只需要在原文件中引用就可以了
#include "test1.h"

void fun2() { cout << g_str << endl; }件中声明改为extern char a[]

上面的代码编译通过之后，可以在test1.obj中找到“123456”这个字符串，但是却在test2.obj里面找到，这是因为g_str

是整个工程的全局变量，在内存中只存在一份。

有一种编程风格，把全局变量的声明和定义放在一起。

例如在test1.h中声明定义   

extern char g_str[]="123456";//这个时候相当于没有定义extern

test1 test2 同时#include时会报链接错误，因为链接是发现了两个g_str。

如果一定要使用这种风格，可以将test2中代码#include "test1.h"去掉换成：

extern char g_str[];

void fun2(){cout<<g_str<<endl;} 

此时编译器知道g_str是引自于外部的一个编译模块，不会在本模块重复定义一个出来。

但问题是：无法在test2,cpp中使用#include "test1.h"，那么test1.h中声明的其他函数也无法使用，除非都用extern

修饰。

所以一定要记住：只在头文件中做声明。

2、extern 和 static

  extern 和 static 不能同时修饰一个变量，static 修饰的全局变量声明与定义同时进行，也就是说在头文件中用static 中声明

了全局变量后，它也同时被定义了；最后，static 修饰全局变量的作用域只能是本身的编译单元，也就是说它的“全局”只对本

编译单元有效，其他编译单元则看不到它。

(1) test1.h:
#ifndef TEST1H
#define TEST1H
static char g_str[] = "123456"; 
void fun1();
#endif

(2) test1.cpp:
#include "test1.h"
void fun1() { cout << g_str << endl; }
(3) test2.cpp
#include "test1.h"
void fun2() { cout << g_str << endl; }
以上两个编译单元可以连接成功, 当你打开test1.obj时，你可以在它里面找到字符串"123456",同时你也可以在test2.obj中找到它们，它们之所以可以连接成功而没有报重复定义的错误是因为虽然它们有相同的内容，但是存储的物理地址并不一样，就像是两个不同变量赋了相同的值一样，而这两个变量分别作用于它们各自的编译单元。 也许你比较较真，自己偷偷的跟踪调试上面的代码,结果你发现两个编译单元（test1,test2）的g_str的内存地址相同，于是你下结论static修饰的变量也可以作用于其他模块，但是我要告诉你，那是你的编译器在欺骗你，大多数编译器都对代码都有优化功能，以达到生成的目标程序更节省内存，执行效率更高，当编译器在连接各个编译单元的时候，它会把相同内容的内存只拷贝一份，比如上面的"123456", 位于两个编译单元中的变量都是同样的内容，那么在连接的时候它在内存中就只会存在一份了，如果你把上面的代码改成下面的样子，你马上就可以拆穿编译器的谎言:
(1) test1.cpp:
#include "test1.h"
void fun1()
{
g_str[0] = ''a'';
cout << g_str << endl;
}

(2) test2.cpp
#include "test1.h"
void fun2() { cout << g_str << endl; }
(3) void main() {
fun1(); // a23456
fun2(); // 123456
}
这个时候你在跟踪代码时，就会发现两个编译单元中的g_str地址并不相同，因为你在一处修改了它，所以编译器被强行的恢复内存的原貌，在内存中存在了两份拷贝给两个模块中的变量使用。正是因为static有以上的特性，所以一般定义static全局变量时，都把它放在原文件中而不是头文件，这样就不会给其他模块造成不必要的信息污染，同样记住这个原则吧！

3、

C++中const修饰的全局常量据有跟static相同的特性，即它们只能作用于本编译模块中，但是const可以与extern连用来声明该常量可以作用于其他编译模块中, 如extern const char g_str[];
然后在原文件中别忘了定义: const char g_str[] = "123456";

所以当const单独使用时它就与static相同，而当与extern一起合作的时候，它的特性就跟extern的一样了！所以对const我没有什么可以过多的描述，需要注意的是，const char* g_str = "123456" 与 const char g_str[] ="123465"是不同的， 前面那个const 修饰的是char *而不是g_str,它的g_str并不是常量，它被看做是一个定义了的全局变量（可以被其他编译单元使用）， 所以如果你像让char*g_str遵守const的全局常量的规则，最好这么定义const char* const g_str="123456".