厨房计算器

元组

在 Elixir 中，元组是一种数据结构，用来组织数据。它可以容纳固定数量、任意类型的元素，但每个元素没有明确的名称。元组在 Elixir 中常用于对内存读取比较密集的操作，因为读取元素是一种常数时间的操作。当元素需要动态增删时通常不会使用元组，因为元组不会被修改，而是会创建一个新元组，这需要预先分配内存。

实际使用中，元组在 Elixir 里通过花括号创建。元组中的元素可以通过elem/2函数单独访问，下标从 0 开始：

empty_tuple = {}
one_element_tuple = {1}
multiple_element_tuple = {1, :a, "hello"}

elem(multiple_element_tuple, 2)
# => "hello"

用元组表示成组的信息

实践中，元组常用来表示成组的信息。

Float.ratio(0.25)
# => {1, 4} indicating the numerator and denominator of the fraction ¼

模式匹配

在断言式的、地道的 Elixir 代码中，模式匹配的使用非常普遍。你可能还记得，=/2被描述为匹配运算符，而不是赋值运算符。使用匹配运算符时，如果左边的模式与右边匹配，左边的变量就会被绑定，并返回右边的值。如果没有匹配，就会抛出MatchError。

2 = 2
# => 2
# Literals can be matched if they are the same

2 = 3
# => ** (MatchError) no match of right hand side value: 3

{_, denominator} = Float.ratio(0.25)
# => {1, 4}
# the variable `denominator` is bound to the value 4

记住，匹配是从右边向左边进行的。

在上一个例子中，如果模式匹配里不需要某个变量，我们可以用_来丢弃它。任何以_开头的变量都不会被运行时跟踪。

具名函数中的模式匹配

模式匹配也是创建多个函数子句时的有用工具。模式匹配可以用在函数的实参上，从而决定调用哪个函数子句，从文件顶部开始往下，直到遇到第一个匹配。变量可以在函数头中绑定，并在函数体中使用。

defmodule Example do
  def named_function(:a = variable_a) do
    {variable_a, 1}
  end

  def named_function(:b = variable_b) do
    {variable_b, 2}
  end
end

Example.named_function(:a)
# => {:a, 1}

Example.named_function(:b)
# => {:b, 2}

Example.named_function(:c)
# => ** (FunctionClauseError) no function clause matching in Example.named_function/1