Elixir中如何初始化并填充Map？现有代码无法正确添加键值对

首先，我得先指出你代码里的几个关键问题，然后一步步帮你修正：

1. 核心问题：Elixir的不可变特性 + 语法错误 #

你遇到的最大问题是Elixir变量是不可变的——你在内层循环里重新赋值的map只是当前迭代作用域里的局部变量，完全不会影响外层的原始map。另外你的代码还有两处语法错误：

• Map初始化错误：%{0, 0} 是无效的，正确的Map键值对格式是 %{键 => 值}，比如空Map写%{}，带初始值的话是%{0 => 0}。
• Map更新语法错误：%{map | x, y} 不对，更新已有键要用%{map | x => y}，但添加新键不能用这个语法，必须用Map.put/3函数。

2. 明确需求：你要的是Map还是Keyword列表？ #

你写的[1: 1, 1: 2, 1: 3, 2: 1, …, 3: 3]其实是Elixir里的Keyword列表（允许重复键），而Map的键是唯一的——如果强行用Map，重复的键会被最后一次赋值覆盖，比如键1最终只会保留1 => 3。我会分别给出两种场景的解决方案：

场景A：生成你描述的Keyword列表（允许重复键） #

这最简单，直接用for推导式就能生成，因为for推导式默认返回列表：

n = 3
keyword_list = for x <- 1..n, y <- 1..n, do: {x, y}
# 或者更直观的写法，和你写的格式完全一致：
keyword_list = for x <- 1..n, y <- 1..n, do: {x => y}

运行后会得到：[1: 1, 1: 2, 1: 3, 2: 1, 2: 2, 2: 3, 3: 1, 3: 2, 3: 3]

场景B：生成真正的Map（键唯一） #

如果确实需要Map，得明确你的需求：

子场景1：每个键x对应最后一个y值（覆盖重复键）

用Enum.reduce来累加构建Map，因为它能把每次迭代的结果传递到下一次：

n = 3
map = Enum.reduce(1..n, %{}, fn x, acc ->
  Enum.reduce(1..n, acc, fn y, acc_inner ->
    Map.put(acc_inner, x, y)
  end)
end)
# 结果：%{1 => 3, 2 => 3, 3 => 3}

子场景2：每个键x对应所有y值的列表

如果想让每个键对应一组值，比如%{1 => [1,2,3], 2 => [1,2,3], 3 => [1,2,3]}，可以这样写：

n = 3
map = for x <- 1..n, into: %{}, do: {x, Enum.to_list(1..n)}
# 或者更简洁的：
map = %{for x <- 1..n, do: {x, 1..n |> Enum.to_list()}}

3. 为什么你的代码只保留初始值？ #

再回头看你的代码：即使你修正了初始化和更新的语法，内层循环里的map = Map.put(map, x, y)只是创建了一个新的Map，但这个新Map只存在于当前的循环迭代中，外层的原始map完全没有被修改——这就是Elixir不可变特性的表现，所有变量赋值都是创建新值，而不是修改旧值。

内容的提问来源于stack exchange，提问作者Edward Hasted