Erlang：为什么 Dialyzer 没有注意到这个错误？答案

【问题标题】：Erlang: Why Dialyzer does not notice this error?Erlang：为什么 Dialyzer 没有注意到这个错误？
【发布时间】：2018-04-04 19:55:56
【问题描述】：

现在，我尝试使用 Dialyzer 并使用 -spec、-type。

我将以下代码提供给 Dialyzer，我希望 Dialyzer 注意到“hoge(a) + 1 无效”，但 Dialyzer 没有注意到。

-spec hoge (X) -> bad      when X :: a;
           (X) -> number() when X :: number().
hoge(X) when is_number(X) -> 1;
hoge(a) -> bad.

foo() ->
  _ = hoge(a) + 1.

但是，在另一种情况下，

-spec hoge (X) -> bad      when X :: a;
           (X) -> string() when X :: number().
hoge(X) when is_number(X) -> "1";
hoge(a) -> bad.


foo() ->
  _ = hoge(a) + 1.

透析器告诉我这个错误，

test.erl:12: The call erlang:'+'('bad' | [49,...],1) will never return since it differs in the 1st argument from the success typing arguments: (number(),number())

为什么 Dialyzer 在第一个设置中无法注意到类型错误。

-spec hoge (X) -> bad      when X :: a;
           (X) -> number() when X :: number().

此合同（规范）的意思不是“hoge 的类型为 'a' -> 'bad' | number() -> number()”，而是“'a' | number() -> 'bad' | number( )”？

这是第一个示例的完整模块。

-module(example).
-export([hoge/1, foo/0]).

-spec hoge (X) -> bad      when X :: a;
           (X) -> number() when X :: number().
hoge(X) when is_number(X) -> 1;
hoge(a) -> bad.

foo() ->
  _ = hoge(a) + 1.

【问题讨论】：

我想知道-spec信息是如何用于类型检查的...
您运行的是什么版本的 OTP？我尝试了 18、19 和 20，并且在所有情况下，Dialyzer 都在代码的第一个版本中报告了错误。
真的吗？我使用 Erlang/OTP 20 和 Dialyzer 版本 v3.2.4。
啊，导出函数 hoge/1 时，没有收到消息。我认为 Dialyzer 不会单独处理每个呼叫站点。如果 hoge/1 没有导出，它知道它永远不会返回 1，因为它只用 a 调用。如果它被导出，它将被视为返回 1 或 a，其中之一将使添加工作，因此它不会被检测为错误。
不要太担心没有报告的事情。 Dialyzer 只会报告绝对错误的事情，并且只要代码仍有可能以某种方式工作，就会保持安静。

标签： erlang typechecking dialyzer

【解决方案1】：

“为什么 Dialyzer 没有发现此错误”问题的标准答案始终是“因为它永远不会出错”。 Dialyzer 从不承诺找出所有错误。

在您有问题的示例中，如果没有规范，Dialyzer 的类型推断算法确实会为所有参数和所有返回值生成联合类型。使用规范，Dialyzer 仍然推断联合，但应该使用规范缩小调用的返回值，然后产生错误。这看起来像是“灵敏度降低”的情况（但本身不是错误）。在任何情况下，您都可以提交错误报告。

在您的工作示例中，任何可能的值都会导致错误的结果，并且 Dialyzer 自己的类型推断就足够了，即使没有规范。

【讨论】：

主要区别在于，在第一个示例中，如果函数 hoge/1 被导出，它将获得一个可以同意添加的签名，而在第二个示例中，它永远不会返回任何可以使添加工作。
对，这是由于 Dialyzer 在所有调用都已知的情况下执行的“细化”过程。但是应该有一个独立的规范测试可以检测到使用a 的调用永远不会返回一个数字。