3

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

1 回答 1

1

“为什么 Dialyzer 没有捕捉到这个错误”问题的标准答案总是“因为它永远不会出错”。Dialyzer 从不承诺找出所有错误。

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

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

于 2018-04-03T16:21:32.477 回答