PHP 遞歸函數的三種實現方式深度解析：引用、全局變量、靜態變量

PHP 遞歸函數的三種實現方式深度解析：引用、全局變量、靜態變量

遞歸函數的核心難點在於「如何在多層調用間傳遞並累積中間結果」。本文深度剖析三種經典實現機制，配合內存模型圖解，幫你徹底理解變量作用域與生命週期在遞歸中的行為。

核心前提：遞歸必備兩要素

1. 自我調用：函數內部呼叫自身
2. 終止條件：判斷條件決定何時停止遞歸，否則無限遞歸導致棧溢出

方式一：引用傳參 —— 跨層共享同一記憶體地址

function test($a = 0, &$result = []) {
    $a++;
    if ($a < 10) {
        $result[] = $a;
        test($a, $result);  // 傳遞引用，所有層級操作同一個 $result
    }
    echo $a . ' ';  // 觀察輸出順序
    return $result;
}

print_r(test());
// 輸出順序：10 9 8 7 6 5 4 3 2 1
// 結果：[1,2,3,4,5,6,7,8,9]

原理解析：

• &$result 使參數成為外部變量的別名，所有遞歸層級操作的都是同一塊記憶體
• echo $a 輸出 10 9 ... 1（而非 1..10），因為遞歸調用在 echo 之前，形成「遞歸深入 → 條件失敗 → 逐層返回執行 echo」的順序
• 適用場景：需要收集全路徑數據、構建樹結構、累積計算結果

方式二：全局變量 —— 突破函數作用域邊界

function test($a = 0, $result = []) {
    global $result;  // 聲明使用全局同名變量
    $a++;
    if ($a < 10) {
        $result[] = $a;
        test($a, $result);
    }
    return $result;
}

$result = [];  // 全局預定義
print_r(test());
// 結果：[1,2,3,4,5,6,7,8,9]

關鍵點：

• global $var 在函數內創建對全局 $var 的引用，而非新建變量
• 若同時使用 &（如 global &$var），行為一致；但 global 本身已是引用語義
• 缺點：污染全局命名空間，併發/多線程環境下不安全，現代框架極少使用

方式三：靜態變量 —— 首次初始化，生命週期贯穿整個腳本

function test($a = 0) {
    static $result = [];  // 僅第一次調用初始化
    $a++;
    if ($a < 10) {
        $result[] = $a;
        test($a);
    }
    return $result;
}

print_r(test());
// 結果：[1,2,3,4,5,6,7,8,9]

靜態變量特性演示：

function counter() {
    static $count = 0;
    echo $count++ . ' ';
}
counter(); counter(); counter(); counter(); counter();
// 輸出：0 1 2 3 4  （而非 0 0 0 0 0）

• 僅在第一次進入函數時執行初始化賦值
• 後續調用保留上次修改的值，相當於「函數級單例」
• 遞歸中作為「跨層橋梁」極其適合：無需參數傳遞，自動保持狀態
• 注意：靜態變量屬於函數級，同一函數的所有調用（包括非遞歸）共享同一變量

四、對比總結表

五、不需要跨層傳值的簡單遞歸

若只需執行邏輯無需收集結果，直接調用即可：

function test($a = 0) {
    $a++;
    if ($a < 10) {
        echo $a . ' ';  // 輸出：1 2 3 4 5 6 7 8 9
        test($a);
    }
}
test();

六、深入理解的關鍵建議

1. 畫內存圖：堆棧幀、變量指向、引用關係
2. 在遞歸入口/出口加 xdebug_debug_zval() 觀察引用計數
3. 理解 static 在編譯期分配、運行期初始化的雙重特性
4. 實戰中優先選「引用傳參」或「靜態變量」，避免全局變量