面对软件错误构建可靠的分布式系统_笔记02

3.3 Erlang顺序化编程
3.3.1 数据结构：8种原始的数据类型＋2扩展类型
(1)整数integer：
(2)浮点数float：
(3)原子atom: 字母打头的小写字符串，类似枚举类型。如果单引号包括，则可以有空格:'a atom'
(4)二进制数binary: 二进制存储空间, <<1,2,3>>
(5)字符串：双引号包括的字符串 "cat"，实质是ASCII码。比如"cat"实质为[97,99,116]
(6)引用reference:全局唯一的符号，只用来比较两个引用是否相等，可以调用mak_ref()生成
(7)Pid：进程标识符，由spawn()创建，是对进程的引用
(8)端口port：消息通过端口收发，必须遵守端口协议规则，通过open_port()创建

(9)元组tuple:包含固定个数的数据容器: {D1,D2,...Dn}，这些参数类型不限。类似于数组
(10)列表list：可变个数的数据容器，[D1, D2, ...Dn]， []为空列表，[Dh|Dt]第一个元素为表头，后面的为表尾
(11)记录：对元组提供了方便的访问方式，用名字，而不用序数表示元组某个元素
(12)匿名函数fun:函数包，表达式 fun(...) -> ... end. 创建

3.3.2变量
(1)大写字符串开头，可以包括数字和'_'线。
(2)要么未绑定，要么已经绑定，绑定后不能修改：
X = 5.
X1 = X + 10. 不能是 X = X + 10;

3.3.3 项式term与模式pattern
(1)模式匹配：

3.3.4保护式guard
(1)保护模式：类似if判断,关键字when
T1 二元运算符 T1 二元运算符：> < =< >= == /= =:= =/=
eg: {P, abc, 123} when P == G

3.3.5扩展模式匹配

3.3.6函数
规则：
(1) 整个函数由'.'结束，函数如果有多个"重载"形式（函数名称相同，函数模式不同），则由多个';'分隔的子句组成。
(2)一个子句组成： 头(模式) when 保护式 -> 函数体;
头模式由,分隔，函数体由','分隔, 保护式由,分隔
就是说： ,级别最低函数体内部用，;级别其次函数子句间用(receive模式匹配也用;)，.最高函数结束用
头模式中的"_"表示匿名匹配，不会绑定变量，相当于忽略掉一项
FunctionName(P1, P2,...PN) when G1, G2, .. GN ->
Body1a,
Body1b,
Body1c;
FunctionName(Q1, Q2,... QN) when H1,H2,...HN ->
Body2;
FunctionName(R1, R2, ...RN) ->
Body3.
eg:
factorial(0) -> 1;
factorial(N) -> N * factorail(N-1).
eg: 取表达式 member(dog,[cat,man,dog,ape]);
member(H, [H1|_]) when H == H1 -> true; //相当于当列表前两个相同时，返回true，结束
member(H, (_|T]) -> member(H,T); //相当于如果前两个不同时，跳过一个，往下比较
member(H,[]) ->false; //列表结束后，返回false
整个函数，查找列表中是否有和待测元素相同的值
eg:
loop(Name, F, State) ->
receive
stop -> void; //相当于不同模式匹配，不同的函数处理，因此用;
{Pid, Query} -> {Reply, State1} = F(Query, State),
Pid ! {Name, Reply},
loop(Name, F, State1)
end.

3.3.7函数体
多个表达式时，最后一个的值是整个函数的返回值
eg:
deposit(Who, Money) ->
Old = lookup(Who),
New = Old + Money,
Insert(Who, New),
New.

3.3.8尾递归
以调用自己结尾的， 就是尾递归。常用在无限循环结构中，不消耗栈空间。
eg：非尾递归
factorial(0) -> 1;
factorial(N) -> N*factorial(N-1).
改为尾递归
factorial(N) -> factorial_1(N, 1).
facotrail_1(0, X) -> X;
factorail_1(N, X) ->factorial_1(N-1, X*N).

3.3.9特殊形式
case和if

3.3.10 case语句
case形式：
case Expression of
Pattern1 -> Expr_seq1;
Pattern2 -> Expr_seq2;
....
end.

3.3.11 if语句
if
Guard1 -> Expr_seq1;
Guard2 -> Expr_seq2;
......
end.
按顺序取值，如果Guard1返回true，则整个if返回，如果没有则继续Gurad2，如果全没有，则抛出异常