一:函数
1:在Erlang中,【名字相同但参数数目不同】的两个函数是完全不同的函数。
2:其他模块内的函数用完全限定名称 被调用:
-module(sort1). -export([reverse_sort/1, sort/1]).reverse_sort(L) -> lists1:reverse(sort(L)). sort(L) -> lists:sort(L).
4:每个函数都由一组子句组成。子句间以分号“;”分隔。每个子句都包含一个子句头部、一个可选的保护式和子句主体。子句的头部包含一个函数名和一组以逗号分隔的参数当函数调用发生时,将会按顺序对函数定义中的子句头部依次进行匹配。对保护式求值时所有的断言都将被求值。若所有断言都为真,则保护式成立,否则就失败。保护式中各个断言的求值顺序是不确定的。
如果保护式成立,则会对子句的主体进行求值。如果保护式失败,则尝试下一个候选子句。一旦子句的头部和保护式都匹配成功,系统将指定这条子句并对其主体求值。子句首部模式与保护式的组合可以唯一确定一个正确的子句。
保护式断言的完整集合如下:
保护式 | 成立条件 |
---|---|
atom(X) | X 是一个原子式 |
constant(X) | X 不是列表或元组 |
float(X) | X 是一个浮点数 |
integer(X) | X 是一个整数 |
list(X) | X 是一个列表或 [] |
number | X 是一个整数或浮点数 |
pid(X) | X 是一个进程标识符 |
port(X) | X 是一个端口 |
reference(X) | X 是一个引用 |
tuple(X) | X 是一个元组 |
binary(X) | X 是一段二进制数据 |
另外,一些BIF和算术表达式的组合也可以作为保护式。它们是:
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
运算符 | 描述 | 类型 |
---|---|---|
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 |
比较运算符工作机制如下:首先对运算符两边求值(如,在表达式两边存在算术表达式或包含BIF保护式函数时);然后再进行比较。
为了进行比较,定义如下的偏序关系:
number < atom < reference < port < pid < tuple < list
元组首先按大小排序,然后再按元素排序。列表的比较顺序是先头部,后尾部。
如果比较运算符的两个参数都是数值类型且运算符为coerce型,则如果一个参数是integer另一个是float,那么integer将被转换为float再进行比较。
exact类型的运算符则不做这样的转换。
因此5.0 == 1 + 4为真,而5.0 =:= 4 + 1为假。
保护函数子句示例:
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表达式允许在子句主体内部于多个选项中进行选择,语法如下:
case Expr of Pattern1 [when Guard1] -> Seq1; Pattern2 [when Guard2] -> Seq2; ... PatternN [when GuardN] -> SeqN end
至少得有一个模式必须得以匹配——否则就会产生一个运行时错误并引发第??章中的错误处理机制。
举个例子,比方说我们我有个函数allocate(Resource)用于分配某种资源Resource。假设这个函数只返回{yes, Address}或no。这样,这个函数便可以放在一个case结构里:
... case allocate(Resource) of {yes,Address} when Address > 0, Address =< Max -> Sequence 1 ... ; no -> Sequence 2 ... end ...
在Sequence 1 ...中,变量Address已经被绑定在了allocate/1的返回结果上。
为了避免匹配错误的发生,我们常常追加一个必会匹配的模式作为case原语的最后一个分支:
case Fn of ... _ -> true end
IF
if表达式的语法如下:
if Guard1 -> Sequence1 ; Guard2 -> Sequence2 ; ... end
if ... true -> true end
算术表达式
算术表达式由以下运算符构成:
运算符 | 描述 | 类型 | 操作数类型 | 优先级 |
---|---|---|---|---|
+ X | + X | 单目 | 混合 | 1 |
- X | - X | 单目 | 混合 | 1 |
X * Y | X * Y | 双目 | 混合 | 2 |
X / Y | X / Y (浮点除法) | 双目 | 混合 | 2 |
X div Y | X 整除Y | 双目 | 整数 | 2 |
X rem Y | X 除以Y 的余数 | 双目 | 整数 | 2 |
X band Y | X 与Y 的位与 | 双目 | 整数 | 2 |
X + Y | X + Y | 双目 | 混合 | 3 |
X - Y | X - Y | 双目 | 混合 | 3 |
X bor Y | X 与Y 位或 | 双目 | 整数 | 3 |
X bxor Y | X 与Y 的位算数异或 | 双目 | 整数 | 3 |
X bsl N | X 算数左移N 位 | 双目 | 整数 | 3 |
X bsr N | X 右移N 位 | 双目 | 整数 | 3 |
单目 运算符有一个参数,双目 运算符有两个参数。混合 意味着参数即可以是integer 也可以是float 。单目运算符的返回值与其参数类型相同。
双目混合运算符(即* 、- 、+ )在参数都是integer 时返回类型为integer 的对象,在参数至少包含一个float 时返回一个float 。浮点除法运算符/ 总是返回一个float 。
双目整数运算符(即band 、div 、rem 、bor 、bxor 、bsl 、bsr )的参数必须是整数,其返回值也是整数。
求值顺序取决于运算符的优先级:首先计算第1优先级的运算符,然后是第2优先级,以此类推。括号内的表达式优先求值。
优先级相同的运算符从左到右进行求值。
CASE value WHEN [compare-value] THEN result [WHEN [compare-value] THEN result ...] [ELSE result] END CASE WHEN [condition] THEN result [WHEN [condition] THEN result ...] [ELSE result] END 在第一个方案的返回结果中
本文向大家介绍JavaScript中使用Callback控制流程介绍,包括了JavaScript中使用Callback控制流程介绍的使用技巧和注意事项,需要的朋友参考一下 javascript中随处可见的callback对于流程控制来说是一场灾难,缺点显而易见: 1.没有显式的return,容易产生多余流程,以及由此引发的bug。 2.造成代码无限嵌套,难以阅读。 下面就来说说怎么解决避免上述的问
目录表 简介 if语句 使用if语句 它如何工作 while语句 使用while语句 for循环 使用for语句 break语句 使用break语句 continue语句 使用continue语句 概括 简介 在到目前为止我们所见到的程序中,总是有一系列的语句,Python忠实地按照它们的顺序执行它们。如果你想要改变语句流的执行顺序,该怎么办呢?例如,你想要让程序做一些决定,根据不同的情况做不同的
任何编程语言都包含的一个必要部分就是改变控制流程:if/else,for等。让我们讲述 Rust 语言中 的这部分内容。
流程控制 和Java、PHP等语言不一样,sh的流程控制不可为空,如: <?php if (isset($_GET["q"])) { search(q); } else { //do nothing } 在sh/bash里可不能这么写,如果else分支没有语句执行,就不要写这个else。 还要注意,sh里的if [ $foo -eq 0 ],这个方括号跟Java/PHP里if后面的
决策结构要求程序员指定程序要评估或测试的一个或多个条件,以及在条件被确定为true要执行的语句,以及可选的,如果条件要执行的其他语句被认定是false 。 以下是大多数编程语言中的典型决策结构的一般性 - Swift 4提供以下类型的决策声明。 单击以下链接以检查其详细信息。 Sr.No 声明和说明 1 if 语句 if语句由一个布尔表达式后跟一个或多个语句组成。 2 if...else 语句 i