Erlang学习记录(三)——表达式大集合

Erlang中的表达式必须以.结束才会去执行。如果不加.你在编译环境下按多少次Enter，表达式都不会执行，表达式之间可以用,分隔，以.结尾后所有的表达式都会执行，但是只有最后一个以.结尾的表达式会在编译器中输出执行的结果。

一.值是表达式

任何类型的值都是表达式。如：

1.3.5.true.

 

二.计算表达式

任何类型的值的计算是表达式。

1.算术表达式

+     正号
-      负号
+     加
-     减
*     乘
/     浮点除
bnot  按位求反  bnot (-12) = 11
div    整除
rem   求余
band  &
bor    |
bxor  按位异或
bsl    按位左移 2#11 bsl 1 = 2#110.
bsr    按位右移 2#110 bsr 1 = 2#11.

 

2.Boolean表达式

not Expr
Expr1 and Expr2       永远计算Expr2的值
Expr1 andalso Expr2  如果Expr1为false，将不计算Expr2
Expr1 or Expr2         永远计算Expr2的值
Expr1 orelse Expr2    如果Expr1为true，将不计算Expr2
Expr1 xor Expr2        异或

 3.List计算

Expr1 ++ Expr2将Expr2加入Expr1中
Expr1 -- Expr2将Expr2中的值从Expr1中删除

 注意：List计算是右结合的运算符，另外List计算很慢，慎用。

4.运算符的优先级，从高到低：

:     
#     
Unary + - bnot not     
/ * div rem band and
+ - bor bxor bsl bsr or xor
++ --
== /= =< < >= > =:= =/=     
andalso     
orelse     
= !    
catch

 

三.比较表达式

值之间的比较是表达式，Erlang的比较运算符看起来有些奇怪：

==     ==
/=      !=
=<    <=
<       <
>=     >=
>       >
=:=     ===
=/=     !==

Erlang中的精度排序如下：

number < atom < reference < fun < port < pid < tuple < list < bit string

当不同类型的值进行比较时，低精度的将转换为高精度的进行比较。

 

四.变量是表达式

1.变量必须以大写字母或下划线打头，且能包含数字，下划线和@

2.一个变量只能赋值一次。

3._是一种特殊的匿名变量，它可以用在任何需要变量但不需要使用该变量的地方，如下例：

[H|_] = [1,2,3]

这里我们只需要获取第一个item的值，所以后面可以用_

4.以下划线打头的变量和以大写字母打头的变量并不完全一样，以下划线打头的变量如果不被使用，不会产生warning，而以大写字母打头的变量会产生warning。

 

五.模式匹配是表达式

形如{X,Y}={1,2}即为模式匹配，做模式匹配要注意如下几点：

1.格式要匹配，

 {A,B}=[1,2].将会抛出异常

2.长度要匹配

{A,B}={1,2,3}.或{A,B,C}={1,2}.将会抛出异常，对于不关注的字段可以用_来匹配，但是长度必须一致。

3.数据要一致

{A,1}={3,2}将抛出异常，必须用{A,1}={3,1}

 

六.函数调用是表达式

不管是直接调用函数，还是调用函数对象都是表达式。

我们要注意不要定义和BIFs一样的函数，如果必须要定义和BIFs一样的函数。如定义length函数，则需要将-compile({no_auto_import,[length/1]}).加入module定义中。

 

七.If表达式

if    GuardSeq1 ->        Body1;    ...;    GuardSeqN ->        BodyNend

 注意，If表达式必须要获得一个匹配，否则会抛出异常，所以一般可以将true做为最后一个guard expression。

 

八.Case表达式

case Expr of    Pattern1 [when GuardSeq1] ->        Body1;    ...;    PatternN [when GuardSeqN] ->        BodyNend

与If相比，Case更为强大，它不仅能进行条件判断，还能利用各种模式。Case表达式也必须获得一个匹配，否则会抛出异常，所以一般最后用_Else做一个通用匹配。

 

九.Send表达式

Expr1 ! Expr2

Erlang的彪悍全体现在这里了，很简单，很强大的一个表达式啊。

这里的Expr1可以是一个process identifier(进行进程通信)，可以是一个分布式的地址表示{Name,Node}(分布式通信),也可以是一个普通的name，总之对于任何一种接收信息的对象，任何一种信息，一个简单的！就把信息传出去了，够强大吧！

 

 十.Receive表达式

receive    Pattern1 [when GuardSeq1] ->        Body1;    ...;    PatternN [when GuardSeqN] ->        BodyNend

形式类似于Case表达式，但是Receive表达式永远都不会报错，当信息到达时，如果信息能够被匹配，将会被处理，并从消息列表中移除。而接收到其他不匹配的信息也不会报错，只是会继续保存在消息列表中。当你调用Receive时，Receive会一直等待，直到一个能够匹配其中模式的信息到达。

为了避免消息等待时间过长，Receive引入了timeout机制：

receive    Pattern1 [when GuardSeq1] ->        Body1;    ...;    PatternN [when GuardSeqN] ->        BodyNafter    ExprT ->        BodyTend

Receive将在ExprT表示的时间达到后退出，若ExprT为infinity则会一直等待。

 

 十一. Begin...End表达式

begin   Expr1,   ...,   ExprNend

暂时没觉得这个表达式有啥用。

 

十二. Try,Catch,Throw

这个之后介绍啦