Erlang 列表元组匹配

Question

我正在学习 Erlang 假设我有两个列表

[{a,a,a,b,c},{d,d,a,a,b},{a,b,c,d,e}]
[{{a,a,a,a,a},10},{{a,a,a,a},6},{{a,a,a},4}]

在模式匹配之后，预期结果 {a,a,a,b,c} 因为它可以匹配 {{a,a,a},4}

我尝试了 lists:keysearch 和 lists:member，但无法获得预期结果

有什么建议吗？

谢谢

Answer 1

匹配不是消耗性的。您对匹配工作原理的心智模型将集合操作（​​如集合减法和交集）与比较和赋值混淆了。您的集合操作概念也可能会从一些评论中受益。

Erlang 的匹配仅用于赋值和断言（一种比较）。如果我们将未绑定的变量（以前从未使用过）与任何值匹配，则该变量将被绑定（分配）该值：

Foo = {a,b,c}.

现在Foo 和{a,b,c} 可以互换使用。这是纯粹的符号赋值，就像在数学课中一样，而不是其他语言意义上的“变量”，其中变量是“值的存储箱”。

如果我们对任何值使用= 运算符并且这个现在绑定的符号Foo，我们正在做一个检查比较（一个断言）而不是一个赋值。 Foo 在当前上下文中不能表示除 {a,b,c} 之外的任何其他值，因此尝试为其分配任何不同的值会导致异常，但只需说明 {a,b,c} 是 {a.b.c} 是正确的，仍然会产生 {a,b,c} （并且由于Foo 现在是{a,b,c} 的符号，它可以出现在任一侧，但该语句仍然是正确的）。

在做

{a,b,c} = {a,b,c}.

或

{a,b,c} = Foo.

或

Foo = {a,b,c}.

返回{a,b,c}，并且不会引发异常，因为我们在这里所做的只是断言 {a,b,c} 确实是{a,b,c}。

如果我只想分配第一个值，我可以用另一种方式匹配：

{Bar,_,_} = {a,b,c}.

现在Bar 代表a，_ 值被忽略（完全跳过）。原来的{a,b,c}没有改变。如果我们这样做也是如此：

{_,Baz,_} = Foo.

现在Baz 代表b，而Foo 仍然代表{a,b,c}。就是这样。对于列表，例如[{a,b,c}, {1,2,3}]，我们仍然可以进行匹配，但是由于列表的性质，我们将一次检查一个片段（在解释器中尝试这个）：

Spam = [{a,b,c}, {1,2,3}].
[Boo | _] = [{a,b,c}, {1,2,3}].

现在Boo 代表{a,b,c}，而Spam 仍然代表它的原始列表。

这就是匹配的全部内容。 Erlang 模式匹配的神奇之处不在于它是如何工作的，而是它有多少地方为模式匹配提供了自然的机会，以及它如何自然地解决大量需要过程检查或其他语言直接赋值操作的问题（cond,函数参数，=，消息接收等）。

设置和列表操作与 Erlang 中的模式匹配不同。我建议先阅读一些基本的学习材料，比如许多不错的初学者教程和Learn You Some Erlang。