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 是一个列表或 []
number	X 是一个整数或浮点数
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 > Y	X 大于Y	coerce
X < Y	X 小于Y	coerce
X =< Y	X 小于或等于Y	coerce
X >= Y	X 大于或等于Y	coerce
X == Y	X 等于Y	coerce
X /= Y	X 不等于Y	coerce
X =:= Y	X 等于Y	exact
X =/= Y	X 不等于Y	exact

比较运算符工作机制如下：首先对运算符两边求值（如，在表达式两边存在算术表达式或包含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 ->

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