Elixir中with操作符逻辑条件不生效的问题排查与修复

你遇到的问题核心是对Elixir with 语句的工作机制理解有误。with 语句的每个子句是模式匹配绑定，只有当某个子句的模式匹配失败时，才会跳转到 else 分支执行。

在你的代码里：

• m1 <- Repo.get(Model1, params["model1_id"])：不管 Repo.get 返回结构体还是 nil，m1 都会被成功绑定（绑定到结构体或 nil），不会触发模式匹配失败。
• m2 <- Repo.get(Model2, params["model2_id"])：同理，哪怕返回 nil，m2 也会被绑定到 nil，匹配成功。
• 最后一行 !is_nil(m1) and !is_nil(m2)：这只是一个普通的布尔表达式，当 m2 是 nil 时它返回 false，但这个结果只会作为 with 块的最终返回值，并不会触发 else 分支——因为前面所有子句的模式匹配都成功完成了，else 只有在模式匹配失败时才会执行。

这就是为什么即使 m2 是 nil，代码依然会进入#1分支的原因。

有两种常见的修复方式，都能确保只有当 m1 和 m2 均非 nil 时才执行#1分支：

方案一：给 with 子句添加 Guard 条件 #

在每个 Repo.get 之后添加非空判断的 guard，当结果为 nil 时，guard 不满足会触发 else 分支：

def edit(conn, params) do
  with m1 <- Repo.get(Model1, params["model1_id"]),
       not is_nil(m1),
       m2 <- Repo.get(Model2, params["model2_id"]),
       not is_nil(m2) do
    # 这里只有当m1和m2都非nil时才会执行
    # 你的业务逻辑代码
  else
    _ -> raise ArgumentError, "not found"
  end
end

方案二：用模式匹配直接匹配非空结构体 #

因为 Repo.get 找到记录时返回的是结构体（属于 map 类型），而找不到时返回 nil，我们可以用模式匹配只接受非空的结构体：

def edit(conn, params) do
  with %{} = m1 <- Repo.get(Model1, params["model1_id"]),
       %{} = m2 <- Repo.get(Model2, params["model2_id"]) do
    # 这里只有当m1和m2都非nil（且是结构体）时才会执行
    # 你的业务逻辑代码
  else
    _ -> raise ArgumentError, "not found"
  end
end

如果你的模型有特定的结构体名称（比如 %Model1{}），也可以写成更精确的模式：%Model1{} = m1 <- Repo.get(...)，这样能确保绑定的是正确类型的结构体，而不是其他map。

额外优化：区分不同的错误场景 #

如果需要区分是 m1 找不到还是 m2 找不到，可以在 else 分支里匹配具体的失败情况：

def edit(conn, params) do
  with %Model1{} = m1 <- Repo.get(Model1, params["model1_id"]),
       %Model2{} = m2 <- Repo.get(Model2, params["model2_id"]) do
    # 业务逻辑
  else
    nil -> raise ArgumentError, "Model1 or Model2 not found"
    _ -> raise ArgumentError, "Invalid record type"
  end
end

内容的提问来源于stack exchange，提问作者mikluha