现在，我尝试使用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.
最佳答案
为什么“Dialyzer无法捕获此错误”问题的标准答案始终是“因为它永远不会出错”。 Dialyzer从未 promise 会发现所有错误。
在您有问题的示例中，没有规范，Dialyzer的类型推断算法确实为所有参数和所有返回值生成并集类型。使用该规范，Dialyzer仍然可以推断出并集，但是应该使用该规范来缩小调用的返回值，然后产生错误。这看起来像是“敏感性降低”的情况(但本质上不是错误)。无论如何，您都可以提交错误报告。
在您的工作示例中，任何可能的值都将导致不良结果，并且即使没有规范，Dialyzer自己的类型推断也已足够。