if-statement - 为什么 Erlang 编译器说我的子句计算结果为假？

Question

当我尝试编译以下代码时:

score(_X) -> mysqrt = math:sqrt(_X),
  if
    mysqrt < 100.0 -> true;
    true -> 0
  end.

编译器说:

src/leap.erl:16:这个子句的守卫评估为“假”

我想我正在分配一个变量 mysqrt然后检查它的结果，结果不一定小于 100.0.显然，这不是正在发生的事情。我究竟做错了什么？

Answer 1

在 Erlang 中，变量名以大写字母或下划线开头。在您的代码中， mysqrt 不是变量，而是原子。

因此，mysqrt = math:sqrt(_X) 行断言 math:sqrt 的返回值等于这个原子，这将失败，因为该函数返回一个浮点数 - 但编译器不知道这一点。

然后将 mysqrt 与 100.0 进行比较。在 Erlang 中，数字总是小于原子，所以 mysqrt < 100.0 总是假的——这是编译器警告你的。

改为调用您的变量 MySqrt，您的代码应该可以工作。

(此外，约定是仅在不使用变量时才使用以下划线开头的变量名称，因为这样的名称会抑制编译器发出的“未使用的变量”警告。仅调用此函数的参数 X 会更惯用_X 。)