Erlang 函数式编程之模式匹配（上）

“=” 操作符

上篇文章说到 Erlang 的变量是一次性赋值变量，可以使用 “=” 操作符给变量绑定一个值（这个时候我使用“绑定”而非“赋值”）。但其实 “=” 在 Eralng 中却并不是一个赋值操作符，虽然它表现的就像赋值操作符一样，但它实际上是一个模式匹配操作符。

表达式

  Lhs = Rhs.

表示的意思是：计算右值（Rhs），然后把结果与左值（Lhs）的模式相匹配，表达式的值为右值。

变量绑定

在 Erlang 中，变量获得值其实是一次成功的模式匹配操作的结果。变量是模式的一种简单形式，当第一次出现

  X = RadomExpression.

时，Erlang 的逻辑是，要如何做才能使这条语句成立？因为 X 还没有绑定值，若 X 绑定 RadomExpression 这个值语句就成立了。所以 X 的值就绑定了 RadomExpression。若之后又出现

  X = AnotherRadomExpression.

时，那么只有 RadomExpression 和 AnotherRadomExpression 相等的情况下匹配才会成功。

提取元组的元素

将一定数量的项组成在一起，就形成了一个单一的实体，并且若干个项之间使用逗号隔开，形成的整个实体使用 {} 括起来，这样就形成了一个元组。这个元组的概念有点类似 C 语言中的结构体。一旦元组创建之后，元组项的个数就不能再变化了。元组也是一个原子。

如果有下面这么一个元组：

Point = { point, 11, 44 }.

想要提取 Point 里面的字段到变量 X 和变量 Y，就要这样做：

{ point, X, Y } = Point

注意：“=” 符号两边的元素结构必须相同，才能匹配成功。

提取列表的元素

将不定数量的项组在一起，再加上 [ ] 括号，就形成了列表。列表的每一项可以是元组，也可以仍是列表，即列表是可以允许嵌套使用的。如果 T 是一个列表，那么 [H|T] 也是一个列表，它的头是 H，尾是 T。[] 表示空列表。

如果有一个非空列表 L，那么表达式 [X|Y] = L（X 和 Y 都是未绑定变量）就会提取列表头绑定 X，列表尾绑定 Y。

提取记录的元素

记录是元组的另一种形式，记录其实就是元组。
如果有下面这样一个记录

-record(re, {
              key0 = k0,
              key1 = k1,
              key2 = k2,
              key3,  
             })
K = #re.

提取记录的多个字段：

#re{key0 = K0, key1 = K1, key2 = K2, key3 = K3} = K.

结果如下图

我是图

提取映射组中键值对的值

其实使用模式匹配提取值的用法都差不多，在这里就不赘述如何提取映射组中键值对的值的做法了。

总结

模式匹配是 Erlang 的根基，它被用于从数据结构中提取值，控制函数内部的流程，在并行程序中给进程发消息，选择处理那些消息。本篇只是简单描述了一点 Erlang 语言中模式匹配的基本用法——从数据结构中提取值，我们会在下篇深入模式匹配的一些根植于 Erlang 编程语言内部的更加不同于我们日常中或者说在学校里面所接触到的面向对象编程的用法。