Erlang 错误处理，“try”中的 X 不安全

Question

谁能告诉我为什么这段代码会说 X 在“try”中不安全，我知道为什么，但更知道如何修复它。

try X = lists:append(lists:zipwith3(fun(X, Y, Z) -> [X, Y, Z] end, Data1, Data2, Data3)) of
            MP -> X
            catch K -> (X = 0)
            end.
            %MP = [lists:zipwith3(X, Y, Z) || X, Y, Z <-  [Data1, Data2, Data3]],


P = X

Answer 1

解决这个问题的最简单方法是将赋值放在 try-catch 之外：

X =
    try lists:append(lists:zipwith3(fun(X, Y, Z) -> [X, Y, Z] end, Data1, Data2, Data3)) of
        MP -> MP
    catch K -> 0
    end.

至于为什么会发生这种情况，Erlang 参考手册中有关表达式的章节 说：

对于 try 表达式，变量范围是有限的，因此表达式中绑定的变量在表达式之外始终“不安全”。

它曾经说过“这有待改进”，但在 此提交。

Answer 2

我认为这是不安全的，因为您没有涵盖所有例外情况。
当你有

catch K -> (X = 0)

我相信它只会捕获抛出的异常时，仍然存在错误并退出。国际研究委员会
所以你可能需要

catch _:K -> (X=0)

或明确地将它们捕获为

catch 
  error:K -> (X=0);
  exit:K -> (X=0);
  throw:K -> (X=0)

（我不是100%我的原子名称是正确的，但想法仍然是一样的）