解构 Elixir 中的整数列表后出现意外的尾部值

Question

iex(1)> [foo|bar] = [2,3,4,5,6,7]
[2, 3, 4, 5, 6, 7]
iex(2)> foo
2
iex(3)> bar
[3, 4, 5, 6, 7]
iex(4)> [foo|bar] = [6,7,8]      
[6, 7, 8]
iex(5)> foo
6
iex(6)> bar
'\a\b'

我本来希望bar最终将为[7,8]，但是它具有值'\ a \ b'。

我是长生不老药的新手，正在寻找解释为什么这是。 我正在运行Elixir 1.13.3。

Answer 1

您的输出实际上是[7，8] ...它只是重新形成了。

这也许是长生不老药中最令人困惑的事情之一，但是有一个历史原因。请密切注意您在输出中看到的单引号：它们指示a charlist ，它是未编码的编码codepoints（是从Erlang没有对字符串的内置支持的时候。 CodePoints表示Unicode字符。 Elixir试图通过将其成员组成的整数在ASCII范围内的整数组成时，通过将列表格式化为可读的列表来提供一些向后兼容。您可以将此格式行为覆盖为io.inspect/2的选项：

iex> IO.inspect([7, 8], charlists: :as_lists)
[7, 8]  # <--- there is your list!
'\a\b'  # <--- here is the attempt at making it human-readable

iex> IO.inspect('cat', charlists: :as_lists)
[99, 97, 116]
'cat'

此行为仅在列表包含ASCII范围内的整数时才会启动。当成员不在ASCII范围内时，不需要特殊选项来自定义格式化，例如

iex> IO.inspect([1001, 1002, 1003])
[1001, 1002, 1003]
[1001, 1002, 1003]