模式看起来与术语相同–它们可以是简单的字面量，例如原子和数字，也可以是诸如元组和列表的复合词，或两者的混合。它们还可以包含变量，这些变量是以大写字母或下划线开头的字母数字字符串。当您不关心要匹配的值并且不会使用它时，将使用特殊的“匿名变量” _(下划线)。

如果模式与被匹配的术语具有相同的“形状”，则该模式匹配，并且遇到的原子相同。例如，以下匹配成功-

• B = 1。
• 2 = 2。
• {ok，C} = {ok，40}。
• [H | T] = [1,2,3,4]。

请注意，在第四个示例中，用竖线(|)表示列表的开头和结尾，如条款中所述。另外请注意，左手边应与右手边相匹配，这是图案的正常情况。

以下模式匹配示例将失败。

• 1 = 2。
• {ok，A} = {失败，“不知道这个问题”}。
• [H | T] = []。

对于模式匹配运算符，失败会产生错误，然后流程退出。错误中将介绍如何捕获和处理此错误。模式用于选择将执行函数的哪个子句。