Bash 中的遞迴函數技巧

在撰寫 Shell 腳本時，我們通常習慣使用 for 或 while 迴圈來處理線性任務。然而，當面對具有層級結構的資料，例如目錄樹狀結構、JSON 嵌套物件或 XML 文件時，迭代（Iteration）往往顯得笨拙且難以維護。此時，遞迴（Recursion）便成為了解決這類問題的神器。

遞迴的核心概念非常直觀：函數呼叫自身。雖然 Bash 並非為高階程式設計而生，但從 Bash 4.0 開始，它對函數的支持已經相當完善，足以讓我們輕鬆實現遞迴邏輯。這篇文章將帶你掌握 Bash 遞迴函數的實作技巧，並解決常見的陷阱。

基本語法與實作範例

在 Bash 中定義函數非常簡單，只需使用 function 關鍵字或直接寫 name()。遞迴的關鍵在於設定一個終止條件（Base Case），否則函數會無限呼叫自身，直到觸發系統資源限制而崩潰。

讓我們來看一個經典的範例：列出指定目錄下的所有檔案（包含子目錄）。這個任務用 find 指令一行就能搞定，但為了教學目的，我們將手動實作遞迴邏輯。

#!/bin/bash

# 定義遞迴函數 list_files
# 參數 $1 為當前處理的路徑
list_files() {
    local current_dir="$1"

    # 終止條件：如果路徑不存在或是非目錄，則回傳
    if [[ ! -d "$current_dir" ]]; then
        return 1
    fi

    # 輸出當前目錄下的所有項目名稱
    echo "Directory: $current_dir"

    # 使用 glob 遍歷目錄內容
    # shopt -s nullglob 確保如果目錄為空，不會將 '*' 當作字串處理
    shopt -s nullglob
    local items=("$current_dir"/*)
    shopt -u nullglob

    # 如果目錄為空，直接結束
    if [[ ${#items[@]} -eq 0 ]]; then
        return 0
    fi

    # 遍歷每個項目
    for item in "${items[@]}"; do
        if [[ -d "$item" ]]; then
            # 如果是目錄，則遞迴呼叫自身
            list_files "$item"
        else
            # 如果是檔案，直接輸出
            echo "File: $item"
        fi
    done
}

# 執行腳本，預設處理當前目錄
target_dir="${1:-.}"
list_files "$target_dir"

這段程式碼展示了遞迴的標準結構：檢查條件、處理當前層級、呼叫自身處理下一層級。請注意，我們使用了 local 變數來確保變數作用域僅限於函數內部，避免污染全局環境。

效能考量與尾遞迴優化

雖然 Bash 支援遞迴，但必須警惕其效能瓶頸。每次函數呼叫都會在記憶體中建立新的堆疊幀（Stack Frame）。當遞迴深度過深（例如處理數萬層的目錄結構）時，可能會導致 Segmentation fault 或嚴重的效能下降。

在一般的函數式程式語言中，我們常提到「尾遞迴（Tail Recursion）」優化，即最後一個動作是呼叫自身，這樣編譯器可以重複使用堆疊幀。然而，Bash 目前並不支援尾遞迴優化，因此深度遞迴在 Bash 中始終是潛在的風險。

對於極深的目錄結構，建議優先使用 find 或 fd 等專為效能設計的 Unix 工具。但在以下情境中，遞迴依然是首選：

邏輯複雜：需要根據路徑特徵進行複雜的判斷與轉換。
資料結構非標準：例如自定義的嵌套標籤語言，無法簡單用 grep 解析。

常見問題與解決方案

1. 無限迴圈與堆疊溢出

新手最常遇到的問題就是忘記設定終止條件，或條件判斷錯誤導致無限遞迴。

檢查方法：在函數開頭加入 echo "Depth: $depth" 並傳入深度計數器，觀察輸出是否停滯。
防護措施：限制最大遞迴深度。例如，設定一個全域變數 MAX_DEPTH，每次遞迴時檢查是否已超過上限。

MAX_DEPTH=10
current_depth=${2:-0}

if (( current_depth > MAX_DEPTH )); then
    echo "Max depth reached, stopping recursion."
    return 0
fi

2. 變數作用域污染

在 Bash 中，預設情況下函數內的變數是全局的。如果在遞迴過程中修改了全局變數，可能會導致父層次的邏輯混亂。

解決方案：務必使用 local 關鍵字宣告所有在函數內使用的變數。特別是用於迴圈計數器或臨時暫存變數。

# 錯誤示範：global_var 會被遞迴層級覆蓋
global_var="original"

# 正確示範：使用 local
process_data() {
    local global_var="modified" # 僅在當前層級有效
    # ...
}

小結

Bash 中的遞迴函數是一個強大但需謹慎使用的工具。它讓我們能以優雅的方式處理樹狀結構的資料，特別是在需要自定義邏輯而非簡單列舉檔案時。

記住三個原則：

務必設定終止條件，防止無限迴圈。
使用 local 變數，避免作用域衝突。
評估效能，對於極深層或大量資料，優先考慮 find 等外部工具。

掌握這些技巧後，你將能更靈活地運用 Shell 腳本來解決複雜的系統管理問題。下次遇到巢狀結構時，不妨試試看遞迴的解法吧！