Elixir中Enum.each块内添加元素后列表val值未改变的原因咨询

嘿，这绝对是从Ruby这类可变语言转到Elixir时最容易踩的坑之一，我来给你把这个问题掰明白～

首先得牢牢记住Elixir的两个核心特性，这和Ruby的逻辑完全不同：

• 不可变性：Elixir里的所有数据都是不可变的，你永远不能“修改”一个变量的值，只能把变量名重新绑定到一个新的、修改后的版本上。
• 作用域隔离：函数（包括匿名函数）内部的变量是局部的，和外部同名变量完全是两个独立的绑定。

先看你遇到的具体场景 #

你在外部定义了val = []，然后在Enum.each的匿名函数里写了val = val ++ [x]：

val = []
Enum.each [1, 2, 3], fn x -> IO.puts x; val = val ++ [x] end

这里的问题在于：

1. 匿名函数里的val是局部变量，和外部的val没有任何关系。每次迭代时，这个局部val会先捕获外部的val（空列表），然后绑定到新的列表[] ++ [x]上，但这个新绑定只存在于当前迭代的函数内部，函数执行完就消失了。
2. 外部的val自始至终都绑定着最初的空列表，完全不受内部赋值的影响。

为什么iex里单独执行val = val ++ [1]会生效？ #

那是因为你在同一个作用域里做了重新绑定。在iex的交互环境中，这条命令是把val这个名字从原来的空列表，重新绑定到了新的列表[1]上，所以你能看到变量“变化”了——但本质上不是修改了原来的列表，而是创建了新列表并换了绑定。

正确的做法：用Enum.reduce来累积结果 #

如果你想要遍历列表并构建一个新的列表，Enum.each不是合适的工具，因为each的设计目的是执行副作用操作（比如你这里的IO.puts），它不会返回任何有用的累积结果。

Elixir里处理这类“累积”需求的标准工具是Enum.reduce，它会帮你维护一个累积值（通常叫acc），每次迭代都基于当前累积值生成新的累积值，最后返回最终结果：

val = []
new_val = Enum.reduce([1, 2, 3], val, fn x, acc ->
  IO.puts x
  acc ++ [x]
end)

# 此时 new_val 是 [1, 2, 3]，而原来的 val 仍然是 []

这里的核心是：我们没有试图“修改”外部变量，而是创建了一个新的变量new_val来绑定最终的累积结果，完全符合Elixir不可变的设计哲学。

最后再总结一下 #

Elixir里没有“修改变量”的概念，只有“重新绑定变量名到新的不可变数据”。同时，函数内部的局部变量作用域是完全隔离的，内部的赋值不会渗透到外部。如果需要遍历并生成新数据，优先用Enum.reduce这类专门的枚举函数，而不是Enum.each。

内容的提问来源于stack exchange，提问作者Vikram Singh Jadon