Erlang 模式匹配顺序

Question

我在 Erlang 中编写了一个简单的函数，将元组转换为列表。但我不明白为什么模式匹配顺序在这里很重要：

示例

tupleToList(Tuple) -> tupleToList(Tuple, size(Tuple), []).
tupleToList(_, 0, L) -> L;
tupleToList(Tuple, S, L) -> tupleToList(Tuple, S - 1, [element(S, Tuple) | L]).

为什么下面的代码不正确？

tupleToList(Tuple) -> tupleToList(Tuple, size(Tuple), []).
tupleToList(Tuple, S, L) -> tupleToList(Tuple, S - 1, [element(S, Tuple) | L]);
tupleToList(_, 0, L) -> L.

Answer 1

因为that's how functions work in Erlang：

如果找到函数，则按顺序扫描函数子句，直到找到满足以下两个条件的子句：

• 子句头中的模式可以成功地与给定的参数匹配。
• 保护序列（如果有）为真。

由于变量匹配所有内容，并且没有保护序列，因此在考虑 tupleToList(_, 0, L) 之前，总是在第二种情况下选择 tupleToList(Tuple, S, L) 子句。