C/C++中extern關鍵字詳解

1 基本解釋：extern可以置於變數或函數前，以標示變數或函數的定義在別的檔案中，提示編譯器遇到此變數和函數時在其他模組中尋找其定義。此外extern也可用來進行連結指定。

      也就是說extern有兩個作用，第一個,當它與"C"一起連用時，如: extern "C" void fun(int a, int b);則告訴編譯器在編譯fun這個函數名時按著C的規則去翻譯對應的函式名稱而不是C++的，C++的規則在翻譯這個函式名稱時會把fun這個名字變得面目全非，可能是fun@aBc_int_int#%$也可能是別的，這要看編譯器的"脾氣"了(不同的編譯器採用的方法不一樣)，為什麼這麼做呢，因為C++支援函數的重載啊，在這裡不去過多的論述這個問題，如果你有興趣可以去網上搜索，相信你可以得到滿意的解釋!
    第二，當extern不與"C"在一起修飾變量或函數時，如在頭文件中: extern int g_Int; 它的作用就是聲明函數或全域變數的作用範圍的關鍵字，其宣告的函數和變數可以在本模組活其他模組中使用，記住它是一個宣告不是定義!也就是說B模組(編譯單元)要是引用模組(編譯單元) A中定義的全域變數或函數時，它只要包含A模組的頭檔即可,在編譯階段，模組B雖然找不到該函數或變量，但它不會報錯，它會在連接時從模組A生成的目標程式碼中找到此​​函數。

2 問題：extern 變數
　　在一個來源文件裡定義了一個陣列：char a[6];
　　在另外一個文件裡用下列語句進行了聲明：extern char *a；
　　　　　　　　　　　　　　　活動　另 我們　　〜　　安　　　另封語句都這樣嗎？ 
　　答案與分析：
　　1)、不可以，程式運作時會告訴你非法存取。原因在於，指向類型T的指標並不等價於類型T的陣列。 extern char *a聲明的是指標變數而不是字元數組，因此與實際的定義不同，從而造成運行時非法存取。應該將聲明改為extern char a[ ]。
　　2)、例子分析如下，如果a[] = "abcd",則外部變數a=0x61626364 (abcd的ASCII碼值)，*a顯然沒有意義
　　a顯然指向的空間（0x61626364）沒有意義，出現易差　a非法記憶體存取。
　　3)、這提示我們，在使用extern時候要嚴格對應聲明時的格式，在實際編程中，這樣的錯誤屢見不鮮。
　　4)、extern用在變量聲明中常常有這樣一個作用，你在*.c文件中聲明了一個全局的變量，這個全局的變量如果要被引用，就放在*.h中並用extern來聲明。

3 問題：當方面修改extern 函數原型
　　當函數提供方單方面修改函數原型時，如果使用方不知情繼續沿用原來的extern申明，這樣編譯時編譯器不會報錯。但在運作過程中，因為少了或多了輸入參數，往往會照成系統錯誤，這種情況該如何解決？
　　答案與分析：
　　目前業界針對這種情況的處理沒有一個很完美的方案，通常的做法是提供方在自己的xxx_pub.h中提供對外部接口的聲明，然後調用方include該頭文件，從而省去extern這一步。以避免這種錯誤。
　　寶劍有雙鋒，對extern的應用，不同的場合應該選擇不同的做法。

4 問題：extern “C”
　　在C++環境下使用C函數的時候，常常會出現編譯器無法找到obj模組中的C函數定義，從而導致鏈結失敗的情況，應該如何解決這種情況呢？

　　答案與分析：
　　C++語言在編譯的時候為了解決函數的多態問題，會將函數名稱和參數聯合起來產生一個中間的函數名稱，而C語言則不會，因此會造成鏈接時找不到對應函數的情況，此時C函數就需要用extern “C”進行連結指定，這告訴編譯器，請保持我的名稱，不要給我產生用於連結的中間函數名。
　　以下是一個標準的寫法：
//在.h檔案的頭上
#ifdef __cplusplus
#if __cplusplus
extern "C"{
　#endif
/　
extern "C"{
　#endif
/　.h檔案結束的地方
　#ifdef __cplusplus
　#if __cplusplus
}
#endif
#endif /* __cplusplus */ 

5 問題：extern 函數宣告
　　常常見extern放在函數的前面成為函數宣告的一部分，那麼，C語言的關鍵字extern在函數的宣告中扮演什麼角色？
　　答案與分析：
　　如果函數的聲明中帶有關鍵字extern，只是暗示這個函數可能在別的源文件裡定義，沒有其它作用。即下述兩個函數宣告沒有明顯的差異：
extern int f(); 和int f();
　　當然，這樣的用處還是有的，就是在程式中取代include “*.h”來宣告函數，在一些複雜的專案中，我比較習慣在所有的函數宣告前面加上extern修飾。關於這樣做的原因和利弊可見以下的例子：「extern修飾的全域變數」

    (1) 在test1.h中有下列敘述:
    #ifndef TEST1H
    #define TEST1o // 宣告全域變數g_str
    void fun1();
    #endif
    (2) 在test1.cpp中
    #include "test1.h"
 中
    #include "test1.h"

        void fun1() { cout     (3) 以上是test1模組， 它的編譯和連接都可以通過,如果我們還有test2模組也想使用g_str,只需要在原文件中引用就可以了

    #include "test1.h"

     void fun2()    { cout   { cout  可以在裡面找到"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()   {   這個時候編譯器就知道g_str是引自外部的一個編譯模組了，不會在這個模組中再重複定義一個出來，但是我想說這樣做非常糟糕，因為你由於無法在test2.cpp中使用#include "test1.h",那麼test1.h中宣告的其他函數你也無法使用了，除非也用都用extern修飾，這樣的話你光聲明的函數就要一大串，而且頭檔的功能就是要提供外部介面使用的，所以請記住， 只在頭檔中做聲明，真理總是這麼簡單。

6. 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
    . ();

    #endif🎜

    (2) test1.cpp:
      (2) test1.cpp:
    #include "test1.h"
    void fun1()  {   cout     void fun2( )  {   cout     以上兩個編譯單元可以連接成功, 當你打開test1.obj時，你可以在它裡面找到字符串"123456",同時你也可以在test2.obj中找到它們，它們之所以可以連接成功而沒有報重複定義的錯誤是因為雖然它們有相同的內容，但是存儲的物理地址並不一樣，就像是兩個不同變量賦了相同的值一樣，而這兩個變數分別作用於它們各自的編譯單元。 也許你比較較真，自己偷偷的追蹤調試上面的程式碼,結果你發現兩個編譯單元（test1,test2）的g_str的記憶體位址相同，於是你下結論static修飾的變數也可以作用於其他模組，但是我要告訴你，那是你的編譯器在欺騙你，大多數編譯器都對程式碼都有優化功能，以達到生成的目標程式更節省內存，執行效率更高，當編譯器在連接各個編譯單元的時候，它會把相同內容的記憶體只拷貝一份，例如上面的"123456", 位於兩個編譯單元中的變數都是同樣的內容，那麼在連接的時候它在記憶體中就只會存在一份了，如果你把上面的程式碼改成下面的樣子，你馬上就可以拆穿編譯器的謊言:
    (1) test1.cpp:
    #include "test1.h"
    void fun1()🠎 0] = ''a'';
        cout     }

    (2) test2.cpp v.test_test #strtest.     (3) void main()     {

        fun1(); // a23456

      中的g_str位址並不相同，因為你在一個地方修改了它，所以編譯器被強行的恢復記憶體的原貌，在記憶體中存在了兩份拷貝給兩個模組中的變數使用。正是因為static有以上的特性，所以一般定義static全域變數時，都把它放在原文件中而不是頭文件，這樣就不會給其他模組造成不必要的資訊污染，同樣記住這個原則吧！

7. extern 和const

   C++中const修飾的全域常數據有跟static相同的特性，即它們只能作用於本編譯模組中，但是const可以與extern連用來聲明該常數可以作用於其他編譯模組中, 如extern const char g_str[];
    然後在原始文件中別忘了定義:     const char g_str[] = "123456"; 

    所以當constpst合作的時候，它的特性就跟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".

更多C/C++中extern關鍵字詳解相關文章請關注PHP中文網！