如何避免Dialyzer在含全匹配else的with语句中报‘永远无法匹配’错误？

嘿，我来帮你搞定这个Dialyzer的报错问题～先理清楚来龙去脉，再给你几个实用的解决办法。

问题回顾 #

你写了这段验证密码的Elixir代码：

@spec test_pass(String.t) :: (:failed | {:ok, map()})
def test_pass(pass) do
  db_user = %{password_hash: @hash_for_foo}
  with {:ok, ^db_user} <- Comeonin.Argon2.check_pass(db_user, pass) do
    {:ok, db_user}
  else
    _ -> :failed
  end
end

结果Dialyzer抛出了这个错误：

⟨my_file⟩.ex:25: The pattern {'ok', } can never match the type {'error',<<:64,:*8>>}

你知道这个模式在某些场景下确实匹配不到，但就是想把这个报错消掉对吧？

为什么会出现这个错误？ #

Dialyzer是静态类型分析工具，它通过分析代码和依赖库的类型规范得出结论：在当前代码逻辑里，Comeonin.Argon2.check_pass/2永远不会返回{:ok, _}类型的值，所以你写的{:ok, ^db_user}模式完全没机会匹配。

具体来说，可能有两个原因：

• Dialyzer没法知道@hash_for_foo对应的正确密码是什么，它默认假设所有传入的pass都会验证失败，check_pass只会返回{:error, binary()}；
• Comeonin.Argon2.check_pass/2的类型规范里，成功返回的用户结构和你定义的db_user可能存在细微差异（比如底层会隐式添加字段），导致^db_user这个精确匹配永远无法命中，Dialyzer因此判定这个分支永远不会执行。

解决办法 #

既然你不在意这个分支是否实际触发，只是想消除警告，这里有三个靠谱的方案：

方案1：简化匹配模式（最推荐） #

你最终要返回的是自己定义的db_user，根本不需要依赖check_pass返回的用户结构，所以直接把^db_user换成_就行：

@spec test_pass(String.t) :: (:failed | {:ok, map()})
def test_pass(pass) do
  db_user = %{password_hash: @hash_for_foo}
  with {:ok, _} <- Comeonin.Argon2.check_pass(db_user, pass) do
    {:ok, db_user}
  else
    _ -> :failed
  end
end

这样Dialyzer就不会纠结用户结构是否匹配，只要check_pass返回{:ok, _}就会进入分支，完美解决警告。

方案2：让Dialyzer忽略这个函数的警告 #

如果你一定要保留^db_user的精确匹配，可以用@dialyzer属性告诉Dialyzer别管这个函数的警告：

@dialyzer {:nowarn_function, test_pass: 1}
@spec test_pass(String.t) :: (:failed | {:ok, map()})
def test_pass(pass) do
  db_user = %{password_hash: @hash_for_foo}
  with {:ok, ^db_user} <- Comeonin.Argon2.check_pass(db_user, pass) do
    {:ok, db_user}
  else
    _ -> :failed
  end
end

或者更精确地忽略“无匹配”类型的警告：

@dialyzer {:no_match, test_pass: 1}
@spec test_pass(String.t) :: (:failed | {:ok, map()})
def test_pass(pass) do
  # 原代码不变
end

方案3：明确类型提示（可选） #

你可以给db_user添加明确的类型注释，让Dialyzer清楚它的结构和check_pass返回的用户结构兼容：

@spec test_pass(String.t) :: (:failed | {:ok, map()})
def test_pass(pass) do
  db_user = %{password_hash: @hash_for_foo} :: %{password_hash: String.t()}
  with {:ok, ^db_user} <- Comeonin.Argon2.check_pass(db_user, pass) do
    {:ok, db_user}
  else
    _ -> :failed
  end
end

不过这个方法不一定适用于所有场景，还是前两种更直接有效。

内容的提问来源于stack exchange，提问作者Patrick J. S.