查看源代码 模式匹配

模式匹配

变量通过模式匹配机制绑定到值。模式匹配发生在评估 case, receive, try 和匹配运算符 (=) 表达式时。

在模式匹配中，左侧的模式与右侧的项进行匹配。如果匹配成功，则模式中任何未绑定的变量都会被绑定。如果匹配失败，则会引发异常。

示例

1> X.
** 1:1: variable 'X' is unbound **
2> X = 2.
2
3> X + 1.
3
4> {X, Y} = {1, 2}.
** exception error: no match of right hand side value {1,2}
5> {X, Y} = {2, 3}.
{2,3}
6> Y.
3