[Erlang02] 那些经历过的Erlang小坑1-10
1. 保护式(guard)中如果出错,不会报错,只会返回false!
case 1=:1 of true when not erlang:length(t) =:= 1 orelse true -> ok; _ -> error end.Result is: error
保护式中对t (atom) 求length会出错,本应crash掉,但因为在保护式中,默认出错后结束此保护式计算并返回false,这也是为什么保护式不接受复杂的函数,只能用erlang的bif来做的原因之一。
2. try catch 时如果不写catch类型,默认为throw类型!
try_catch(Value) -> try case Value of error -> erlang:error({error,plz_catch_me}); throw -> erlang:throw({throw,oh_get_you}); exit -> erlang:exit({exit,sorry_by_mistake}) end catch T -> T end.
Result :
所以最好是:明确: Catch throw:T –> {throw,T}; error:T –> {error,T}; exit:T –> {exit,T} end.
3. 在保护式中使用erlang:length/1要小心再小心!(要遍历列表,时间长度不定)
%%写成这样的耗时与列表长度成平方比:Do not do this foo(List) when lenght(List) >0 -> do_something; foo(_) -> done. %%使用匹配模式来做可做到任意长度断定 better([One]) -> do_something_one(); better([One,Two]) -> do_something_two(); better([one,Two|_]) -> do_something_big(); better([]) -> do_something_empty() end.
Tip: 如果要判定List是一个非空List 可用 case List of [_|_] –> do_something(); _ –> done end.
4. ++只是lists:append/2的一个别名:如果要用一定要确定 ShortList++LongList !(可记为长短的反义短长…每次用他我都会条件反射想一下)
%% DO NOT DO naive_reverse([H|T]) -> naive_reverse(T)++[H]; naive_reverse([]) -> [].
which is the most inefficient way there is to reverse a list. Since the ++ operator copies its left operand, the result will be copied again and again and again... leading to quadratic complexity.
这是最没效率去反转一个list,”++“会复制左边的元素,这个会使复制多次,导致平方倍的复杂度。
但是另一方面:下面这种用法就好了:
%% OK naive_but_ok_reverse([H|T], Acc) -> naive_but_ok_reverse(T, [H]++Acc); naive_but_ok_reverse([], Acc) -> Acc.
这并不是一个是非常坏的尝试,每个列表元素只被copy一次,那增长的Acc是在++的右边的,他不会每次都被copy的
当然,最佳实践还是下面这种:
%% Best Do vanilla_reverse([H|T], Acc) -> vanilla_reverse(T, [H|Acc]); vanilla_reverse([], Acc) -> Acc.
这比上面的还要高效一点点,你根本不用去建造一个list元素,直接copy他就可以了(或者:如果编译器不把[H]++Acc重写为[H|Acc] ,那就更高效啦)。
5. receive 和case的区别很大,虽然写法类似:
case_test(Value) -> case Value of 1 -> ok; 2 -> error end. receive_test(Value)when Value>2 -> PID = spawn(fun () -> receive {msg,1} -> ok; {msg,2} -> error end end), [begin PID ! {msg,ValueT} end ||ValueT<-lists:seq(3,Value)], PID.
Result:
从上面可以看出:
5.1 case如果没有匹配就会出错;
5.1 recieve 会在没有匹配消息时阻塞,只要信箱中没有匹配消息,就会在等待期间挂起,=有新消息到时才会被唤醒,每次执行时,receive会先检查最老的消息(位于队列头部),像在case表达式中那样尝试匹配,如果找不到,就会继续下一消息,如果与当前匹配成功,且保护式成立(如果有),此消息就会被移出信箱,同时子句对应的正文会被执行,如果一直没找到合适消息就会一直等待至超时(如果有的话,after Times).
6. erl 用-noshell –noinput 启动一个node时,看不到,又不能输入怎么调试?用-remsh参数
>erl -name foo@127.0.0.1 -setcookie 123456 -noshell -noinput >erl -name bob@127.0.0.1 -setcookie 123456 -remsh foo@127.0.0.1 %%注意起的节点叫foo哦,不是bob了! foo@127.0.0.1> nodes(). foo@127.0.0.1>['bob@127.0.0.1'] foo@127.0.0.1>node(). foo@127.0.0.1>'foo@127.0.0.1'
这里的坑在于:
6.1 在remote出来的节点上调用q(),2个节点都会退出!好可怕,所有最好把q()这个函数在user_default.erl里面重写,让他不要执行init: stop().
6.2 window下要用werl 代替erl;
6.3 erl支持自定义参数,比如你写erl –rmsh test 也是不会报错的,如果不小心写错了,就会查好久……..
Tip: 已 起A,B二个节点,要用A 控制B,可以在A中使用Ctrl+G r NodeA j 2操作 具体见:Learn some erlang remote shell.
7.如果有一个ArgList 是:从不可知道的地方传过来是这样子:”[test1,test2,test3]”,要怎么使用才能动态执行?
场景:知道方法调用的方法:Method 使用 erlang:apply(Module,Method,ArgList)调用产生结果,这时的ArgList是不符合格式:
%% String = "[test1,test2,4]."注意最后面的结束小句号! string_to_args(String) -> {ok, Scan1, _} = erl_scan:string(String), {ok,P}=erl_parse:parse_exprs(Scan1), {value,Value,[]} = erl_eval:exprs(P, []), Value.
以上合适List中所有的参数都是绑定的:,如果是有Test1这样的变量,我也没试过,还没遇到这种需求
8. erl 启动参数可以自己定义:如
>erl -test erlang1 -test hello -test1 test1 >init:get_argument(test). {ok,[["erlang1"],["hello"]] >init:get_arguments(). [{root,["C:\\Program Files\\erl6.0"]}, {progname,["erl"]}, {home,["C:\\Users\\**"]}, {test,["erlang1"]}, {test,["hello"]}]
8.1 不要把参数定义为string了:比如 “hello world”
8.2 如果这个是启动application启动用的,就不要指望用这个自定义的参数了,用config定义吧
9.使用RPC时一定要记得你是在distributed的,时刻关注你在那个进程!
比如:把rpc:call放在loop里面和外面会得到不一样的效率反馈,以下这例子的结果是等价的,但是第一种会发出很多的call,第二种只有一个call.
%%Example - Bad [rpc:call(node, ets, lookup, [table, K]) || K <- ListOfKeys]. %%Example - Good rpc:call(node, ?MODULE, get_data, [ListOfKeys, []]). get_data([], Out) -> lists:reverse(Out); get_data([K|ListOfKeys], Out) -> get_data(ListOfKeys, [ets:lookup(table,K)|Out]).
同理你可以自己改一下:[gen_server:call(Pid,{func,Fun})||Fun<- FunList].
总之要能一次发消息处理的就不要多次发啦.
10 不要构造超极大的terms(或者你不可控制大小的terms).
具体就是如果要遍历ets里面所有的元素,用ets:tab2list/1得出来的结果可能什么非常大,这可怎么办啊!
%% 一次性也出所有元素:不要这样子做 bad_traverse_to_print() -> [begin print(Person) end||Person <- ets:tab2list(person)], ok. %%从第一个一直遍历到最后一个:数据要从erts内部搬到process 当ets很大的时候就效率低 good_traverse_to_print() -> good_traverse_to_print2(ets:first(person)). good_traverse_to_print2('$end_of_table') -> ok; good_traverse_to_print2(Key) -> [Person] = ets:lookup(person,Key), print(Person), good_traverse_to_print2(ets:next(person,Key)). %%分页:最佳实践使用ets:select match MatchSpec:ets内部实现了把matchspec编译成opcode 然后eval的时候把需要的数据才拷贝到process去 大大减少了数据量 best_traverse_to_print() -> case ets:match(person,'$1',10) of {PersonList,'$end_of_table'} -> [begin print(Person) end|| [Person] <- PersonList]; {PersonList,Key} -> [begin print(Person) end|| [Person] <- PersonList], best_traverse_to_print2(Key) end, ok. best_traverse_to_print2(Key) -> case ets:match(Key) of {PersonList,'$end_of_table'} -> [begin print(Person) end|| [Person] <- PersonList]; {PersonList,Key2} -> [begin print(Person) end|| [Person] <- PersonList], best_traverse_to_print2(Key2) end. print(Person) -> io:format("Name~p Phone:~p~n",[Person#person.name, Person#person.phone]), ok.