C 語言宣告與定義：extern、初始化與作用域的完整釐清

前言：最基礎也最容易混淆的觀念

宣告 告訴編譯器「這個名字存在，類型是什麼」；定義 告訴編譯器「配置記憶體，這裡就是實體」。搞混兩者會導致連結錯誤、多重定義、未定義引用等經典問題。本文徹底釐清三種寫法的本質差異。

三種寫法本質對比

深度解析

1. int i; — 暫定定義

• C 標準稱為「暫定定義」，允許同一編譯單元多次出現
• 若整個程式沒有任何初始化定義，連結器會將其視為定義並隱式初始化為 0
• 若有 int i = 0; 存在，int i; 視為宣告
• 現代建議：避免使用，明確寫 extern int i; 或 int i = 0;

2. int i = 0; — 定義

• 配置記憶體、設定初值、外部連結
• 一個程式中只能有一個 (One Definition Rule)
• 重複定義 → 連結器錯誤：redefinition of 'i'

3. extern int i; — 宣告

• 不配置記憶體，僅告知「此名字在別處定義」
• 可在多個檔案、多個作用域重複出現
• 若全程式找不到對應定義 → 連結器錯誤：undefined reference to 'i'

實戰：跨檔案共用全域變數

file1.c (定義)

#include <stdio.h>
int global_counter = 0;  // 定義：配置記憶體、初始化

void increment() {
    global_counter++;
}

file2.c (宣告使用)

extern int global_counter;  // 宣告：不配置記憶體

void print_counter() {
    printf("Counter: %d\n", global_counter);
}

編譯連結

gcc file1.c file2.c -o prog
# 正常：一個定義 + 一個宣告

錯誤案例展示

案例一：重複定義

// a.c
int x = 1;

// b.c
int x = 2;  // ❌ 重複定義

// 編譯
gcc a.c b.c
# a.c: x defined here
# b.c: redefinition of 'x'

案例二：缺少定義

// a.c
extern int y;  // 只有宣告

// b.c
extern int y;  // 只有宣告

// 編譯
gcc a.c b.c
# undefined reference to 'y'

案例三：static 限制作用域

// a.c
static int hidden = 42;  // 內部連結，僅 a.c 可見

// b.c
extern int hidden;  // ❌ 找不到：static 變數無外部連結

函數的宣告與定義

• void foo(); — 宣告 (原型)
• void foo() { ... } — 定義
• 函數無暫定定義機制，必須有且僅有一個定義
• static void foo() — 內部連結，僅本檔可見

C++ 的 inline 變數 (C++17)

// header.h
inline int shared = 0;  // 允許多檔案包含，連結器合併為一個實體

// 替代傳統「.c 定義 + .h extern 宣告」模式

最佳實踐總結

1. 頭檔只放宣告：extern int g_var;、void func();
2. 源檔放定義：int g_var = 0;、void func() { ... }
3. 避免全域變數：優先用單例、命名空間、靜態類別成員
4. 必要時用 static：限制檔案內可見性，減少連結衝突
5. C++17 用 inline 變數：簡化頭檔定義

結語

「宣告不配置記憶體，定義配置記憶體」是核心鐵律。extern 明確表達「這只是宣告」，初始化 強制成為定義，無初始化 則是暫定定義 (C 特有)。理解此三者差異，配合「頭檔宣告、源檔定義」規範，即能徹底避免連結階段的「未定義引用」與「重複定義」噩夢。