GraphQL Resolver 模拟在 Grafast 中的级联问题解析

问题背景

在 Graphile 的 Crystal 项目中，Grafast 作为 GraphQL 执行引擎，当前在处理 GraphQL resolver 模拟时存在一个关键限制。目前的实现是基于逐个字段的独立处理方式，当某个字段没有显式定义 resolver（或使用默认 resolver）时，系统不会应用 resolver 模拟功能，而是回退到默认的 Grafast 计划执行方式。

这种设计在大多数情况下工作良好，但当涉及到 GraphQL 的类型多态性（polymorphism）时就会出现问题，因为默认的 Grafast 计划并不支持 resolver 风格的多态性处理。

技术细节分析

当前实现的核心问题在于 resolver 模拟的传播机制不足。理想情况下，当一个字段启用了 GraphQL resolver 模拟后，其下所有子字段都应该继承这种模拟状态，直到遇到显式定义了 Grafast 计划的字段为止。

从技术实现角度看，这需要在查询计划（query planning）过程中维护一个 resolverEmulation 状态标志，并通过查询树向下传播。具体需要修改的关键点包括：

1. 计划解析阶段：当检测到字段有原始计划解析器（rawPlanResolver）时，应关闭 resolver 模拟状态
2. 解析器选择逻辑：在 resolverEmulation 模式下，应强制认为字段有解析器
3. 状态传播机制：当确定使用 resolver 时，应进入 resolverEmulation 模式
4. 递归处理：需要将 resolverEmulation 状态传递给下一级的查询计划处理

解决方案设计

要实现正确的级联行为，需要对 Grafast 引擎进行以下改进：

1. 状态跟踪：引入 resolverEmulation 布尔状态，初始为 false
2. 状态转换：
   • 遇到显式 Grafast 计划时关闭模拟
   • 遇到 GraphQL resolver 时开启模拟
3. 解析器选择：修改解析器选择逻辑，考虑当前模拟状态
4. 状态传播：在递归处理子字段时传递当前模拟状态

这种改进将确保 resolver 模拟行为能够正确地在查询树中向下传播，从而解决多态性场景下的问题，同时保持与现有行为的向后兼容性。

实现意义

这项改进将带来几个重要好处：

1. 多态性支持：能够正确处理 GraphQL 接口和联合类型的多态查询
2. 行为一致性：使 Grafast 的行为更接近传统 GraphQL 服务器的 resolver 处理方式
3. 渐进式迁移：为混合使用 GraphQL resolver 和 Grafast 计划的场景提供更好的支持
4. 开发者体验：减少因实现差异导致的意外行为，提高开发者的可预测性

这项改进虽然看似是内部实现的调整，但对于使用 Crystal 项目和 Grafast 引擎的开发者来说，将显著提升复杂查询场景下的稳定性和可靠性。