Elixir 列表连接答案

【问题标题】：Elixir list concatenationElixir 列表连接
【发布时间】：2016-04-19 11:14:00
【问题描述】：

所以我一直在玩 Elixir，对一些事情感到有些困惑：

iex> [ 1 | [ 2 ] ] // [ 1, 2] (expected)
iex> [ 1 | 2 ] // [ 1 | 2 ] (huh?)

我的困惑在于为什么第二个版本会这样做。我知道2 不是一个列表，所以它不能将“头”与“尾”连接起来，但是，在我看来，当尾不是一个列表时它应该会抛出一个错误。我一直在想一个有这种行为的用例，但空手而归。如果有人能解释为什么这是理想的行为，我将不胜感激。谢谢！

【问题讨论】：

Functional Programming: what is an "improper list"?的可能重复

标签： elixir

【解决方案1】：

列表的尾部实际上可以是任何术语，而不仅仅是另一个列表。这有时被称为“不当列表”。

Erlang 文档 gives an example 关于如何使用它来构建无限列表，但您不太可能在野外遇到这种情况。这个想法是，在这种情况下，尾部不是一个列表，而是一个函数，它将返回另一个带有下一个值和函数的不正确列表：

defmodule Lazy do
  def ints_from(x) do
    fn ->
      [x | ints_from(x + 1)]
    end
  end
end

iex> ints = Lazy.ints_from(1)
#Function<0.28768957/0 in Lazy.ints_from/1>

iex> current = ints.()
[1 | #Function<0.28768957/0 in Lazy.ints_from/1>]

iex> hd(current)
1

iex> current = tl(current).()
[2 | #Function<0.28768957/0 in Lazy.ints_from/1>]

iex> hd(current)
2

iex> current = tl(current).()
[3 | #Function<0.28768957/0 in Lazy.ints_from/1>]

iex> hd(current)
3

但是，我们可以使用 Stream 模块在 Elixir 中更轻松地实现无限流：

iex> ints = Stream.iterate(1, &(&1+1))
#Function<32.24255661/2 in Stream.unfold/2>

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

不正确列表的另一个（伪）用例是所谓的iodata 或chardata 值。这些允许您优化需要频繁附加到 charlist（单引号字符串）的情况，因为 charlist 是链表，其附加成本很高。您通常也不会在野外看到带有 chardata 的不正确列表，因为我们可以只使用常规列表 - 但请放心，它们可以用于构建 chardata。如果你想了解更多关于 chardata 的一般知识，我推荐this blog post from The Pug Automatic。

【讨论】：

这样一个伟大而彻底的答案，谢谢！我有点困惑为什么“在这种情况下尾部不是列表，而是函数......”我理解它背后的原因，但我的 [ 1 | 2 ] 示例显然没有 2 作为功能。 Elixir 是否只是假设它“可能”导致未来值，因此不禁止语法？（我是 Elixir 的新手，对 Erlang 的经验非常少，所以如果我遗漏了一些非常明显的东西，请原谅我）。
在您的情况下，尾部是一个整数，我的意思是在惰性列表示例中它是一个函数。你可以把任何东西放在尾部，惰性列表只是你可以用它做的一个可能的例子

【解决方案2】：

另一种看待它的方式：列表只是一个元组，第一个元素是头部，第二个元素是尾部（另一个列表）。当您编写[x | y] 时，您构造了这样一个元组，其中第一个元素x 和第二个元素y。如果y 恰好是一个列表本身，那么整个事情就是一个正确的列表。但是y 可以是任何东西，在这种情况下[x | y] 只是一个元组，在功能上类似于{x, y}。

【讨论】：