在主管函数中捕获 badarg 错误

catch badarg error in the supervisor function

这里我有一个程序可以执行一些简单的数学运算。该程序是 运行 主管。

但是有时程序会在我 运行 时崩溃。尤其是当我第一次 运行 calc_sup_start_link()calc_test() 的时候。任何人有任何想法?程序如下:

calc_sup_start_link() ->
  spawn_link(fun calc_sup/0).


calc_sup() ->
  process_flag(trap_exit, true),
  {ok, _Pid} = calc_start_link(),
  receive
    {'EXIT', _From, normal} ->
      ok;
    {'EXIT', _From, _Reason} ->
    calc_sup() % Crash: restart
  end.


calc_start_link() ->
  S = spawn_link(fun calc_loop/0),
  register(calc, S),
  {ok, S}


calc_loop() ->
  receive
    {add, P, A, B} ->
      P ! {add_reply, A + B},
      calc_loop();
    {mul, P, A, B} ->
      {_, _, N} = now(),
      if N rem 5 =/= 0 -> ok end,
      P ! {mul_reply, A * B},
      calc_loop()
  end.


calc_add(A, B) ->
  calc ! {add, self(), A, B},
  receive
    {add_reply, C} -> C
  end.


calc_mul(A, B) ->
  calc ! {mul, self(), A, B},
  receive
    {mul_reply, C} -> C
  end.


calc_client(X, Y, Z) ->
  Q = calc_mul(X, Y),
  timer:sleep(500),
  R = calc_add(Q, 3),
  timer:sleep(500),
  calc_mul(R, Z).


calc_test() ->
  io:format("Running calc_client(2, 4, 5)~n"),
  R = calc_client(2, 4, 5),
  io:format("calc_client(2, 4, 5) returned ~p~n", [R]).

我认为它在这个集团崩溃了:

calc_loop() ->
  receive
    {add, P, A, B} ->
      P ! {add_reply, A + B},
      calc_loop();
    {mul, P, A, B} ->
      {_, _, N} = now(),
      if N rem 5 =/= 0 -> ok end, %% if doesn't work as in C or java !!!
      P ! {mul_reply, A * B},
      calc_loop()
  end.

事实上,如果 N 是 5 的倍数,(N rem 5) == 0 并且没有分支来评估 if 的结果,并且在 erlang 中所有语句都必须 return 一个值.您可以在 shell:

中验证
1> if ((11 rem 5) =/= 0) -> ok end.
ok
2> if ((10 rem 5) =/= 0) -> ok end.
** exception error: no true branch found when evaluating an if expression
3> if ((10 rem 5) =/= 0) -> ok; true -> false end.
false
4> 

在你的情况下你应该这样写:

calc_loop() ->
  receive
    {add, P, A, B} ->
      P ! {add_reply, A + B},
      calc_loop();
    {mul, P, A, B} ->
      {_, _, N} = now(),
      case (N rem 5)  of 
         0 -> P ! {mul_reply, A * B},
              calc_loop();
         _ -> ok
       end
  end.

如果N是5的倍数,这将执行乘法和循环;在其他情况下它将以正常的原因终止(我不确定这是你想要做的,因为 if 表达式不完整)

如果你自己写尾递归, 更好的方法是总是调用外部函数(因为代码只在内存中保存两个版本)。

像这样: 将 calc_loop() 更改为 ?MODULE:calc_loop().

它将始终调用最新版本的代码。

http://www.erlang.org/doc/reference_manual/code_loading.html#id88331