static 局部變數濫用析析：從階乘函數缺陷看低耦合設計原則

《C 程式設計》經典教材中，常以 static 局部變數實作階乘函數作為範例。乍看輸出正確，實則埋下嚴重設計缺陷。本文深度剖析此反模式，揭示函數應具備的「無狀態、低耦合」本質。

問題代碼還原

int fac(int n) {
    static int f = 1;  // 靜態局部變數
    f = f * n;
    return f;
}

int main() {
    for (int i = 1; i <= 5; ++i)
        printf("%d!=%d\n", i, fac(i)); // 輸出 1,2,6,24,120
    // 若再呼叫 fac(3) → 返回 360 (錯誤！)
}

缺陷本質：隱性狀態耦合

將 fac() 內聯展開至 main() 可見端倪：

for (int i = 1; i <= 5; ++i) {
    static int f = 1;  // 等價於函數內的 static
    f *= i;
    printf("%d!=%d\n", i, f);
}

此時 i、f、f*=i 三者形成有機整體。原書將其「閹割」拆分：static f 被囚禁於函數內部，導致函數行為強依賴呼叫次序與呼叫歷史。

違反核心原則

1. 引用透明性破壞：相同輸入（n=3）產生不同輸出，函數不再是純映射
2. 時序耦合：呼叫者必須遵循特定順序（1→2→3→4→5），否則函數失效
3. 不可重入：多執行緒環境下極度危險
4. 測試困難：無法獨立驗證單一輸入輸出

正確設計：無狀態純函數

// 遞迴版
int fac_recursive(int n) {
    return (n <= 1) ? 1 : n * fac_recursive(n - 1);
}

// 迭代版（推薦）
int fac_iterative(int n) {
    int result = 1;
    for (int i = 2; i <= n; ++i) result *= i;
    return result;
}

此版本：無隱性狀態、可重入、可並行、易測試、符合數學定義。

static 局部變數的合理用途

並非完全禁用，適用場景極窄：

• 唯一初始化：函數內靜態資源（如查找表）僅需初始化一次
• 跨呼叫保持的唯一實體：如單例模式的靠實例指標

// 正確範例：月份名稱查找表
const char* month_name(unsigned m) {
    static const char* const names[12] = {
        "Jan","Feb","Mar","Apr","May","Jun",
        "Jul","Aug","Sep","Oct","Nov","Dec"
    };
    return (m >= 1 && m <= 12) ? names[m-1] : NULL;
}

此處 static 僅為避免重複建構表格，不涉及狀態變更，完全符合低耦合原則。

結語

函數應像數學函數：同輸入必同輸出，無副作用，無歷史包袱。濫用 static 局部變數製造隱性狀態，是將完整邏輯「閹割」成殘缺組件的變態行為。寫出可維護、可測試、可並行的代碼，請堅守無狀態設計。