保護式 | 成立條件 |
---|---|
atom(X) | X 是一個原子式 |
constant(X) | X 不是列表或元組 |
float(X) | X 是一個浮點數(shù) |
integer(X) | X 是一個整數(shù) |
list(X) | X 是一個列表或 [] |
number | X 是一個整數(shù)或浮點數(shù) |
pid(X) | X 是一個進程標(biāo)識符 |
port(X) | X 是一個端口 |
reference(X) | X 是一個引用 |
tuple(X) | X 是一個元組 |
binary(X) | X 是一段二進制數(shù)據(jù) |
另外,一些BIF和算術(shù)表達式的組合也可以作為保護式。它們是:
運算符 | 描述 | 類型 |
---|---|---|
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)系:
元組首先按大小排序,然后再按元素排序。列表的比較順序是先頭部,后尾部。
如果比較運算符的兩個參數(shù)都是數(shù)值類型且運算符為coerce型,則如果一個參數(shù)是integer另一個是float,那么integer將被轉(zhuǎn)換為float再進行比較。
exact類型的運算符則不做這樣的轉(zhuǎn)換。
因此5.0 == 1 + 4為真,而5.0 =:= 4 + 1為假。
保護函數(shù)子句示例:
二、流程控制
case語句
case表達式允許在子句主體內(nèi)部于多個選項中進行選擇,語法如下:
至少得有一個模式必須得以匹配——否則就會產(chǎn)生一個運行時錯誤并引發(fā)第??章中的錯誤處理機制。
舉個例子,比方說我們我有個函數(shù)allocate(Resource)用于分配某種資源Resource。假設(shè)這個函數(shù)只返回{yes, Address}或no。這樣,這個函數(shù)便可以放在一個case結(jié)構(gòu)里:
在Sequence 1 ...中,變量Address已經(jīng)被綁定在了allocate/1的返回結(jié)果上。
為了避免匹配錯誤的發(fā)生,我們常常追加一個必會匹配的模式作為case原語的最后一個分支:
IF
if表達式的語法如下:
算術(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 |
單目 運算符有一個參數(shù),雙目 運算符有兩個參數(shù)。混合 意味著參數(shù)即可以是integer 也可以是float 。單目運算符的返回值與其參數(shù)類型相同。
雙目混合運算符(即* 、- 、+ )在參數(shù)都是integer 時返回類型為integer 的對象,在參數(shù)至少包含一個float 時返回一個float 。浮點除法運算符/ 總是返回一個float 。
雙目整數(shù)運算符(即band 、div 、rem 、bor 、bxor 、bsl 、bsr )的參數(shù)必須是整數(shù),其返回值也是整數(shù)。
求值順序取決于運算符的優(yōu)先級:首先計算第1優(yōu)先級的運算符,然后是第2優(yōu)先級,以此類推。括號內(nèi)的表達式優(yōu)先求值。
優(yōu)先級相同的運算符從左到右進行求值。
標(biāo)簽:濟寧 汕頭 臺州 泰安 武威 廣東 安徽 濟源
巨人網(wǎng)絡(luò)通訊聲明:本文標(biāo)題《Erlang中的函數(shù)與流程控制介紹》,本文關(guān)鍵詞 Erlang,中的,函數(shù),與,流程,;如發(fā)現(xiàn)本文內(nèi)容存在版權(quán)問題,煩請?zhí)峁┫嚓P(guān)信息告之我們,我們將及時溝通與處理。本站內(nèi)容系統(tǒng)采集于網(wǎng)絡(luò),涉及言論、版權(quán)與本站無關(guān)。