Question

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

我将下面的代码提供给Dialyzer，我希望Dialyzer注意到＆＃34; hoge（a）+ 1无效＆＃34;，但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().

本合同（规范）不代表＆＃34; hoge类型为＆＃39; a＆＃39; - ＆GT; ＆＃39;坏＆＃39; | number（） - ＆gt;号（）＆＃34;但是＆＃34;＆＃39; a＆＃39; | number（） - ＆gt; ＆＃39;坏＆＃39; |号（）＆＃34;

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

-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

标准回答＆＃34;为什么Dialyzer没有发现这个错误＆＃34;问题永远是＆＃34;因为它永远不会错误＆＃34;。透析师永远不会承诺找到所有错误。

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

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

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

1 个答案: