主页 / coding / 问题 / 78874271
Accepted
zdean
Asked: 2024-08-15 16:33:00 +0800 CST

在 Enumerable Protocol 官方文档中找到的下面的 Elixir 代码中每个枚举的 acc 和 x 中的值是什么？

  • 772

我正在尝试剖析并理解可枚举协议中的工作acc/0原理。reducer/0

def map(enumerable, fun) do
  reducer = fn x, acc -> {:cont, [fun.(x) | acc]} end
  Enumerable.reduce(enumerable, {:cont, []}, reducer) |> elem(1) |> :lists.reverse()
end

有人可以从每个枚举中的 x、acc 的值开始解释这一点吗

functional-programming

1 个回答

  1. Best Answer

    这几乎但不完全像其他函数式语言中的高级Enum.reduce/3和类似的“减少”或“折叠”操作。 Enumerable是一种低级 Elixir 协议（接口），类型可以实现它来表示它们是“容器”并且可以与函数一起使用Enum；reduce是核心构建块。

    该reducer参数将针对列表中的每个元素调用一次，并将累加器的上一个（或初始）值作为该参数。Enumerable:acc/0累加器参数的类型不仅包括值，还包括一个控制原子，用于告诉Enumerable实现要做什么，特别是带有提前停止的选项。 :cont这里的意思是“继续”，在这个例子中，您将始终遍历整个列表。

    假设你打电话

    map([1, 2, 3], &(&1 * 2))

    然后内部调用的顺序将是

    reducer.(1, [])      # {:cont, [2]}
reducer.(2, [2])     # {:cont, [4, 2]}
reducer.(3, [4, 2])  # {:cont, [6, 4, 2]}

    其余的逻辑将:cont标记分离出来并反转列表，以使其处于正确的顺序。

    • 0

相关问题