Erlang:为什么 Dialyzer 没有注意到这个错误？

Question

现在，我尝试使用 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().

这个契约(Contract)(规范)的意思不是“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.

Answer 1

“为什么 Dialyzer 不捕获此错误”问题的标准答案始终是“因为它永远不会出错”。 Dialyzer 从不 promise 找出所有错误。

---

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

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