首页 > 代码库 > Erlang点滴--try语句里的尾递归
Erlang点滴--try语句里的尾递归
像Erlang这种函数式编程语言，尾递归的使用对于减少栈开销是很重要的。尽管Erlang并不提倡防御式编程，但仍然提供了 try ... of ... catch ... after ... end 语句。这里有个需要注意的地方：try 语句模块里面的函数调用有可能无法形成尾递归。
下面是一个小实验：
1 -module(test). 2 -compile(export_all). 3 4 -define(LOOP_CNT, 10000000). 5 6 start_loop() -> 7 timer:tc(fun loop/1, [?LOOP_CNT]). 8 loop(N) when N =< 0 -> 9 erlang:process_info(erlang:self(), stack_size);10 loop(N) ->11 loop(N-1).12 13 start_try_loop() ->14 timer:tc(fun try_loop/1, [?LOOP_CNT]).15 try_loop(N) when N =< 0 ->16 erlang:process_info(erlang:self(), stack_size);17 try_loop(N) ->18 try try_loop(N-1) catch _:_ -> void end.19 20 start_of_loop() ->21 timer:tc(fun of_loop/1, [?LOOP_CNT]).22 of_loop(N) when N =< 0 ->23 erlang:process_info(erlang:self(), stack_size);24 of_loop(N) ->25 try N=N of _ -> of_loop(N-1) catch _:_ -> void end.26 27 start_catch_loop() ->28 timer:tc(fun catch_loop/1, [?LOOP_CNT]).29 catch_loop(N) when N =< 0 ->30 erlang:process_info(erlang:self(), stack_size);31 catch_loop(N) ->32 try N=e of _ -> void catch _:_ -> catch_loop(N-1) end.
实验结果印证了一开始的观点，仔细想想理应是这样的。
声明：以上内容来自用户投稿及互联网公开渠道收集整理发布，本网站不拥有所有权，未作人工编辑处理，也不承担相关法律责任，若内容有误或涉及侵权可进行投诉： 投诉/举报 工作人员会在5个工作日内联系你，一经查实，本站将立刻删除涉嫌侵权内容。