为什么比较函数结果在Erlang中是非法的警戒异常？

Question

为什么它是非法的？

min1_e_(F, X, E) -> 
    if 
     F(X + 2*E) < F(X + E) -> % ? 
      min1_e_(F, X, E*2); 
     true -> 
      E 
    end. 

我的意思是，如果我分别定义表达的两个部分，它工作正常。但比较函数返回应该是微不足道的，不是吗？想想我错过了更多的东西。

Answer 1

If表达式在Erlang中不起作用，与其他编程语言一样。

根据http://www.erlang.org/doc/reference_manual/expressions.html（第7.7段如果）：

一个if-expression的分支，直到后卫序列 GuardSeq其计算结果为true是发现被顺序地扫描。

在您的例子中，表达F(X + 2*E) < F(X + E)被处理而不是作为一个正常表达，而且作为保护的表达，这可能具有非确定性的结果（二郎允许在保护表达式仅使用确定性的表达式），所以二郎拒绝在“if”表达式中使用它。

要解决此问题，我建议您改用case表达式。类似这样的：

min1_e_(F, X, E) -> 
      case F(X + 2*E) < F(X + E) of 
        true -> min1_e_(F, X, E*2); 
        false -> E 
      end.