下面的靜態聲明

Question

非靜態聲明考慮這些例子：

static int a; 
extern int a; //OK -- what linkage does the a have now? 

static int a; 
int a; //ERROR 

extern int a; 
static int a; //ERROR 

int a; 
static int a; //ERROR 

extern int a; 
int a; //OK as expected 

int a; 
extern int a; //OK as expected 

爲什麼它是在第一個例子確定，但不是在第二？

就文件範圍變量（全局範圍）而言，當沒有指定關鍵字時，它們具有外部鏈接和靜態持續時間。

謝謝

據我所知，連接和存儲持續時間功能是一個有點不同。

編輯： 我嘗試用gcc 4.5.2編譯-Wall -pedantic --std = C99

更多：http://c-faq.com/decl/static.jd.html你可以看到，第一個例子在那裏工作過，但第二次卻沒有。但是，我不明白是什麼讓他們如此不同。

Answer 1

答案第一個問題在C標準的§6.2.2中找到：

4爲了與存儲類說明extern 在範圍中聲明的標識符，其中的先前聲明如果先前的聲明指定了內部或外部鏈接，則後面聲明中標識符的 鏈接與先前聲明中指定的鏈接 相同。如果前面的聲明不可見，或者前面的聲明沒有指定鏈接，則 標識符具有外部鏈接。

所以a的鏈接是內部的。

關於第二個問題，緊隨其後段落的第二句是中肯的：

5如果一個標識符的某個函數的聲明沒有 存儲類說明，其聯動是完全一樣的決定如果它使用存儲類說明符extern聲明瞭 。如果一個對象的標識符的 聲明具有文件範圍，並且沒有 存儲類說明符，則其鏈接是外部的。

因爲a是一個對象，而非函數，聲明int a;沒有存儲類說明給出a外部連接。相同的部分於是具有這樣說的：

7如果，一個翻譯單元內，相同的標識符出現既 內外聯動，該行爲是未定義。

由於在第二個示例中，a與內部和外部鏈接一起顯示，因此會觸發此段落。一個（特別有用的）未定義行爲的表現是編譯器正在產生的錯誤。

您所有的例子可以通過這些規則來理解：

1. int a;總是宣稱a外部鏈接;
2. static int a;總是聲明a與內部聯繫;
3. extern int a;聲明a與它已有的任何鏈接，或者如果它沒有外部鏈接;
4. a在相同範圍內的兩個聲明有不同的聯繫，給出未定義的行爲。