外部層級宣告的儲存類別指定名稱
外部變數是指在檔案範圍的變數。 這些變數是在任何函式之外定義，因此可能可供許多函式使用。 由於函式只能在外部層級定義，因此不可為巢狀。 根據預設，對相同名稱之外部變數和函式的所有參考都是相同物件的參考，這表示它們具有「外部連結」。 (您可以使用 static 關鍵字覆寫此行為。)
外部層級的變數宣告為變數的定義 (「定義宣告」)，或是在他處定義之變數的參考 (「參考宣告」)。
若外部變數宣告也會初始化變數 (隱含或明確)，則是定義變數的宣告。 外部層級的定義可採用數種形式：
使用
static儲存類別規範宣告的變數。 您可以使用常數運算式明確地將static變數初始化，如初始化中所述 (部分機器翻譯)。 如果您省略初始設定式，則預設會將變數初始化為 0。 例如，這兩個陳述式都視為變數k的定義。static int k = 16; static int k;您在外部層級明確初始化的變數。 例如，
int j = 3;是變數j的定義。
在外部層級 (也就是在所有函式之外) 的變數宣告中，您可以使用 static 或 extern 儲存類別規範，或完全省略儲存類別規範。 您無法在外部層級使用 auto 和 register storage-class-specifier 終端機。
一旦在外部層級定義變數，該變數在轉譯單位的所有其餘部分就會是可見狀態。 變數在相同原始程式檔中宣告之前為不可見。 此外，除非參考宣告讓該變數成為可見，否則它在程式的其他原始程式檔中也不可見，如下所述。
與 static 相關的規則包括：
在所有區塊之外宣告且沒有
static關鍵字的變數，在整個程式中一律會保留其值。 若要限制其對特定編譯單位的存取，您必須使用static關鍵字。 這會為其提供「內部連結」。 若要讓變數在整個程式中成為全域，請省略明確儲存類別或使用關鍵字extern(請參閱下一個清單中的規則)。 這會為其提供「外部連結」。 內部和外部連結也將在連結中加以討論。您只能在程式內於外部層級定義變數一次。 您可以在不同的編譯單位中，定義另一個具有相同名稱和
static儲存類別規範的變數。 由於每個static定義只有在自己的編譯單位內才可見，因此不會發生衝突。 這提供了一種實用的方式，可以隱藏必須在單一編譯單位的多個函式之間共用但不對其他編譯單位顯示的識別碼名稱。static儲存類別規範也可以套用至函式。 如果您將函式宣告為static，它的名稱在宣告所在的檔案之外就不可見。
使用 extern 的規則包括：
extern儲存類別規範會宣告於他處定義之變數的參考。 您可以使用extern宣告，讓定義在另一個來源檔案中成為可見，或是讓變數在相同來源檔案中的定義之前成為可見。 在外部層級宣告變數的參考之後，變數就會在宣告參考出現之編譯單位的所有其餘部分成為可見。若要讓
extern參考成為有效，它所參考的變數必須只能在外部層級定義一次。 這個定義 (沒有extern儲存類別) 可以位於組成程式的任何轉譯單位中。
範例
下列範例將說明外部宣告：
/******************************************************************
SOURCE FILE ONE
*******************************************************************/
#include <stdio.h>
extern int i; // Reference to i, defined below
extern void other ( void ); // Reference to other(), defined in second source file
void next( void ); // Function prototype
int main()
{
i++;
printf_s( "%d\n", i ); // i equals 4
next();
}
int i = 3; // Definition of i
void next( void )
{
i++;
printf_s( "%d\n", i ); // i equals 5
other();
}
/******************************************************************
SOURCE FILE TWO
*******************************************************************/
#include <stdio.h>
extern int i; // Reference to i in
// first source file
void other( void )
{
i++;
printf_s( "%d\n", i ); // i equals 6
}
這個範例中的兩個原始程式檔總共包含三個 i 的外部宣告。 其中只有一個宣告為「定義宣告」。該宣告：
int i = 3;
會定義全域變數 i 並以初始值 3 將它初始化。 在第一個來源檔案頂端使用 extern 的「參考」宣告 i，會使全域變數在檔案中的定義宣告之前成為可見。 第二個原始程式檔中 i 的參考宣告也會讓變數在該原始程式檔中成為可見。 如果轉譯單位中未提供定義變數的執行個體，編譯器會假設有
extern int x;
參考宣告，而且定義參考
int x = 0;
出現在程式的另一個轉譯單位中。
這三個函式 main、next 和 other 全都會執行相同的工作：它們會增加並列印 i。 列印的值為 4、5 和 6。
如果變數 i 尚未初始化，則會自動設為 0。 在這種情況下會列印值 1、2 和 3。 如需變數初始化的詳細資訊，請參閱初始化。