Elixir 中等号的确切含义是什么？

我不明白 Elixir 中的等号到底意味着什么。 不清楚的是它看起来像是赋值和模式匹配操作的混合。

iex(1)> x=4
4
iex(2)> y=5
5
iex(3)> 3=y
** (MatchError) no match of right hand side value: 5

iex(3)> y=3
3
iex(4)> y=x
4

据我了解，在 Elixir 中，等于运算符意味着将 = 符号的左侧与右侧匹配。前两行对我来说很有意义。 x 和 y 是未绑定变量，因此它们可以匹配任何内容。它们在匹配时就被绑定。因此，我理解了第三行。你无法将 3 与 5 匹配。

我开始失去理智的是为什么最后两行执行时没有给出相同的错误。看起来等号又回到了仅用作赋值运算符的状态。

我试图在没有完全理解的情况下接受这种行为作为事实，并试图进一步学习语言。但由于模式匹配是 Elixir 的核心机制之一，我不断地锁定并觉得我应该回到这个最初的问题。在我完全理解“=”符号到底发生了什么以及逻辑是什么之前，我不会再进一步​​。

等号的意思是：“尝试拟合表达式的值在右边shape在左边并相应地赋值”。所以左边和右边是不同的，你不能切换它们。在右边，所有变量都必须绑定，因为它是一个表达式。在左边，即使你使用的变量是已经绑定的它们将被重新分配。

首先，在右侧你可以有任何你想要的表达：

{:error, :enoent} = File.open("foo")

但左侧不能有表达式：

iex(1)> File.open("foo") = {:error, :enoent}
** (CompileError) iex:1: cannot invoke remote function File.open/1 inside match

的情况下

y=3
5=y # y gets evaluated to 3 and then you pattern match 3=5

它失败了。但你可以做

y=3
y=5 # y gets reassigned.

在左侧，您只能有“形状”，它可以是任意嵌套的数据结构：

[a, b, %{"a" => {1, c}}] = [1, 2, %{"a" => {1, 2}]
# c is now assigned value of 2

因此，模式匹配用于解构数据或断言某些条件，例如

case File.open("foo") do
  {:ok, contents} -> enjoy_the_file(contents)
  {:error, reason} -> print_error(reason)
end

或者，如果您想断言数据库中只有一个实体，而不是首先断言它存在，然后只有一个可以进行模式匹配：

[entity] = Repo.all(query)

如果要断言列表中的第一个值是 1，可以进行模式匹配：

[1 | rest] = [1, 2, 3]

模式匹配时存在一些问题。例如这个：

%{} = %{a: "a"}

会匹配，因为左侧的形状是地图，您不需要任何其他内容，因此任何地图都会匹配。但是这不会匹配：

%{a: "a"} = %{}

因为左边的形状说“给我一张带有原子键的地图:a.

如果你想匹配一个变量，你可以这样写：

a = 1
{a, b} = {2, 3}

但这将分配a值 2。相反，您需要使用 pin 运算符：

a = 1
{^a, b} = {2, 3} #match fails

我在这个答案中写了更多关于 pin 运算符的内容：“pin”运算符的用途是什么？Elixir 变量是否可变？