guard
guard可以以逗号或者分号分隔,以逗号分隔表示最终的结果为各个guard的and结果,以分号则是只要任意一个guard为true则最终结果为true。
guard(x, y) when not(x>y), is_atom(x) ->
x + y.
guard在list comprehension中可以筛选元素:
newnodes = [node || node <- allnodes, not gb_sets:is_member(node, newqueried)],
guard中不能使用自定义函数,因为guard应该保证没有副作用,但自定义函数无法保证这一点,所以erlang禁止在guard中使用自定义函数。
list comprehension
list comprehension是一个非常有用的语法特性,它可以用于构造一个新的list,可以用于将一种list映射到另一种list,可以筛选list元素。只要是跟list相关的操作,优先考虑用list comprehension来实现,将大大减少代码量。记住list comprehension的语法:
[expression || generators, guards, generators, ...]
timer
一定时间后向进程发送消息:
erlang:send_after(token_lifetime(), self(), renew_token),
一段时间后执行某个函数:
{ok, tref} = timer:apply_interval(interval, ?module, announce, [self()]),
gb_trees/gb_set
pattern match
pattern match有太多作用了:
pattern match in case
case中判定多个值,比其使用逻辑运算符简洁多了:
a = 1, b = 2,
case {a, b} of
{_c, _c} -> true;
{_, _} -> false
end
pattern match to check data type
pattern match可以用于检测变量的类型,可以用于检测函数的返回值,就像c/c++中的assert一样,可以用于尽早检测出异常状态:
ping({_, _, _, _} = ip, port) ->
ok.
{ok, ret} = call().
list操作
添加元素
添加元素进list有很多方式:
[2]++[3, 4].
[2|[3,4]].
foldl/foldr
用于遍历list计算出一个“累加值“。
lists:foldl(fun(x, sum) -> x + sum end, 0, [1,2,3,4,5]).
也就是遍历一个list,将每个元素传递给fun,将fun的返回值继续传递给下一个元素。
zip
将两个list一一对应构造出一个tuple,作为新的list里的元素。
lists:zip([1, 2, 3], [4, 5, 6]).
=> [{1,4},{2,5},{3,6}]
数字进制
16##ff,表示16进制数字0xff,通用格式为scale##num,即scale进制下的num。