扁平化列表 Erlang 需要澄清

Question

flatten(X)               -> flatten(X,[]).

flatten([],Acc)          -> Acc;
flatten([[]|T],Acc)      -> flatten(T, Acc);
flatten([[_|_]=H|T],Acc) -> flatten(T, flatten(H,Acc));
flatten([H|T],Acc)       -> flatten(T,Acc++[H]) .

这是来自之前发布的帖子，而不是我的代码。

谁能解释一下这里发生了什么：

flatten([[_|_]=H|T],Acc)

[[_|_]=H|T] 是我没有得到的部分。

（这也在另一个页面上，但由于代表我无法评论它。）

Answer 1

[[_|_]=H|T] 匹配第一个元素也是非空列表的非空列表。

让我们分开：

[      H|T]   %% match the Head and Tail of a list
 [_|_]        %% match the head and tail of the inner list, ignoring the values
      =       %% assign the matched inner list to the variable H

这是 Erlang 中的常见模式。一个列表要么有零个元素，因此匹配[]，要么它至少有一个元素，在这种情况下，您可以使用[H|T] 提取第一个元素和列表的其余部分。 （那个匹配也可以写成[H] ++ T。）