当您在地图上进行操作时，Elixir 中是否会保留键和值的顺序？

假设我在 Elixir 中有一张地图：

m = %{"a"=>1, "b"=>2, "c" => 3}

如果我打电话Map.values(m)，我能保证返回值永远是[1, 2, 3]按这个顺序而不是说，[3, 1, 2]?

这是我从文档中不清楚的一件事。经过一些初步测试，我认为是的。

Elixir 和 Erlang 中的 Map 实现有一些令人困惑的属性。对于较小的条目值，它是一个排序的键列表，因此似乎具有您在简单实验中看到的属性。

超过一定数量的条目（我认为是 32 个），实现会切换到哈希数组映射 Trie，并且您看到的所有属性都会消失。在一般情况下，您不能依赖于映射的键或值的顺序。看

https://en.wikipedia.org/wiki/Hash_array_mapped_trie https://en.wikipedia.org/wiki/Hash_array_mapped_trie

了解 Map 底层结构的解释。

 iex(7)> 1..33 |> Enum.reduce(%{}, fn(x, acc) -> Map.put(acc,x,x) end )
%{11 => 11, 26 => 26, 15 => 15, 20 => 20, 17 => 17, 25 => 25, 13 => 13, 8 => 8,   7 => 7, 1 => 1, 32 => 32, 3 => 3, 6 => 6, 2 => 2, 33 => 33, 10 => 10, 9 => 9,   19 => 19, 14 => 14, 5 => 5, 18 => 18, 31 => 31, 22 => 22, 29 => 29, 21 => 21,   27 => 27, 24 => 24, 30 => 30, 23 => 23, 28 => 28, 16 => 16, 4 => 4, 12 => 12} 

iex(8)> Map.keys(v(7)) [11, 26, 15, 20, 17, 25, 13, 8, 7, 1, 32, 3, 6, 2, 33, 10, 9, 19, 14, 5, 18, 31,  22, 29, 21, 27, 24, 30, 23, 28, 16, 4, 12] 

iex(9)> Map.values(v(7)) [11, 26, 15, 20, 17, 25, 13, 8, 7, 1, 32, 3, 6, 2, 33, 10, 9, 19, 14, 5, 18, 31,  22, 29, 21, 27, 24, 30, 23, 28, 16, 4, 12]