4-模式匹配

    在Elixir中，运算符实际上叫做 匹配运算符。
    本章将讲解如何使用=运算符来对各种数据结构进行模式匹配。
    最后本章还会讲解pin运算符(^)，用来访问某变量之前绑定的值。

    我们已经多次使用=符号进行变量的赋值操作：

    在Elixir中，=作为 匹配运算符。下面来学习这样的概念：

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

    注意1 = x是一个合法的表达式。
    由于前面的例子给x赋值为1，因此在匹配时左右相同，所以它匹配成功了。而两侧不匹配的时候，MatchError将被抛出。

    变量只有在匹配操作符=的左侧时才被赋值：

    1. iex> 1 = unknown
    2. ** (RuntimeError) undefined function: unknown/0

    错误原因是unknown变量没有被赋过值，Elixir猜你想调用一个名叫unknown/0的函数，
    但是找不到这样的函数。

    >
    变量名在等号左边，Elixir认为是赋值表达式；变量名放在右边，Elixir认为是拿该变量的值和左边的值做匹配。

    匹配运算符不光可以匹配简单数值，还能用来 解构 复杂的数据类型。例如，我们在元组上使用模式匹配：

    1. iex> {a, b, c} = {:hello, "world", 42}
    2. {:hello, "world", 42}
    3. iex> a
    4. :hello
    5. iex> b
    6. "world"
    1. iex> {a, b, c} = {:hello, "world"}
    2. ** (MatchError) no match of right hand side value: {:hello, "world"}

    或者两端模式有区别（比如两端数据类型不同）：

    利用“匹配”的这个概念，我们可以匹配特定值；或者在匹配成功时，为某些变量赋值。

    下面例子中先写好了匹配的左端，它要求右端必须是个元组，且第一个元素是原子:ok。

    1. iex> {:ok, result} = {:ok, 13}
    3. iex> result
    5. iex> {:ok, result} = {:error, :oops}
    6. ** (MatchError) no match of right hand side value: {:error, :oops}

    用在列表上：

    1. iex> [a, 2, 3] = [1, 2, 3]
    2. [1, 2, 3]
    3. iex> a
    4. 1

    列表支持匹配自己的head和tail
    （这相当于同时调用hd/1和tl/1，给head和tail赋值）：

    1. iex> [head | tail] = [1, 2, 3]
    2. [1, 2, 3]
    3. iex> head
    4. 1
    5. iex> tail
    6. [2, 3]

    同hd/1和tl/1函数一样，以上代码不能对空列表使用：

    2. ** (MatchError) no match of right hand side value: []

    >
    [head|tail]这种形式不光在模式匹配时可以用，还可以用作向列表插入前置数值：

    模式匹配使得程序员可以容易地解构数据结构（如元组和列表）。
    在后面我们还会看到，它是Elixir的一个基础，对其它数据结构同样适用，比如图和二进制。

    • 模式匹配使用=符号
    • 匹配中等号左右的“模式”必须相同
    • 变量在等号左侧才会被赋值
    • 变量在右侧时必须有值，Elixir拿这个值和左侧相应位置的元素做匹配

    在Elixir中，变量可以被重新绑定：

    1. iex> x = 1
    2. iex> x = 2
    3. 2

    如果你不想这样，可以使用pin运算符(^)。
    加上了pin运算符的变量，在匹配时使用的值是本次匹配前就赋予的值：

    1. iex> x = 1
    2. 1
    3. iex> ^x = 2
    4. ** (MatchError) no match of right hand side value: 2
    5. iex> {x, ^x} = {2, 1}
    6. {2, 1}
    7. iex> x
    8. 2

    注意如果一个变量在匹配中被引用超过一次，所有的引用都应该绑定同一个模式：

    1. iex> {x, x} = {1, 1}
    2. 1
    3. iex> {x, x} = {1, 2}
    4. ** (MatchError) no match of right hand side value: {1, 2}

    有些时候，你并不在意模式匹配中的一些值。
    可以把它们绑定到特殊的变量 “ _ ” (underscore)上。
    例如，如果你只想要某列表的head，而不要tail值。你可以这么做：

    1. iex> [h | _ ] = [1, 2, 3]
    2. [1, 2, 3]
    3. iex> h
    4. 1

    变量“ _ ”特殊之处在于它不能被读，尝试读取它会报“未绑定的变量”错误：

    尽管模式匹配看起来如此牛逼，但是语言还是对它的作用做了一些限制。
    比如，你不能让函数调用作为模式匹配的左端。下面例子就是非法的：

    1. iex> length([1,[2],3]) = 3

    模式匹配介绍完了。 在以后的章节中，模式匹配是常用的语法结构。