这些不同功能定义的优缺点是什么？

Question

我目前正在学习elixir,我想知道这三个实现是否真的是一个选择问题,或者有一些与性能或其他事情有关的最佳实践,换句话说是否有最好的实现？

我的第一个实现是第三个(...我知道),但如果我必须选择,我肯定会选择第二个.第一个对我来说似乎很奇怪,因为我将函数定义了3次

谢谢 !

  @spec count(list) :: non_neg_integer
  def count(l), do: count(l, 0)
  defp count([], acc), do: acc
  defp count([_ | tail], acc), do: count(tail, acc + 1)


  @spec count(list) :: non_neg_integer
  def count(l) do
      case l do
          [] -> 0
          [_|tail] -> 1 + count(tail)
      end
  end


@spec count(list) :: non_neg_integer
  def count(l) do
      do_count(l, counter)
  end

  defp do_count(list, counter \\ 0) do
      cond do
          list == [] -> counter
          true ->
              counter = counter + 1
              do_count(tl(list), counter)
      end
  end

Answer 1

我想知道这三个实现是否真的是一个选择问题,或者有一些与性能或其他事情相关的最佳实践,换句话说是否有最好的实现？

它们之间的一个重要区别是第一个和第三个实现是尾递归,而第二个实现不是.这意味着第二个实现将使用O(n)内存在n元素列表上执行,而第一个和第三个将使用O(1).

第三种解决方案使用cond模式匹配解决方案更短且更可能更快的地方.

你可以重写

cond do
  list == [] -> counter
  true ->
    counter = counter + 1
    do_count(tl(list), counter)
end

至

case list do
  [] -> counter
  [_|tail] ->
    counter = counter + 1
    do_count(tail, counter)
end

这几乎与第一个实现相同.

第一个肯定是最惯用的,最有可能是三个中最快的.