2

这是一些我认为 Dialyzer 应该能够发现的错误代码：

-module(myapp_thing).

-spec exists(pos_integer()) -> yes | no.
exists(Id) ->
    myapp_mnesia:thing_exists(Id).

 

-module(myapp_mnesia).

thing_exists(Id) ->
    Exists = fun() -> 
                     case mnesia:read({thing, Id}) of
                         [] -> false;
                         _ ->  true
                     end
             end,
    mnesia:activity(transaction, Exists).

 

myapp_thing:exists/1被指定为返回yes | no，但返回类型实际上是true | false（即，boolean()），这是从返回的myapp_mnesia:thing_exists/1。

但是，在 myapp 上运行 Dialyzer 会通过它而不会发出警告。

如果我更改myapp_mnesia:thing_exists/1为仅返回true，我会收到适当的警告；同样，如果我添加正确的规格：

-spec session_exists(pos_integer()) -> boolean().

但是看起来 Dialyzer 无法查看 mnesia 事务函数 Exists 内部，或者由于某些其他原因无法推断出 thing_exists 的返回类型。

那么，mnesia 事务函数是 Dialyzer 的障碍，还是 Dialyzer 的返回类型推断存在更普遍的障碍？

4

1 回答 1

1

在mnesia_tm:execute_transaction中，所提供的 fun 在 a 中被调用catch，这意味着返回类型折叠term()为就 Dialyzer 而言。因此 Dialyzer 无法断定 of 的返回类型mnesia:activity/2与提供的函数的返回类型相同，因此需要一个显式的类型规范来实现这一点。

此外，我相信 Dialyzer 通常不会根据作为参数提供的函数的返回值来推断返回值类型。例如，使用此模块：

-module(foo).

-export([foo/1]).

foo(F) ->
    F(42).

打字机显示以下内容：

$ typer /tmp/foo.erl

%% File: "/tmp/foo.erl"
%% --------------------
-spec foo(fun((_) -> any())) -> any().

虽然如果我添加显式类型规范-spec foo(fun((_) -> X)) -> X.，那么 typer 会接受它。

（我相信 Dialyzer 开发人员会对此有更完整和更有见地的答案。）

于 2013-07-10T12:23:29.033 回答