Apollo iOS 中联合类型转换问题的分析与修复

问题背景

在 Apollo iOS 客户端 1.8.0 版本中，存在一个关于 GraphQL 联合类型(Union)转换的边界情况问题。当查询中只包含 __typename 字段的空内联片段时，类型转换方法 asXXXXXXX 不会按预期返回 nil。

技术细节

问题重现

考虑以下 GraphQL 模式定义：

type Query {
  main: Main!
}

type Main {
  thing: Thing!
}

union Thing = MyObject | MyError

type MyObject {
  id: Int!
}

type MyError {
  code: Int!
}

当执行以下查询时：

query {
  main {
    thing {
      ... on MyObject {
        __typename
      }
    }
  }
}

如果 main.thing 实际上是 MyError 类型，理论上 main.thing.asMyObject 应该返回 nil，但实际上却返回了非 nil 值。

问题根源

经过分析，发现问题的核心在于代码生成逻辑：

1. 当内联片段选择集为空(仅含 __typename)时，生成的 AsMyObject 结构体错误地实现了 ApolloAPI.CompositeInlineFragment 协议
2. 这导致调用了错误的 _asInlineFragment 方法版本(func _asInlineFragment<T: CompositeInlineFragment>() -> T?)
3. 由于空的 __mergedSources 列表，类型检查无法正确工作

相比之下，当内联片段包含实际字段时：

... on MyObject {
  __typename
  id
}

生成的代码会正确实现 SelectionSet 协议，调用正确的 _asInlineFragment 方法版本(func _asInlineFragment<T: SelectionSet>() -> T?)，从而得到预期的 nil 返回值。

解决方案

Apollo iOS 团队确认这是一个长期存在的 bug，并已修复以下问题：

1. 修正了代码生成逻辑，确保空内联片段不会错误地实现 CompositeInlineFragment 协议
2. 确保类型转换方法在所有情况下都能正确返回 nil 当类型不匹配时

开发者建议

对于使用 Apollo iOS 客户端的开发者，建议：

1. 在查询联合类型时，尽量避免仅查询 __typename 的空内联片段
2. 如果需要类型信息，考虑至少包含一个实际字段以确保类型转换行为正确
3. 升级到包含此修复的版本后，可以安全地使用各种形式的类型转换查询

此修复将包含在 Apollo iOS 的下一个版本中，为开发者提供更一致和可靠的联合类型处理体验。