郎鹹武<[email protected]>  同學在erlang-china上post了一個問題:
請注意編號為91和92兩行執行結果，請問為什麼會出現兩種結果。
一個丟擲 {error,{badmatch,5}}
另一個丟擲** exception error: no match of right hand side value 4

[email protected]:/usr/src/otp# erl
Erlang R13B04 (erts-5.7.5) [smp:2:2] [rq:2] [async-threads:0] [hipe] [kernel-poll:false
88> X=1.
1
89> try (X=5) of Val ->{normal,Val} catch error:Error -> {error,Error}  end.
{error,{badmatch,5}}
90> try (X=1) of Val ->{normal,Val} catch error:Error -> {error,Error}  end.
{normal,1}
91> try (X=5) of Val ->{normal,Val} catch error:Error -> {error,Error}  end.
{error,{badmatch,5}}
92> try (X=4) of Val ->{normal,Val} catch error:Error -> {error,Error}  end.
** exception error: no match of right hand side value 4
93> self().
<0.36.0>
94> catch try (X=4) of Val  ->{normal,Val} catch error:Error -> {error,Error}  end. %%這個異常是 shell捕獲到了 進一步處理後的結果
{'EXIT',{{badmatch,4},[{erl_eval,expr,3}]}}
95> try (X=4) of Val ->{normal,Val} catch error:Error ->  {error,Error}  end.
** exception error: no match of right hand  side value 4
96> self().
<0.36.0>

竟然是EXIT, 這時候shell也換了pid了, 這是怎麼回事呢?
由於在shell輸入的程式是公司允許的, 我們也可以從出錯的stack裡面看到是 erl_eval:expr函式異常了.
現在讓我們對系統打patch如下:
lib/stdlib/src/erl_eval.erl

 282expr({match,_,Lhs,Rhs0},  Bs0, Lf, Ef, RBs) ->
 283    {value,Rhs,Bs1} = expr(Rhs0, Bs0,  Lf, Ef, none),
 284    case match(Lhs, Rhs, Bs1) of
 285         {match,Bs} ->
 286            ret_expr(Rhs, Bs, RBs);
 287        nomatch ->
 288            io:format("expr nomatch->pid:~p~n~p~n",[self(), Rhs]),   %%新增診斷
 289             erlang:raise(error, {badmatch,Rhs}, stacktrace())
 290    end;

erts/emulator/beam/bif.c

1142/**********************************************************************/
1143/*  raise an exception of given class, value and  stacktrace.
1144  *
1145 * If there is an error in the argument  format,
1146 * return the atom 'badarg'  instead.
1147 */
1148Eterm
1149raise_3(Process *c_p, Eterm class,  Eterm value, Eterm stacktrace) {
...
1222     erts_print(ERTS_PRINT_STDOUT, NULL, "raise->proc:%T\nclass=%T\nvalue=%T\nstacktrace=%T\n", c_p->id, class, value,  c_p->ftrace); /*新增診斷*/
1223    BIF_ERROR(c_p, reason);
...
}

然 後我們在執行上面的語句:

[email protected]:~/otp#  bin/erl
Erlang R13B04 (erts-5.7.5)   [smp:2:2] [rq:2]  [async-threads:0] [kernel-poll:false]

Eshell  V5.7.5  (abort with  ^G)
1> X=1.
 1
2>  try (X=5) of Val ->{normal,Val}  catch error:Error ->  {error,Error}  end.
expr nomatch->pid:<0.32.0>
5
raise->proc:<0.32.0>
class=error
value={badmatch,5}
stacktrace=[[{erl_eval,expr,3}
{error,{badmatch,5}}
3>  try  (X=4) of Val ->{normal,Val} catch  error:Error -> {error,Error}   end.
expr nomatch->pid:<0.32.0>
4
raise->proc:<0.32.0>
class=error
value={badmatch,4}
stacktrace=[[{erl_eval,expr,3}]|-000000000000000016]
raise->proc:<0.32.0>
class=error
value={badmatch,4}
stacktrace=[[{erl_eval,expr,3}]|-000000000000000016]

很奇怪的是第3句raise了2次. 讓我們回到程式好好看下:

X=1.   %%這行綁定了一個變數X=1
try (X=5) of Val ->{normal,Val} catch  error:Error -> {error,Error}  end.   %%這行由於異常會試圖繫結變數Error={badmatch,5}, 由於之前Error不存在, 繫結成功.
try  (X=4) of Val ->{normal,Val} catch error:Error -> {error,Error}   end.   %%這行由於異常會綁定了變數Error={badmatch,4}, 由於Error存在,  而且值是{badmatch,5},所以這時候catch就出
現異常了,  往外丟擲{'EXIT',{{badmatch,4},[{erl_eval,expr,3}]}}.

這 下我們明白了, 是這個catch惹的禍了.
我們再實驗下我們的分析:

[email protected]:~#  erl
Erlang R13B04 (erts-5.7.5)  [smp:2:2] [rq:2]  [async-threads:0] [hipe] [kernel-poll:false]

Eshell V5.7.5   (abort with ^G)
1> X=1.
1
2> b().
X = 1
ok
3>  try (X=5) of Val ->{normal,Val} catch error:Error ->  {error,Error}  end.
{error,{badmatch,5}}
4> b().
Error =  {badmatch,5}
X = 1
ok
5> try (X=4) of Val ->{normal,Val}  catch error:Error -> {error,Error}  end.
** exception error: no  match of right hand side value 4
6> f(Error).
ok
7>  b().
X = 1
ok
8> try (X=4) of Val ->{normal,Val}  catch error:Error -> {error,Error}  end.
{error,{badmatch,4}}
9>

Bingo成功.
結論: 要非常小心Erlang語法的變數繫結,在不同的路線會有不同的繫結,容易出問題.

Post Footer automatically generated by wp-posturl plugin for wordpress.