使用递归反向列表

Question

我正在写一本关于Erlang的书的例子。 这是任务：不使用BIF编写反向函数。

这是我所做的：

reverse([H | T]) -> [reverse(T) | [H]];
reverse([]) -> [].

这是此函数返回的内容：

(emacs@localhost)3> examples:reverse([1, 2, 3]).
[[[[],3],2],1]

我不明白如何使它返回扁平化列表[3, 2, 1] 3，2，1 [3, 2, 1] 。 有可能吗？

Answer 1

在语法[H | T]中，H是一个元素，T是一个列表（至少对于proplist而言），在您的代码中[reverse(T) | [H]] [reverse(T) | [H]]创建一个列表，其中第一个元素是reverse(T)的结果，而尾部是单个元素列表[H] 。

如果要通过这种方式实现功能，则应使用fenollp提出的语法。

如果要编写高效的代码，则应避免对部分结果进行多次中间复制，并避免进行非尾部递归调用 （以限制调用堆栈的大小：

reverse(L) -> reverse(L,[]). % use an accumulator to create a tail recursive function

reverse([],R) -> R;
reverse([H|T],R) -> reverse(T,[H|R]). % all [H|R] can be fully evaluated before recursively calling reverse
                                      % this is what is called a tail recursive function
                                      % in addition, the construction of [H|T]
                                      % does not require to make a copy of T

Answer 2

正如您所说，您只需要展平。

因此，可以在您的示例：reverse / 1函数之后使用lists：append / 1，或替换reverse([H | T]) -> [reverse(T) | [H]]; reverse([H | T]) -> [reverse(T) | [H]]; 用reverse([H | T]) -> reverse(T) ++ [H]; 。

然后，代码在算法上变得非常低效，这就是为什么list：reverse / 1,2是BIF。

Answer 3

您可以使用折叠：

lists:foldl(fun(X, Acc) -> [X | Acc] end, [], [1,2,3]).

Answer 4

您不必将结果放在列表中。 这对我来说很好：

reverse([]) -> [];
reverse([H | T]) -> reverse(T) ++ [H].