[Erlang 0050]用fun在Erlang Shell中编写尾递归

friendlessstar

　　   平时在Erlang Shell中写demo的时候,经常会用到fun , List Comprehensions 快速构造测试条件,能不创建代码文件就不创建.比如在[Erlang 0014]Erlang垃圾回收机制的时候,通过下面的方法来考察进程占用多少内存:



1> Fun= fun()-> receive after infinity -> ok end end.   %创建一个无限等待的Fun
#Fun
2>  {_,Bytes}=process_info(spawn(Fun),memory).     %创建一个进程并查看其内存信息
{memory,1332}
3>   Bytes div erlang:system_info(wordsize).               %计算下这个进程占用多少字(word) 32系统为4 64位系统为8
333
4>


List Comprehensions的更是强大,官方文档:http://www.erlang.org/doc/programming_examples/list_comprehensions.html


另外列表解析可以在Erlang Shell中方便的实现for循环和if




12> [io:format("abc")|| _ E=34.
34
14> [io:format("abc")|| E>35].            
[]
15> [io:format("abc")|| E>32].
abc[ok]
16>
一个看看这个有意思的例子:[Erlang 0049] 哈哈,一起来打印三角形



快速创建ETS




Eshell V5.9  (abort with ^G)
1> ets:new(tab,[named_table]).
tab
2> [ets:insert(tab,{X,Y,Z}) || X Fun =fun(X)  when X rem 2==0 ->X; (X) -> X+1 end .
#Fun
2> Fun(1).
2
3> Fun(2).
2
4> Fun(3).
4
5>

但是在Erlang Shell里面怎么写尾递归呢?思考的起点就从上面的代码开始




1>  Fun =fun(X)  when X rem 2==0 ->X; (X) -> X+1 end .
#Fun
2>  F1 =fun(X)  when X rem 2==0 ->X; (X) -> (X+1) end .
#Fun
3> F1(5).
6
4>  F2 =fun(X)  when X rem 2==0 ->X; (X) -> (X+7) end .
#Fun
5> F2(5).
12

可以看到在一个参数的时候,上面的代码是可以的,啊哈,不错,那两个参数的情况是不是正常呢?



6> F3 = fun(X,Y) when Yio:format("~p,",[X+Y]), (Y,X+Y); (X,Y)-> done end.
* 1: syntax error before: ','
7> F3 = fun(X,Y) when Yio:format("~p,",[X+Y]), (Y,X+Y); (X,Y)-> done end.
* 1: syntax error before: ','
8> F1 =fun(X,Y) when X rem 2==0 ->{X,Y}; (X) -> (X+7,Y) end .
* 1: syntax error before: ','
7>




结果让人失望,会有语法错误,那没有参数的情况呢?




8> F5=fun() -> receive {echo,Msg} -> {received,Msg},() ; stop ->stop end end.
* 1: syntax error before: ')'  

　　

　　

　　


如果要达到我们的目标,要把尾递归要执行的当前方法作为参数传进去,几番折腾,终于搞出来了:




8>  F7 = fun(F,X,Y) when Yio:format("~p,",[X+Y]), F(F,Y,X+Y); (F,X,Y)->
done end.
#Fun

马上写一个有意义的demo出来看看,输出一下斐波那契数列吧Fibonacci Sequence




1> Func = fun(F, X,Y) when Yio:format("~p,",[X+Y]), F(F,Y,X+Y); (F,X,Y)-> done end.
#Fun
2> Func(Func,0,1).
1,2,3,5,8,13,21,34,55,89,144,233,377,610,987,1597,2584,4181,6765,10946,done
4>


注意实现尾递归调用的地方,以及调用的方法.


那么没有参数的情况也就水到渠成了:




12>  Fn= fun(F)-> receive {echo,Msg} -> io:format("~p received.~n",[Msg]),F(F);s
top-> stop end end.
#Fun
13> P4=spawn(fun() -> Fn(Fn) end).

14> is_process_alive(P4).
true
15> P4!{echo,12}.
12 received.
{echo,12}
16> P4!{echo,hello }.
hello received.
{echo,hello}
17> is_process_alive(P4).
true
18>



yahooooooooo! 开心!!

回头再看

当问题解决之后,回头审视思考的过程,发现思考的起点定位在了在Erlang Shell中写尾递归,根据这个线索没有在搜索引擎中得到帮助信息.而本质上我要解决的问题是:使用fun实现尾递归 按照这个思路,我找到了同路人:
http://stackoverflow.com/questions/867418/how-do-you-write-a-fun-thats-recursive-in-erlang/867525
在着手解决问题之前,思考一下问题的本质,可以帮助我们更快的找到答案!