使用点语法访问 struct prop 时出现 Elixir Dialyzer 错误

Question

更新我的项目以使用 Elixir 1.12 我注意到 Dialyzer 抱怨某些地方我使用点符号访问了结构的属性。例如，这是我的应用程序中的一个 graphql 解析器函数：

def update(_root, %{input: input}, %{context: %{current_user: user}}) do
  case user
        |> User.update_changeset(input)
        |> Repo.update() do
    {:ok, updated_user} ->
      if user.email !== updated_user.email do
        Email.email_changed(user.email, updated_user.email)
        |> Mailer.deliver_later()
      end

      {:ok, updated_user}

    err ->
      err
  end
end

Dialyser 已突出显示表达式 user.email !== updated_user.email 并出现以下错误：

The call _.'email'/() requires that _@1 is of type atom(), not {map(), map()}

知道这个错误是什么意思以及如何解决它吗？

（这一切都编译并运行良好，我只是想知道为什么它似乎不能满足 Dialyzer）

Answer 1

虽然很难判断 dialyzer 是否错误，或者您的代码是否存在导致此问题的故障，但在传递给此函数之前不了解上下文是如何构建的，但有一些一般性建议。

在各处使用深度模式匹配来缩小问题范围。

def update(_root, %{input: input},
  %{context: %{current_user: %User{email: email}}}) do
    user
    |> User.update_changeset(input)
    |> Repo.update() 
    |> case do
      {:ok, %User{email: ^email} = user} ->
        {:ok, user}

      {:ok, %User{email: updated_email} = user} ->
        email
        |> Email.email_changed(updated_email)
        |> Mailer.deliver_later()

        {:ok, user}

      err ->
        err
    end
end

这样代码更清晰，意图更清晰，错误（如果发生）更明显，并粘在它实际所属的位置。