DNA 編碼

尾呼叫遞迴

當你遞迴走訪可列舉的資料（陣列、位元字串、字串）時，通常會遇到兩個問題：

• 儲存遞迴函式呼叫軌跡需要多少記憶體
• 如何有效率地建構出解答

為了處理這些問題，可以使用_累加器_。

累加器是伴隨資料一起傳遞的變數。它用來在每次函式呼叫之間傳遞函式執行當下的狀態，直到抵達_基本情況_。在基本情況中，累加器會用來回傳遞迴函式呼叫的最終值。

累加器應該由函式的作者初始化，而不是由函式的使用者。為了做到這點，請宣告兩個函式：一個公開函式，只接收必要的資料作為引數，並負責初始化累加器；以及一個私有函式，它也接收累加器。在 Elixir 中，常見的慣例是在私有函式的名稱前面加上do_。

# Count the length of a list without an accumulator
def count([]), do: 0
def count([_head | tail]), do: 1 + count(tail)

# Count the length of a list with an accumulator
def count(list), do: do_count(list, 0)

defp do_count([], count), do: count
defp do_count([_head | tail], count), do: do_count(tail, count + 1)

使用累加器讓我們能把遞迴函式轉換成_尾遞迴_函式。如果一個函式最後執行的事情是呼叫自己，它就是尾遞迴。