erlang的函数与流程控制【一】

一：函数

1：在Erlang中，【名字相同但参数数目不同】的两个函数是完全不同的函数。

2：其他模块内的函数用完全限定名称被调用：

-module(sort1).
-export([reverse_sort/1, sort/1]).

reverse_sort(L) ->
        lists1:reverse(sort(L)).
sort(L) ->
        lists:sort(L).

3：子句间以分号【;】分隔，在最后的结尾处以【.】结尾。

4：每个函数都由一组子句组成。子句间以分号“;”分隔。每个子句都包含一个子句头部、一个可选的保护式和子句主体。子句的头部包含一个函数名和一组以逗号分隔的参数当函数调用发生时，将会按顺序对函数定义中的子句头部依次进行匹配。对保护式求值时所有的断言都将被求值。若所有断言都为真，则保护式成立，否则就失败。保护式中各个断言的求值顺序是不确定的。
如果保护式成立，则会对子句的主体进行求值。如果保护式失败，则尝试下一个候选子句。一旦子句的头部和保护式都匹配成功，系统将指定这条子句并对其主体求值。子句首部模式与保护式的组合可以唯一确定一个正确的子句。

保护式断言的完整集合如下：

保护式成立条件atom(X)X是一个原子式constant(X)X不是列表或元组float(X)X是一个浮点数integer(X)X是一个整数list(X)X是一个列表或 []numberX是一个整数或浮点数pid(X)X是一个进程标识符port(X)X是一个端口reference(X)X是一个引用tuple(X)X是一个元组binary(X)X是一段二进制数据

另外，一些BIF和算术表达式的组合也可以作为保护式。它们是：

element/2, float/1, hd/1, length/1, round/1, self/0, ze/1
trunc/1,   tl/1, abs/1, node/1, node/0, nodes/0

可以出现在保护式中的项式比较运算符如下：

运算符描述类型X > YX大于YcoerceX < YX小于YcoerceX =< YX小于或等于YcoerceX >= YX大于或等于YcoerceX == YX等于YcoerceX /= YX不等于YcoerceX =:= YX等于YexactX =/= YX不等于Yexact

比较运算符工作机制如下：首先对运算符两边求值（如，在表达式两边存在算术表达式或包含BIF保护式函数时）；然后再进行比较。

为了进行比较，定义如下的偏序关系：

number < atom < reference < port < pid < tuple < list



元组首先按大小排序，然后再按元素排序。列表的比较顺序是先头部，后尾部。

如果比较运算符的两个参数都是数值类型且运算符为coerce型，则如果一个参数是integer另一个是float，那么integer将被转换为float再进行比较。

exact类型的运算符则不做这样的转换。

因此5.0 == 1 + 4为真，而5.0 =:= 4 + 1为假。

保护函数子句示例：

foo(X, Y, Z) when integer(X), integer(Y), integer(Z), X == Y + Z ->
foo(X, Y, Z) when list(X), hd(X) == {Y, length(Z)}  ->
foo(X, Y, Z) when {X, Y, size(Z)} == {a, 12, X} ->
foo(X) when list(X), hd(X) == c1, hd(tl(X)) == c2 ->

注意在保护式中不可引入新的变量。