refactoring - 如何简化/改进 Erlang 代码？

Question

优秀的 Erlang 程序员会如何编写这段代码？

loop(expr0) ->  
    case expr1 of   
    true ->  
       A = case expr2 of  
               true -> ...;  
               false -> ...  
           end;
    false->  
       A = case expr3 of  
               true -> ...;  
               false -> ...  
           end  
  end,  
loop(expr4(A)).

Answer 1

一般来说，您想让您的代码更可读。将代码片段提取到函数中以避免长嵌套或深度嵌套的函数通常是个好主意，并提供 self 解释的名称来阐明一段代码的目的:

loop(expr0) ->  
    case expr1 of   
    true ->  
       A = do_something(expr2);
    false->  
       A = do_something_else(expr3)
  end,  
  loop(expr4(A)).

do_something(E) ->
    case E of  
       true -> ...;  
       false -> ...  
    end

do_something_else(E) ->
    case E of  
       true -> ...;  
       false -> ...  
    end

现在，随便的读者都知道，如果 expr1 为真，您的函数将执行某事，如果 expr1 为假，则执行其他。良好的命名约定在这里有很大帮助。您也可以使用注释来做到这一点，但代码永远不会过时，因此更易于维护。我还发现短函数比真正的长函数更容易阅读。即使那些长函数内联了注释。

一旦您清楚地说明了您的函数的作用，您可能想要缩短代码。短代码更易于阅读和维护，但不要使用“聪明”的结构缩短太多，否则你会混淆它，这与你想要的相反。您可以从在函数头中使用模式匹配开始:

loop(expr0) ->  
    case expr1 of   
    true ->  
       A = do_something(expr2);
    false->  
       A = do_something_else(expr3)
  end,  
  loop(expr4(A)).

do_something(true) -> ...;
do_something(false) -> ....

do_something_else(true) -> ...;
do_something_else(false) -> ....

然后，您可以避免在主函数中重复 A(此外，嵌套语句之外的变量作用域是我一直不喜欢的功能)

loop(expr0) ->  
  A = case expr1 of   
        true -> do_something(expr2);
        false-> do_something_else(expr3)
      end,  
  loop(expr4(A)).

do_something(true) -> ...;
do_something(false) -> ....

do_something_else(true) -> ...;
do_something_else(false) -> ....

我认为这就是这段代码。有了更多的上下文，您还可以进行一些抽象以减少口是心非，但在抽象时要小心，如果过度抽象，您也会再次模糊代码，从而失去您希望通过删除类似代码获得的维护好处。