[ERLANG]：为什么答案返回列表而不是列表？

Question

给定模块

-module(p1). 

-export([f2/2]). 

f2([A, A | B]) -> {A, B}; 
f2([A, B | _]) -> {A, B}; 
f2([A]) -> A; 
f2(_) -> no_match. 

我被要求尝试输入值

 p1:f2([1,1,[1,1]]). 

我的回答是这个输入值与 f2 的第一个函数子句匹配，因此给了我们结果：

{1,[1,1]}

但是根据给定的答题卡，答案是

{1,[[1,1]]}

我无法完全理解为什么我们会在列表中获得列表，而不是在答案中获得列表。非常感谢您对此的解释，谢谢。

Answer 1

你应该看看头尾在 Erlang 中是如何工作的。尾巴总是一个列表；可以是单元素列表，也可以是空列表，但始终是列表。

让我们看看 shell 中的例子：

2> Fun = fun([H | T]) -> {H, T} end. 
#Fun<erl_eval.6.90072148>
3> Fun([a]).
{a,[]}
4> Fun([a,b]).
{a,[b]}
5> Fun([a,[a,b]]).
{a,[[a,b]]}
6> Fun([a,b,c]).  
{a,[b,c]}
7> Fun([a,b,c,d]).
{a,[b,c,d]}

所以在你的情况下，你返回的是A，它被重复1 和B，它是所有剩余元素的列表。在我们的例子中，只剩下一个元素，所以我们返回一个元素列表。而且这个元素是一个二元素列表，因此列表中的列表[[1, 1]]。