最近由于项目需求,接触到Erlang语言。相见恨晚,感觉这语言简直天生就是为服务器高并发、多线程而生。由于Erlang是一种函数式编程语言,进程之间通过消息机制通信,一开始学习的时候还有点不习惯,参考着《Erlang程序设计》和《Erlang编程指南》这两本书,慢慢的喜欢上了Erlang的编程风格。
本文就是最近两周看书心得,打算花两个月的时间写一写Erlang方面的随笔,称不上教程,权当项目学习一点记录,和大家分享。
Erlang中引入了一个比较特殊的结构--列表(List),是一种存储元素的集合。列表只要不为空,就能把他分为头部和尾部,头部就是第一个元素,尾部就是去掉头部剩下的部分。列表典型的构造器(constructor)可以这样表示:
[ Head | Tail ]
经常看到模块(Module)里面函数的实现会用递归调用(Recursion),就是函数的定义中使用函数自身的方法。下面的例子摘自《Erlang编程指南》
例子
bump()
首先是一个简单的例子,将一个整数列表内的元素,全部都加1,由于Erlang是单赋值语言,需要一个新的列表存储结果。
如果传进来的列表为[ ],则新列表也为[ ]
如果传进来的至少包括一个元素,我们可以把它分成[Head | Tail] 形式,只需要将Head加1,其余的Tail递归调用bump()函数即可,代码的描述为:
bump([ ]) -> [ ];
bump([Head | Tail]) -> [Head | bump(Tail)].
average()
接着看一个稍微复杂的,对一个数字列表求平均值,我们引入两个辅助函数sum()和len()
average(List) -> sum(List) / len(List)
sum(List)实现较为简单,参考bump()实现
sum([]) -> 0;
sum([Head|Tail]) -> Head + sum(Tail).
len(List)实现也很简单,初始化计数器为0,每次从头部移除一个元素,计数器加1,代码如下
len([]) -> 0;
len([_|Tail]) -> 1 + len(Tail).
这里使用“_”表示匹配任意变量,总是能把列表头部元素匹配上
代码
-module(recursion).
-export([bump/1, average/1, even/1, member/2]).
bump([]) -> [];
bump([Head|Tail]) ->
[Head+1| bump(Tail)].
average(List) ->
sum(List) / len(List).
sum([]) -> 0;
sum([Head|Tail]) -> Head + sum(Tail).
len([]) -> 0;
len([_|Tail]) -> 1 + len(Tail).
even([]) -> [];
even([Head|Tail]) when Head rem 2 == 0 ->
[Head|even(Tail)];
even([_|Tail]) ->
even(Tail).
member(_, []) -> false;
member(H,[H|_]) -> true;
member(H,[_|T]) ->
member(H,T).
测试结果
![](http://7xkwym.com1.z0.glb.clouddn.com/recursion.png)