📅  最后修改于: 2020-11-04 05:51:41             🧑  作者: Mango
递归是Erlang的重要组成部分。首先,让我们看看如何通过实现阶乘程序来实现简单的递归。
-module(helloworld).
-export([fac/1,start/0]).
fac(N) when N == 0 -> 1;
fac(N) when N > 0 -> N*fac(N-1).
start() ->
X = fac(4),
io:fwrite("~w",[X]).
关于上述程序,需要注意以下几点:
我们首先定义一个称为fac(N)的函数。
我们可以通过递归调用fac(N)来定义递归函数。
上面程序的输出是-
24
在本节中,我们将详细了解递归的不同类型及其在Erlang中的用法。
可以通过一个用于确定列表长度的简单示例来查看更实用的递归方法。列表可以具有多个值,例如[1,2,3,4]。让我们使用递归来了解如何获取列表的长度。
例
-module(helloworld).
-export([len/1,start/0]).
len([]) -> 0;
len([_|T]) -> 1 + len(T).
start() ->
X = [1,2,3,4],
Y = len(X),
io:fwrite("~w",[Y]).
关于上述程序,需要注意以下几点:
如果列表为空,则将第一个函数len([])用于特殊情况。
匹配一个或多个元素列表的[H | T]模式,因为长度为1的列表将定义为[X | []] ,长度为2的列表将定义为[X | [Y | [ ]]] 。请注意,第二个元素是列表本身。这意味着我们只需要计算第一个元素,函数就可以在第二个元素上调用自身。给定列表中的每个值的长度为1。
上面程序的输出将是-
输出
4
要了解尾递归的工作原理,让我们了解上一节中的以下代码如何工作。
句法
len([]) -> 0;
len([_|T]) -> 1 + len(T).
1 + len(Rest)的答案需要找到len(Rest)的答案。然后,函数len(Rest)本身需要找到另一个函数的结果。这些添加项将被堆叠直到找到最后一个,然后才可以计算最终结果。
尾递归旨在通过减少操作的发生来消除这种操作堆叠。
为了实现这一点,我们需要在函数保存一个额外的临时变量作为参数。前面提到的临时变量有时称为累加器,用作存储计算结果的地方,以限制调用的增长。
让我们看一下尾递归的一个例子-
例
-module(helloworld).
-export([tail_len/1,tail_len/2,start/0]).
tail_len(L) -> tail_len(L,0).
tail_len([], Acc) -> Acc;
tail_len([_|T], Acc) -> tail_len(T,Acc+1).
start() ->
X = [1,2,3,4],
Y = tail_len(X),
io:fwrite("~w",[Y]).
上面程序的输出是-
输出
4
让我们看一个递归的例子。这次让我们编写一个函数,该函数将整数作为第一个参数,然后将任何其他项作为第二个参数。然后,它将创建一个与整数指定数量一样多的术语副本的列表。
让我们看一下这样的一个例子-
-module(helloworld).
-export([duplicate/2,start/0]).
duplicate(0,_) ->
[];
duplicate(N,Term) when N > 0 ->
io:fwrite("~w,~n",[Term]),
[Term|duplicate(N-1,Term)].
start() ->
duplicate(5,1).
上面程序的输出将是-
1,
1,
1,
1,
1,
在Erlang中可以使用递归没有任何限制。现在让我们快速看一下如何使用递归来反转列表的元素。可以使用以下程序来完成此操作。
-module(helloworld).
-export([tail_reverse/2,start/0]).
tail_reverse(L) -> tail_reverse(L,[]).
tail_reverse([],Acc) -> Acc;
tail_reverse([H|T],Acc) -> tail_reverse(T, [H|Acc]).
start() ->
X = [1,2,3,4],
Y = tail_reverse(X),
io:fwrite("~w",[Y]).
上面程序的输出将是-
[4,3,2,1]
关于上述程序,需要注意以下几点:
我们再次使用临时变量的概念将List的每个元素存储在称为Acc的变量中。
然后,我们递归调用tail_reverse ,但是这次,我们确保最后一个元素首先放在新列表中。
然后,我们为列表中的每个元素递归调用tail_reverse。