Erlang:NIF 和透析器警告

Question

在实现 NIF 时，Dialyzer 给了我

Function crc16/1 has no local return

可能是因为我做 退出在 .erl 模块中(如官方文档推荐):

-module(my_nifs).
-export([crc16/1]).

-on_load(init/0).

init() ->
    ok = erlang:load_nif("../nifs/my_nifs", 0).

-spec crc16(_Binary :: binary()) -> non_neg_integer().
crc16(_Binary) ->
    exit(nif_library_not_loaded).
...

通常，似乎使用 exit/1总是让 Dialyzer 提示此消息( -spec .. -> no_return() 没有帮助)。

如何解决这个问题？

Answer 1

您可以使用 erlang:nif_error/1/2 正是为此而创建的。