Início / coding / Perguntas / 78874271
Accepted
zdean
Asked: 2024-08-15 16:33:00 +0800 CST

Quais são os valores em acc e x em cada enumeração no código Elixir abaixo encontrado nos documentos oficiais do Enumerable Protocol?

  • 772

Estou tentando dissecar e entender como acc/0e reducer/0como funciona dentro do Protocolo Enumerável.

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

Alguém poderia explicar isso a partir dos valores de x, acc em cada enumeração

functional-programming

1 respostas

  1. Best Answer

    Isso é quase, mas não exatamente como as Enum.reduce/3operações de "redução" ou "dobra" de nível superior e semelhantes em outras linguagens funcionais. Enumerableé um protocolo Elixir de nível inferior (interface) que os tipos podem implementar para dizer que são "um contêiner" e podem ser usados ​​com a Enumfunção; reduceé o alicerce principal.

    O reducerparâmetro será chamado uma vez para cada elemento da lista, com o valor anterior (ou inicial) do acumulador como parâmetro. O Enumerable:acc/0tipo do parâmetro acumulador inclui não apenas o valor, mas também um átomo de controle que informa à Enumerableimplementação o que fazer, em particular com a opção de parar antecipadamente. :contaqui significa "continuar" e, neste exemplo, você sempre percorrerá a lista inteira.

    Digamos que você ligue

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

    Então a sequência de chamadas internas será

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

    e a lógica restante divide o :contmarcador e inverte a lista para que fique na ordem correta.

    • 0

relate perguntas