Erlang中的函数与流程控制介绍

浏览: 88 发布日期: 2016-08-21 分类: 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 ->

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

二、流程控制

case语句

case表达式允许在子句主体内部于多个选项中进行选择,语法如下:

复制代码 代码如下:

case Expr of
    Pattern1 [when Guard1] -> Seq1;
    Pattern2 [when Guard2] -> Seq2;
    ...
    PatternN [when GuardN] -> SeqN
end

首先,对Expr求值,然后,Expr的值将依次与模式Pattern1、Pattern2……PatternN进行匹配,直到匹配成功。如果找到一个匹配并且(可选的)的保护式成立,则对应的调用序列将被求值。注意case保护式与函数保护式形式相同。case原语的值就是被选中的序列的值。

至少得有一个模式必须得以匹配――否则就会产生一个运行时错误并引发第??章中的错误处理机制。

举个例子,比方说我们我有个函数allocate(Resource)用于分配某种资源Resource。假设这个函数只返回{yes, Address}或no。这样,这个函数便可以放在一个case结构里:

复制代码 代码如下:

...
case allocate(Resource) of
    {yes,Address} when Address > 0, Address =< Max ->
        Sequence 1 ... ;
    no ->
        Sequence 2 ...
end
...

在Sequence 1 ...中,变量Address已经