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

时间:2018-04-03 11:11:18

标签: erlang typechecking dialyzer

现在,我尝试使用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' - > '坏' | number() - >号()"但是"' a' | 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.

1 个答案:

答案 0 :(得分:1)

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

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

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