管道操作员行为

Question

根据Elixir Tutorial on Enumerables and Streams：

|> 符号是管道运算符：它只是从左侧的表达式中获取输出，并将其作为输入传递给右侧的函数调用。

Enum 模块中的所有函数都是 Eager。

那么下面的语句有什么区别呢？为什么最后一个返回不同的结果？

iex(1)> 1..1_000 |> Enum.reverse |> Enum.take 5
[1000, 999, 998, 997, 996]

iex(2)> (Enum.reverse 1..1_000) |> Enum.take 5
[1000, 999, 998, 997, 996]

iex(3)> Enum.reverse 1..1_0000 |> Enum.take 5
[5, 4, 3, 2, 1]

Answer 1

管道运算符之前的方法参数应放在括号中。

所有这些都是等价的：

1..1_000 |> Enum.reverse |> Enum.take 5
#=> [1000, 999, 998, 997, 996]

(Enum.reverse 1..1_000) |> Enum.take 5
#=> [1000, 999, 998, 997, 996]

Enum.reverse(1..1_000) |> Enum.take 5
#=> [1000, 999, 998, 997, 996]

除了这个：

Enum.reverse 1..1_0000 |> Enum.take 5
#=> [5, 4, 3, 2, 1]

这里，Elixir 首先以 1..1_0000 和 5 作为参数计算 Enum.take/2 方法，然后在结果上调用 Enum.reverse/1。

# It is actually equal to this:
Enum.reverse(1..1_0000 |> Enum.take 5)

# or this if you simplify it:
Enum.reverse(Enum.take(1..1_0000, 5)