Ecto 3.12 版本中关于未知绑定的警告问题解析

在升级到 Ecto 3.12 版本后，一些开发者遇到了一个奇怪的问题：某些原本正常工作的查询突然开始报出"invalid query has specified more bindings than bindings available in where"的警告，提示存在未知绑定(unknown_binding)，但实际上查询语句中并没有明显的绑定问题。

问题现象

当开发者从 Ecto 3.11.2 升级到 3.12.4 后，一些包含子查询的复杂查询开始出现编译错误。错误信息表明查询中指定的绑定比where子句中可用的绑定多，但仔细检查查询语句后，并没有发现明显的绑定问题。

问题重现

通过简化问题，我们可以重现这个错误：

defmodule EctoTest.Stuff do
  import Ecto.Query

  def da_query do
    base_query = from ef in "ef", select: 1

    subquery = or_where(base_query, parent_as(:e).id == ^1)

    query = from(e in "e",
      as: :e,
      where: exists(subquery),
      select: e.id
    )

    EctoTest.Repo.all(query)
  end
end

这个查询在 Ecto 3.11 中可以正常工作，但在 3.12 版本中会报错。

问题根源

经过深入分析，发现问题出现在以下特定条件下：

1. 查询中包含一个位于where子句中的子查询
2. 该子查询需要将一个查询参数转换为由parent_as/as指定的字段类型

具体来说，错误发生在Ecto的查询规划器(planner)中，当尝试获取字段类型时，query.sources意外地变成了nil。这个问题是在Ecto 3.12版本中的一次提交后引入的。

技术细节

在Ecto内部，类型转换和绑定处理流程如下：

1. 当处理查询参数时，系统会调用cast_param函数
2. cast_param会进一步调用field_type来获取字段类型
3. field_type又依赖于get_source来获取源信息
4. 在这个链条中，query.sources意外地变成了nil，导致类型转换失败

解决方案

Ecto团队已经确认了这个问题并提供了修复方案。修复主要针对查询规划器中处理子查询和绑定的逻辑，确保在类型转换过程中能够正确获取源信息。

升级建议

对于遇到此问题的开发者，建议：

1. 检查项目中是否存在类似模式的查询
2. 关注Ecto的后续版本更新，及时升级到包含修复的版本
3. 如果暂时无法升级，可以考虑重构查询以避免触发这个特定条件

这个问题展示了Ecto在复杂查询处理中的一些边界情况，也提醒我们在升级ORM框架时需要充分测试各种查询场景。