轉自：chao_yu
extern 函數聲明
常常見extern放在函數的前面成為函數聲明的一部分，那么，C語言的關鍵字extern在函數的聲明中起什么作用？
答案與分析：
如果函數的聲明中帶有關鍵字extern，僅僅是暗示這個函數可能在別的源文件里定義，沒有其它作用。即下述兩個函數聲明沒有明顯的區別：
extern int f(); 和int f();
當然，這樣的用處還是有的，就是在程序中取代include “*.h”來聲明函數，在一些復雜的項目中，我比較習慣在所有的函數聲明前添加extern修飾。關於這樣做的原因和利弊可見下面的這個例子：“用extern修飾的全局變量”
(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.cpp中。以上是test1模塊， 它的編譯和連接都可以通過,如果我們還有test2模塊也想使用g_str,只需要在原文件中引用就可以了
#include "test1.h"
void fun2() { cout << g_str << endl; }
以上test1和test2可以同時編譯連接通過，如果你感興趣的話可以用ultraEdit打開test1.obj,你可以在里面找到"123456"這個字符串,但是你卻不能在test2.obj里面找到，這是因為g_str是整個工程的全局變量，在內存中只存在一份,test2.obj這個編譯單元不需要再有一份了，不然會在連接時報告重復定義這個錯誤!
(4) 有些人喜歡把全局變量的聲明和定義放在一起，這樣可以防止忘記了定義，如把上面test1.h改為
extern char g_str[] = "123456"; // 這個時候相當於沒有extern
然后把test1.cpp中的g_str的定義去掉,這個時候再編譯連接test1和test2兩個模塊時，會報連接錯誤，這是因為你把全局變量g_str的定義放在了頭文件之后，test1.cpp這個模塊包含了test1.h所以定義了一次g_str,而test2.cpp也包含了test1.h所以再一次定義了g_str,這個時候連接器在連接test1和test2時發現兩個g_str。如果你非要把g_str的定義放在test1.h中的話，那么就把test2的代碼中#include "test1.h"去掉 換成:
extern char g_str[];
void fun2() { cout << g_str << endl; }
這個時候編譯器就知道g_str是引自於外部的一個編譯模塊了，不會在本模塊中再重復定義一個出來，但是我想說這樣做非常糟糕，因為你由於無法在test2.cpp中使用#include "test1.h",那么test1.h中聲明的其他函數你也無法使用了，除非也用都用extern修飾，這樣的話你光聲明的函數就要一大串，而且頭文件的作用就是要給外部提供接口使用的，所以 請記住， 只在頭文件中做聲明，真理總是這么簡單。
extern 和 static
(1) extern 表明該變量在別的地方已經定義過了,在這里要使用那個變量.
(2) static 表示靜態的變量，分配內存的時候, 存儲在靜態區,不存儲在棧上面.
static 作用范圍是內部連接的關系, 和extern有點相反.它和對象本身是分開存儲的,extern也是分開存儲的,但是extern可以被其他的對象用extern 引用,而static 不可以,只允許對象本身用它. 具體差別首先，static與extern是一對“水火不容”的家伙，也就是說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全局變量時，都把它放在原文件中而不是頭文件，這樣就不會給其他模塊造成不必要的信息污染，同樣記住這個原則吧！
extern 和const
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".