C語言 static 關鍵字深度解析：修飾變量與函數的雙重語義

static 是 C 語言最「多面」的關鍵字：修飾局部變量改變**生命週期**，修飾全局變量/函數限制**鏈接可見性**。本文分場景徹底講透四大用法，附運行時內存模型與最佳實踐。

一、修飾局部變量：靜態局部變量

void counter() {
    static int count = 0;   // 僅初始化一次！
    printf("%d ", ++count);
}
int main() {
    counter(); // 1
    counter(); // 2
    counter(); // 3
}

• 存儲區： 靜態數據區 (.data/.bss)，**非棧**
• 初始化： 編譯期/加載期**僅一次**，未顯式初始化默認 0
• 生命週期： 程序全程，函數返回**不銷毀**，下次調用保持值
• 作用域： 僅所在塊內可見 (同 auto)

二、修飾全局變量：靜態全局變量 (內部鏈接)

// file1.c
static int g_private = 42;  // 僅本文件可見

// file2.c
extern int g_private;       // 鏈接錯誤：找不到符號

• 解決**多文件符號衝突** (不同 .c 可同名 static int x;)
• 實現**模塊私有狀態**，封裁性增強

三、修飾函數：靜態函數 (內部鏈接)

// utils.c
static void helper() { ... }  // 僅本文件可調用

// main.c
void helper();                // 聲明無效，鏈接失敗

• 同變量語義：限制符號可見性為**當前編譯單元**
• 允許不同文件定義同名 static void foo()，互不干擾

四、綜合演示程序

#include 

static int g_static = 10;   // 靜態全局

int func1() {
    static int local = 0;   // 靜態局部
    return ++local;
}
int func2() {
    g_static = 0;           // 普通全局 (無 static)
    return ++g_static;
}
int main() {
    for (int i = 0; i < 10; i++)
        printf("%d, %d\n", func1(), func2());
    return 0;
}

輸出：

1, 1
2, 1
3, 1
...
10, 1

func1 靜態局部遞增，func2 每次重置全局為 0 再遞增 → 恆為 1。

五、靜態局部變量特殊說明

1. 內存分配： 靜態區，程序全程不釋放；auto 變量棧上，函數結束即釋放
2. 初始化時機： 編譯期賦值，**只賦值一次**；auto 運行期每次調用賦值
3. 默認初值： 未顯式初始化 → 數值型 0 / 指針 NULL / 字符 '\0'；auto 未初始化 → 不定值 (垃圾)

六、最佳實踐

1. 文件內部輔助函數/變量 → **加 static**
2. 需跨調用保持狀態且無線程安全要求 → **靜態局部**
3. 頭文件**勿定義** static 變量/函數 (每個 .c 產生獨立副本，極易誤用)
4. 線程環境下靜態局部初始化需注意 C11 _Thread_local 或鎖保護