具有多个子句的命名函数的 Elixir 默认参数

我无法理解默认参数如何与命名函数中的多个子句交互。归根结底，为什么下面的代码片段有效？

defmodule Lists do

  def sum([], total \\ 0), do: total
  def sum([h|t], total), do: h + sum(t, total)

end

根据我的理解，编译器将其扩展为：

defmodule Lists do

  def sum([]), do: sum([], 0)
  def sum([], total), do: total
  def sum([h|t], total), do: h + sum(t, total)

end

所以我预计会发生以下情况：

iex(1)> Lists.sum [1,2,3,4]
** (FunctionClauseError) no function clause matching in Lists.sum/1

相反，它有效：

iex(1)> Lists.sum [1,2,3,4]
10

Using 长生不老药 0.12.4.

实际上，def sum([], total \\ 0), do: total将定义一个函数子句，如下所示def sum(list), do: sum(list, 0)。所以我绝对能看到你的困惑。我保证我们会在未来的版本中针对此类情况发出警告。谢谢你！