Erlang中的函數(shù)與流程控制介紹

更新時間：2015年01月07日 09:23:50 投稿：junjie

這篇文章主要介紹了Erlang中的函數(shù)與流程控制介紹,本文先是講解了函數(shù)的一些知識,然后講解了case語句和if語句及算術(shù)表達式等內(nèi)容,需要的朋友可以參考下

一：函數(shù)

1：在Erlang中，【名字相同但參數(shù)數(shù)目不同】的兩個函數(shù)是完全不同的函數(shù)。

2：其他模塊內(nèi)的函數(shù)用完全限定名稱被調(diào)用：

復(fù)制代碼代碼如下:

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

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

3：子句間以分號【;】分隔，在最后的結(jié)尾處以【.】結(jié)尾。

4：每個函數(shù)都由一組子句組成。子句間以分號“;”分隔。每個子句都包含一個子句頭部、一個可選的保護式和子句主體。子句的頭部包含一個函數(shù)名和一組以逗號分隔的參數(shù)當函數(shù)調(diào)用發(fā)生時，將會按順序?qū)瘮?shù)定義中的子句頭部依次進行匹配。對保護式求值時所有的斷言都將被求值。若所有斷言都為真，則保護式成立，否則就失敗。保護式中各個斷言的求值順序是不確定的。

如果保護式成立，則會對子句的主體進行求值。如果保護式失敗，則嘗試下一個候選子句。一旦子句的頭部和保護式都匹配成功，系統(tǒng)將指定這條子句并對其主體求值。子句首部模式與保護式的組合可以唯一確定一個正確的子句。

保護式斷言的完整集合如下：

保護式	成立條件
atom(X)	X 是一個原子式
constant(X)	X 不是列表或元組
float(X)	X 是一個浮點數(shù)
integer(X)	X 是一個整數(shù)
list(X)	X 是一個列表或 []
number	X 是一個整數(shù)或浮點數(shù)
pid(X)	X 是一個進程標識符
port(X)	X 是一個端口
reference(X)	X 是一個引用
tuple(X)	X 是一個元組
binary(X)	X 是一段二進制數(shù)據(jù)

另外，一些BIF和算術(shù)表達式的組合也可以作為保護式。它們是：

復(fù)制代碼代碼如下:

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

可以出現(xiàn)在保護式中的項式比較運算符如下：

運算符	描述	類型
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

比較運算符工作機制如下：首先對運算符兩邊求值（如，在表達式兩邊存在算術(shù)表達式或包含BIF保護式函數(shù)時）；然后再進行比較。

為了進行比較，定義如下的偏序關(guān)系：

復(fù)制代碼代碼如下:

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

元組首先按大小排序，然后再按元素排序。列表的比較順序是先頭部，后尾部。

如果比較運算符的兩個參數(shù)都是數(shù)值類型且運算符為coerce型，則如果一個參數(shù)是integer另一個是float，那么integer將被轉(zhuǎn)換為float再進行比較。

exact類型的運算符則不做這樣的轉(zhuǎn)換。

因此5.0 == 1 + 4為真，而5.0 =:= 4 + 1為假。
保護函數(shù)子句示例：

復(fù)制代碼代碼如下:

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表達式允許在子句主體內(nèi)部于多個選項中進行選擇，語法如下：

復(fù)制代碼代碼如下:

case Expr of

    Pattern1 [when Guard1] -> Seq1;

    Pattern2 [when Guard2] -> Seq2;

    ...

    PatternN [when GuardN] -> SeqN

end

首先，對Expr求值，然后，Expr的值將依次與模式Pattern1、Pattern2……PatternN進行匹配，直到匹配成功。如果找到一個匹配并且（可選的）的保護式成立，則對應(yīng)的調(diào)用序列將被求值。注意case保護式與函數(shù)保護式形式相同。case原語的值就是被選中的序列的值。

至少得有一個模式必須得以匹配——否則就會產(chǎn)生一個運行時錯誤并引發(fā)第??章中的錯誤處理機制。

舉個例子，比方說我們我有個函數(shù)allocate(Resource)用于分配某種資源Resource。假設(shè)這個函數(shù)只返回{yes, Address}或no。這樣，這個函數(shù)便可以放在一個case結(jié)構(gòu)里：

復(fù)制代碼代碼如下:

...

case allocate(Resource) of

    {yes,Address} when Address > 0, Address =< Max ->

        Sequence 1 ... ;

    no ->

        Sequence 2 ...

end

...

在Sequence 1 ...中，變量Address已經(jīng)被綁定在了allocate/1的返回結(jié)果上。

為了避免匹配錯誤的發(fā)生，我們常常追加一個必會匹配的模式作為case原語的最后一個分支：

復(fù)制代碼代碼如下:

case Fn of

    ...

    _ ->

        true

end

IF

if表達式的語法如下：

復(fù)制代碼代碼如下:

if

    Guard1 ->

        Sequence1 ;

    Guard2 ->

        Sequence2 ;

    ...

end

在這種情況下，保護式Guard1,...將被依次求值。如果一個保護式成立則對與之關(guān)聯(lián)的序列求值。該序列的求值結(jié)果便是if結(jié)構(gòu)的結(jié)果。if保護式與函數(shù)保護式形式相同。與case相同，一個保護式都不成立的話將引發(fā)一個錯誤。如果需要，可以增加保護式斷言true作為垃圾箱：

復(fù)制代碼代碼如下:

if

    ...

    true ->

        true

end

算術(shù)表達式

算術(shù)表達式由以下運算符構(gòu)成：

運算符	描述	類型	操作數(shù)類型	優(yōu)先級
+ X	+ X	單目	混合	1
- X	- X	單目	混合	1
X * Y	X * Y	雙目	混合	2
X / Y	X / Y （浮點除法）	雙目	混合	2
X div Y	X 整除Y	雙目	整數(shù)	2
X rem Y	X 除以Y 的余數(shù)	雙目	整數(shù)	2
X band Y	X 與Y 的位與	雙目	整數(shù)	2
X + Y	X + Y	雙目	混合	3
X - Y	X - Y	雙目	混合	3
X bor Y	X 與Y 位或	雙目	整數(shù)	3
X bxor Y	X 與Y 的位算數(shù)異或	雙目	整數(shù)	3
X bsl N	X 算數(shù)左移N 位	雙目	整數(shù)	3
X bsr N	X 右移N 位	雙目	整數(shù)	3