4  模式匹配

4 模式匹配

变量通过 **模式匹配** 机制绑定到值。模式匹配发生在评估函数调用、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