您现在的位置：程式碼之家 >> 編程語言 > >> 網頁程式設計 >> PHP 程式設計 >> PHP 綜合知識

PHP 遞歸函數 return 陷阱：缺少返回值導致無法獲取結果的經典案例

編輯：PHP 綜合知識

問題代碼

<?php
function test($i) {
    $i -= 4;
    if ($i < 3) {
        return $i;
    } else {
        test($i); // 錯誤：遞歸調用結果未返回
    }
}
echo test(30); // 輸出空白，無返回值
?>

為什麼會失敗？

呼叫 test(30) → 進入 else 分支
執行 test(26) → 同樣進入 else
... 遞歸遞減直到 test(2) 滿足 $i < 3
test(2) 執行 return 2，返回給上一層 test(6) 的呼叫處
test(6) 的 else 區塊 沒有接收返回值，也沒有 return，函數隱式返回 null
層層返回 null，最終 test(30) 也是 null

核心規則：PHP 函數若無 return 語句，或執行路徑未遇到 return，預設返回 null。遞歸時每一層都必須顯式返回下一層的結果。

修正版

<?php
function test($i) {
    $i -= 4;
    if ($i < 3) {
        return $i;
    } else {
        return test($i); // 關鍵：加上 return
    }
}
echo test(30); // 輸出 2
?>

進階：尾遞歸優化（PHP 不支援 TCO）

雖然加上 return 修正了邏輯，但 PHP 不支援尾調用優化（Tail Call Optimization）。深度遞歸（> 1000 層）會導致 Stack Overflow。

改寫為迭代版（推薦生產環境）

<?php
function testIterative($i) {
    while ($i >= 3) {
        $i -= 4;
    }
    return $i;
}
echo testIterative(30); // 2，無棧溢位風險
?>

遞歸適用場景對比

場景	建議	理由
樹形結構遍歷（分類、評論、目錄）	遞歸	代碼簡潔，深度通常可控（< 100）
數學遞推（費波那契、階乘）	迭代 + 緩存	遞歸重複計算指數級，記憶體風險大
深度未知的鏈表/圖遍歷	迭代 + 顯式堆疊	避免棧溢位，可控制記憶體
模板引擎渲染、AST 遍歷	遞歸	結構天然遞歸，深度受模板複雜度限制

除錯技巧：可視化遞歸呼叫

<?php
function testDebug($i, $depth = 0) {
    $indent = str_repeat('  ', $depth);
    echo "$indent> test($i)\n";
    $i -= 4;
    if ($i < 3) {
        echo "$indent< return $i\n";
        return $i;
    } else {
        $ret = testDebug($i, $depth + 1);
        echo "$indent< return $ret\n";
        return $ret;
    }
}
testDebug(30);
?>

輸出清晰展示每層進入與返回，極利於理解遞歸流程。