erlang - 我如何解决来自 Dialyzer 的“由于成功输入是 [...] 而合同是..”，因此永远不会返回？

Question

我正在使用 Dialyzer 修复 Erlang 代码中的错误。

io:format(IoDevice, "[]");

此行产生以下错误：

The call io:format(IoDevice::pid(),[91 | 93,...]) 
  will never return since the success typing is
  (atom() | binary() | string(),[any()]) -> 'ok' 
  and the contract is (Format,Data) -> 'ok' 
  when Format :: format(), Data :: [term()]

我无法理解问题是什么，谁能解释一下？

谢谢

Answer 1

我建议阅读io 手册页。它的用法很简单：

1> io:format("hello ~p~n", [world]). % ~n means newline
hello world
ok
2> io:format("hello ~p~n", [<<"world">>]).             
hello <<"world">>
ok
3> io:format("hello ~s~n", [<<"world">>]).
hello world
ok

在上面的透析器中告诉您，io:format/2（format/2表示format接受 2 个参数的函数）接受一个atom()或string()或binary()作为第一个参数，以及一个具有零个或多个元素的列表作为第二个参数。根据您的代码，dialyzer 检测到IoDevice是 Erlangpid()而不是string()or binary()。