Erlang入門（五）——補遺

時搞不到《Programming Erlang》，最近就一直在看Erlang自帶的例子和Reference Manual。基礎語法方麵有一些過去遺漏或者沒有注意的，斷斷續續僅記於此。

1。Erlang的保留字有：

after and andalso band begin bnot bor bsl bsr bxor case catch cond div end fun if let not of or orelse query receive rem try when xor

基本都是些用於邏輯運算、位運算以及特殊表達式的符號

2.Erlang的類型，除了在前麵入門一提到的類型外，還包括：
1)Binary，用於表示某段未知類型的內存區域
比如：
1> <<10,20>>.
<<10,20>>
2> <<"ABC">>.
 <<65,66,67>>

2）Reference，通過調用mk_ref/0產生的運行時的unique term

3)String，字符串，Erlang中的字符串用雙引號包括起來，其實也是list。編譯時期，兩個鄰近的字符串將被連接起來，比如"string" "42" 等價於 "string42"

4)Record，記錄類型，與c語言中的struct類似，模塊可以通過-record屬性聲明，比如：
-module(person).
-export([new/2]).
-record(person, {name, age}).
new(Name, Age) ->
     #person{name=Name, age=Age}.
1> person:new(dennis, 44).
{person,dennis,44}
 在編譯後其實已經被轉化為tuple。可以通過Name#person.name來訪問Name Record的name屬性。

3.模塊的預定義屬性：
-module(Module).    聲明模塊名稱，必須與文件名相同
-export(Functions).   指定向外界導出的函數列表
-import(Module,Functions).   引入函數，引入的函數可以被當作本地定義的函數使用
-compile(Options).     設置編譯選項，比如export_all
-vsn(Vsn).         模塊版本，設置了此項，可以通過beam_lib:version/1 獲取此項信息
可以通過-include和-include_lib來包含文件，兩者的區別是include-lib不能通過絕對路徑查找文件，而是在你當前Erlang的lib目錄進行查找。

4.try表達式，try表達式可以與catch結合使用，比如：

try Expr

catch

throw:Term -> Term;

exit:Reason -> {'EXIT',Reason}

error:Reason -> {'EXIT',{Reason,erlang:get_stacktrace()}}

end


不僅如此，try還可以與after結合使用，類似java中的try..finally，用於進行清除作用，比如：

termize_file(Name) ->
{ok,F} = file:open(Name, [read,binary]),
try
{ok,Bin} = file:read(F, 1024*1024),
binary_to_term(Bin)
after
file:close(F)
end.


5.列表推斷（List Comprehensions），函數式語言特性之一，Erlang中的語法類似：

[Expr || Qualifier1,...,QualifierN]
Expr可以是任意的表達式，而Qualifier是generator或者filter。還是各舉例子說明下。

1>  [X*2 || X <- [1,2,3]].
[2,4,6]


2> L=[1,2,3,4,5,6,7].

[1,2,3,4,5,6,7]

3> [X|X<-L,X>=3].

[3,4,5,6,7]


再看幾個比較酷的例子，來自Programming Erlang，

比如快速排序：

-module(qsort).

-export([qsort/1]).

qsort([])->[];

qsort([Pivot|T])->

  qsort([X||X<-T,X<Pivot])

   ++ [Pivot] ++ 

  qsort([X||X<-T,X>=Pivot]).


搜索勾股數組：

%勾股數組

-module(pythag).

-export([pythag/1]).

pythag(N)->

    L=lists:seq(1,N),

    Square=fun(X) when is_number(X)->X*X end,

    [{A,B,C}||

        A<-L,

        B<-L,

        C<-L,

        A+B+C=<N,

        Square(A)+Square(B)=:=Square(C)].

列表推斷將大大減少你的敲擊鍵盤的次數。

 
6.宏，定義常量或者函數等等，語法如下：

-define(Const, Replacement).
-define(Func(Var1,...,VarN), Replacement).


使用的時候在宏名前加個問號？，比如?Const，Replacement將插入宏出現的位置。係統預定義了一些宏:
?MODULE   表示當前模塊名

?MODULE_STRING 同上，但是以字符串形式
?FILE    當前模塊的文件名
?LINE    調用的當前代碼行數
?MACHINE  機器名


Erlang的宏與C語言的宏很相似，同樣有宏指示符，包括：

-undef(Macro).

取消宏定義

-ifdef(Macro).

當宏Macro有定義的時候，執行以下代碼

-ifndef(Macro).

同上，反之

-else.

接在ifdef或者ifndef之後，表示不滿足前者條件時執行以下代碼

-endif.

if終止符

假設宏-define(Square(X),X*X).用於計算平方，那麼??X將返回X表達式的字符串形式，類似C語言中#arg

一個簡單的宏例子：
當編譯時不開啟debug選項的時候：
17> c(macros_demo).
{ok,macros_demo}
18> macros_demo:test().
square(3) is 9

當編譯時開啟debug之後：

19> c(macros_demo,{d,debug}).
{ok,macros_demo}
20> macros_demo:test().
{macros_demo,11}: 3
square(3) is 9
ok

可以看到LOG的輸出了，行數、模塊名以及參數
7、Process Dictionary，每個進程都有自己的process dictionary，用於存儲這個進程內的全局變量，可以通過下列
BIFs操作：
put(Key, Value)
get(Key)
get()
get_keys(Value)
erase(Key)
erase()

8、關於分布式編程，需要補充的幾點
1）節點之間的連接默認是transitive，也就是當節點A連接了節點B，節點B連接了節點C，那麼節點A也與節點C互相連接
可以通過啟動節點時指定參數-connect_all false來取消默認行為

2）隱藏節點，某些情況下，你希望連接一個節點而不去連接其他節點，你可以通過在節點啟動時指定-hidden選項
來啟動一個hidden node。在此情況下，通過nodes()查看所有連接的節點將不會出現隱藏的節點，想看到隱藏的節點
可以通過nodes(hidden)或者nodes(connected)來查看。

完整的erl選項如下：

-connect_all false	上麵已經解釋。
-hidden	啟動一個hidden node
-name Name	啟動一個係統成為節點，使用long name.
-setcookie Cookie	與Erlang:set_cookie(node(), Cookie).相同，設置magic cookie
-sname Name	啟動一個Erlang係統作為節點，使用short name

注意,short name啟動的節點是無法與long name節點通信的。

9.一個小細節，在Erlang中小於等於是用=<表示，而不是一般語言中的<=語法，我犯過錯誤的地方，同樣，不等於都是用/號，而不是
!,比如/=、=/=。

10.and or 和andalso orelse的區別

and和or會計算兩邊的表達式，而andalso和orelse的求值采用短路機製，比如exp1 andalso exp2，當exp1返回false之後，就不會去求值
exp2，而是直接返回false，而exp1 and exp2會對exp1和exp2都進行求值，or與orelse也類似。
 
今天在erlang-china下到了《Programming Erlang》，準備打印一份看看，進入OTP的學習。

文章轉自莊周夢蝶  ，原文發布時間2007-07-24