我正在使用“-Woverspecs”运行 Dialyzer 并收到此警告:
room_channel.ex:143:
Type specification 'Elixir.Backend.RoomChannel':
testU(a) -> a when is_subtype(a,#{})
is a subtype of the success typing: 'Elixir.Backend.RoomChannel':testU(_) -> any()
使用此代码:
@spec testU( a ) :: a when a: %Backend.User{}
def testU(u) do
...
我想做的是用一个防护来确定函数类型，以便子类型警告消失，并且我对我的函数有一个精确的定义。
我在 Erlang 文档中看到 -Woverspecs 不被鼓励，并怀疑我正在违背原则，因为我能想到的唯一解决方案是一些复杂的函数保护......
有什么想法或指示吗？
最佳答案
使用-Woverspecs，当您的类型比 Dialyzer 自己的分析可以推断出的限制性更强时，您会收到警告。
在您的实例中，当 testU 函数的参数与 a 不同时，它也可能返回一个值。
您可能正在寻找的是 -Wunderspecs，当您的规范比 Dialyzer 可以推断的更加宽松时，它会生成警告。
关于types - Elixir、透析器、类型和子类型警告，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36424170/