static和extern

標籤：

以下內容來自：http://blog.csdn.net/cclive1601/article/details/8063505  

一些基本概念：

1. 編譯單元(模組)：
    在IDE開發工具大行其道的今天，對於編譯的一些概念很多人已經不再清楚了，很多程式員最怕的就是處理串連錯誤(LINK ERROR), 因為它不像編譯錯誤那樣可以給出你程式錯誤的具體位置，你常常對這種錯誤感到懊惱，但是如果你經常使用gcc，makefile等工具在linux或者嵌 入式下做開發工作的話，那麼你可能非常的理解編譯與串連的區別！當在VC這樣的開發工具上編寫完代碼，點擊編譯按鈕準備產生exe檔案時，VC其實做了兩 步工作，第一步，將每個.cpp(.c)和相應.h檔案編譯成obj檔案；第二步，將工程中所有的obj檔案進行LINK產生最終的.exe檔案，那麼錯 誤就有可能在兩個地方產生，一個是編譯時間的錯誤，這個主要是語法錯誤，另一個是串連錯誤，主要是重複定義變數等。我們所說的編譯單元就是指在編譯階段產生 的每個obj檔案，一個obj檔案就是一個編譯單元，也就是說一個cpp(.c)和它相應的.h檔案共同組成了一個編譯單元，一個工程由很多個編譯單元組 成，每個obj檔案裡包含了變數儲存的相對位址等 。

2. 聲明與定義的區別
    函數或變數在聲明時，並沒有給它實際的實體記憶體空間，它有時候可以保證你的程式編譯通過， 但是當函數或變數定義的時候，它就在記憶體中有了實際的物理空間，如果你在編譯模組中引用的外部變數沒有在整個工程中任何一個地方定義的話， 那麼即使它在編譯時間可以通過，在串連時也會報錯，因為程式在記憶體中找不到這個變數！你也可以這樣理解， 對同一個變數或函數的聲明可以有多次，而定義只能有一次!

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

    如果你對以上幾個概念已經非常明白的話，那麼讓我們一起來看以下幾種全域變數/常量的使用區別:

1. 用extern修飾的全域變數
    以上已經說了extern的作用，下面我們來舉個例子,如: 
    在test1.h中有下列聲明:
    #ifndef TEST1H
    #define TEST1H
   extern char g_str[]; // 聲明全域變數g_str
    void fun1();
    #endif
    在test1.cpp中
    #include "test1.h"
    
    char g_str[] = "123456"; // 定義全域變數g_str
    
    void fun1()
    {
        cout << g_str << endl;
    }
    
    以上是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這個編譯單元不需要再有一份了，不然會在串連時報告重複定義這個錯誤!
    有些人喜歡把全域變數的聲明和定義放在一起，這樣可以防止忘記了定義，如把上面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修飾，這樣的話你光聲明的函數就要一大串，而且標頭檔的作用就是要給外部提 供介面使用的，所以 請記住， 只在標頭檔中做聲明，真理總是這麼簡單。

2. 用static修飾的全域變數
    首先，我要告訴你static與extern是一對“水火不容”的傢伙，也就是說extern和static不能同時修飾一個變數；其次，static修 飾的全域變數聲明與定義同時進行，也就是說當你在標頭檔中使用static聲明了全域變數後，它也同時被定義了；最後，static修飾全域變數的範圍 只能是本身的編譯單元，也就是說它的“全域”只對本編譯單元有效，其他編譯單元則看不到它,如:
    test1.h:
    #ifndef TEST1H
    #define TEST1H
    static char g_str[] = "123456"; 
    void fun1();
    #endif

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

    test2.cpp
    #include "test1.h"
    
    void fun2()
    {
        cout << g_str << endl;
    }
    
    void main()
    {
        fun1(); // a23456
        fun2(); // 123456
    }
    
    這個時候你在跟蹤代碼時，就會發現兩個編譯單元中的g_str地址並不相同，因為你在一處修改了它，所以編譯器被強行的恢複記憶體的原貌，在記憶體中存在了兩份拷貝給兩個模組中的變數使用。

    正是因為static有以上的特性，所以一般定義static全域變數時，都把它放在原檔案中而不是標頭檔，這樣就不會給其他模組造成不必要的資訊汙染，同樣記住這個原則吧！
    
3 const修飾的全域常量（const總結的ms還不是很好，下次要是有好文章再轉載！）

    const修飾的全域常量用途很廣，比如軟體中的錯誤資訊字串都是用全域常量來定義的。const修飾的全域常量據有跟static相同的特性(有條件的，感謝sswv的提醒，const放在唯讀靜態儲存區)，即它們只能作用於本編譯模組中，但是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".

一、c程式儲存空間布局

C程式一直由下列部分組成：

      1）本文段——CPU執行的機器指令部分；一個程式只有一個副本；唯讀，防止程式由於意外事故而修改自身指令；

      2）初始化資料區段（資料區段）——在程式中所有賦了初值的全域變數，存放在這裡。

      3）非初始化資料區段（bss段）——在程式中沒有初始化的全域變數；核心將此段初始化為0。

      4）棧——增長方向：自頂向下增長；自動變數以及每次函數調用時所需要儲存的資訊（返回地址；環境資訊）。

      5）堆——動態儲存裝置分。

|-----------|

|               |

|-----------|

|    棧        |  

|-----------|

|    |          | 

|   /|/        |

|               |

|               |

|   /|/        |

|    |          | 

|-----------|

|    堆        |

|-----------|

| 未初始化  |

|-----------|

|   初始化   |

|-----------|

|  本文段    |

|-----------|

二、 面向過程程式設計中的static

1. 全域靜態變數

   在全域變數之前加上關鍵字static，全域變數就被定義成為一個全域靜態變數。

   1）記憶體中的位置：靜態儲存區（靜態儲存區在整個程式運行期間都存在）

   2）初始化：未經初始化的全域靜態變數會被程式自動初始化為0（自動對象的值是任意的，除非他被顯示初始化）

   3）範圍：全域靜態變數在聲明他的檔案之外是不可見的。準確地講從定義之處開始到檔案結尾。

看下面關於範圍的程式：

//teststatic1.c 

void display();

extern int n; 

int main()

{

  n = 20;

  printf("%d/n",n);

  display();

  return 0;

}

//teststatic2.c 

static int n;   //定義全域靜態變數，自動初始化為0，僅在本檔案中可見

void display()

{

  n++;

  printf("%d/n",n);

}

檔案分別編譯通過，但link的時候teststatic1.c中的變數n找不到定義，產生錯誤。

定義全域靜態變數的好處：

<1>不會被其他檔案所訪問，修改

<2>其他檔案中可以使用相同名字的變數，不會發生衝突。

2. 局部靜態變數

  在局部變數之前加上關鍵字static，局部變數就被定義成為一個局部靜態變數。

  1）記憶體中的位置：靜態儲存區

  2）初始化：未經初始化的全域靜態變數會被程式自動初始化為0（自動對象的值是任意的，除非他被顯示初始化）

  3）範圍：範圍仍為局部範圍，當定義它的函數或者語句塊結束的時候，範圍隨之結束。

  註：當static用來修飾局部變數的時候，它就改變了局部變數的儲存位置，從原來的棧中存放改為靜態儲存區。但是局部靜態變數在離開範圍之後，並沒有被銷毀，而是仍然駐留在記憶體當中，直到程式結束，只不過我們不能再對他進行訪問。

      當static用來修飾全域變數的時候，它就改變了全域變數的範圍（在聲明他的檔案之外是不可見的），但是沒有改變它的存放位置，還是在靜態儲存區中。

3. 靜態函數

  在函數的傳回型別前加上關鍵字static，函數就被定義成為靜態函數。

  函數的定義和聲明預設情況下是extern的，但靜態函數只是在聲明他的檔案當中可見，不能被其他檔案所用。

  例如：

//teststatic1.c

void display();

static void staticdis(); 

int main()

{

  display();

  staticdis();

  renturn 0;

}

//teststatic2.c

void display()

{

  staticdis();

  printf("display() has been called /n");

}

static void staticdis()

{

  printf("staticDis() has been called/n");

}

檔案分別編譯通過，但是串連的時候找不到函數staticdis（）的定義，產生錯誤。

定義靜態函數的好處：

<1> 其他檔案中可以定義相同名字的函數，不會發生衝突

<2> 靜態函數不能被其他檔案所用。

儲存說明符auto，register，extern，static，對應兩種儲存期：自動儲存期和靜態儲存期。

auto和register對應自動儲存期。具有自動儲存期的變數在進入聲明該變數的程式塊時被建立，它在該程式塊活動時存在，退出該程式塊時撤銷。

關鍵字extern和static用來說明具有靜態儲存期的變數和函數。用static聲明的局部變數具有靜態儲存持續期（static storage duration），或靜態範圍（static extent）。雖然他的值在函數調用之間保持有效，但是其名字的可視性仍限制在其局部域內。靜態局部對象在程式執行到該對象的聲明處時被首次初始化。

由於static變數的以上特性，可實現一些特定功能。

1． 統計次數功能

聲明函數的一個局部變數，並設為static類型，作為一個計數器，這樣函數每次被調用的時候就可以進行計數。這是統計函數被調用次數的最好的辦法，因為這個變數是和函數息息相關的，而函數可能在多個不同的地方被調用，所以從調用者的角度來統計比較困難。代碼如下：

void count();

int main()

{

 int i;

 for (i = 1; i <= 3; i++)

  count();

  return 0;

}

void count()

{

 static num = 0;

 num++;

 printf(" I have been called %d",num,"times/n");

}

輸出結果為：

I have been called 1 times.

I have been called 2 times.

I have been called 3 times.

static和extern