Elixir Enumerable用法及代碼示例

Enum 和 Stream 模塊使用的可枚舉協議。

當您調用 Enum 模塊中的函數時，第一個參數通常是必須實現此協議的集合。例如，表達式Enum.map([1, 2, 3], &(&1 * 2)) 調用 Enumerable.reduce/3 來執行減少操作，該操作通過在集合中的每個元素上調用映射函數&(&1 * 2) 並使用累積列表使用該元素來構建映射列表。

在內部， Enum.map/2 實現如下：

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

請注意，用戶提供的函數被包裝到 reducer/0 函數中。 reducer/0 函數必須在每一步之後返回一個標記的元組，如 acc/0 類型中所述。最後， Enumerable.reduce/3 返回 result/0 。

該協議使用標記元組在 reducer 函數和實現該協議的數據類型之間交換信息。這允許高效地枚舉資源，例如文件，同時還保證資源將在枚舉結束時關閉。該協議還允許暫停枚舉，這在需要在許多可枚舉之間進行交錯時很有用(如在zip/1 和zip/2 函數中)。

該協議需要實現四個函數， reduce/3 、 count/1 、 member?/2 和 slice/1 。該協議的核心是 reduce/3 函數。所有其他函數都作為數據結構的優化路徑存在，可以在比線性時間更好的時間內實現某些屬性。