C語言 static 關鍵字深度解析：局部靜態變量的作用域與生命週期

編輯：關於C語言

核心結論先行

生命週期：程式啟動時分配、結束時釋放（靜態存儲期），不隨函數進出而銷毀
作用域：僅限於定義它的代碼塊（{}），外部不可見
初始化：僅執行一次（編譯期或首次進入代碼塊前），後續調用跳過初始化直接保留上一次值
同名隔離：不同代碼塊（如 if/else）定義的同名 static 變量互不干擾

實驗代碼與輸出分析

#include <stdio.h>

void func(int i) {
    if ((i & 0x01) == 1) {          // 奇數分支
        static int j = 1;           // 僅初始化一次
        j++;
        printf("i=%d, j=%d.\n", i, j);
    } else {                        // 偶數分支
        static int j = 0;           // 另一個獨立變量
        j++;
        printf("\ti=%d, j=%d.\n", i, j);
    }
    /* printf("j=%d", j); // 編譯錯誤：j 不在作用域內 */
}

int main(void) {
    for (int i = 0; i < 10; ++i)
        func(i);
    return 0;
}

執行結果

    i=0, j=1.
i=1, j=2.
    i=2, j=2.
i=3, j=3.
    i=4, j=3.
i=5, j=4.
    i=6, j=4.
i=7, j=5.
    i=8, j=5.
i=9, j=6.

逐行解讀

i	分支	該 static j 初始值	遞增後值	說明
0	else	0	1	首次進入 else，j=0 初始化
1	if	1	2	首次進入 if，j=1 初始化
2	else	1	2	else 的 j 保留上次值 1
3	if	2	3	if 的 j 保留上次值 2
...	...	...	...	兩個 j 完全獨立累加

三大靜態存儲期變量對比

類別	關鍵字	作用域	生命週期	連結屬性	典型用途
全域靜態	檔案層級 `static`	檔案內（內部連結）	程式全期	內部連結	模組私有狀態、單例
函數靜態	函數層級 `static`	函數內（區域）	程式全期	無連結	計數器、快取、延遲初始化
塊級靜態	區塊層級 `static`	區塊內（{ }）	程式全期	無連結	分支獨立狀態、稀有場景

進階應用模式

1. 函數級單例 / 延遲初始化

Config *get_config(void) {
    static Config cfg = {0};          // 零初始化
    static bool inited = false;
    if (!inited) {
        load_config(&cfg);            // 僅首次調用執行
        inited = true;
    }
    return &cfg;
}

2. 呼叫計數器 / 速率限制

void api_call(void) {
    static unsigned long cnt = 0;
    if (++cnt % 1000 == 0)
        log_info("API called %lu times", cnt);
}

3. 避免重複分配大緩衝區

char *get_temp_buf(size_t need) {
    static char *buf = NULL;
    static size_t cap = 0;
    if (need > cap) {
        cap = need;
        buf = realloc(buf, cap);      // 僅增不減，生命週期至程式結束
    }
    return buf;
}