EntityFramework Core 9.0 中 ImmutableArray.Contains 方法的回归问题分析

问题背景

在 EntityFramework Core 从 8.0.1 升级到 9.0.0 版本后，开发者报告了一个关于集合查询的回归问题。具体表现为：当使用 ImmutableArray<T> 的 Contains 方法进行查询时，EF Core 9.0 会抛出异常，而同样的代码在 8.0.1 版本中可以正常工作。如果改用普通的 Array 类型，则查询可以正常执行。

问题重现

典型的错误场景如下代码所示：

var dbKeys = dbTags.Select(t => t.Value).Distinct().ToImmutableArray();

var existingEntities = await context
    .Tags.Where(t => dbKeys.Contains(t.Value))
    .ToArrayAsync(cancellationToken);

错误信息表明 EF Core 无法将 ImmutableArray<string> 类型转换为 IEnumerable<string> 类型，导致查询翻译失败。

技术分析

查询翻译机制的变化

EF Core 9.0 在查询翻译机制上进行了优化，特别是在处理集合的 Contains 方法时。新版本对集合类型的处理更加严格，要求集合类型必须能够明确地转换为 EF Core 内部使用的查询表达式形式。

ImmutableArray 的特殊性

ImmutableArray<T> 虽然实现了 IEnumerable<T> 接口，但其内部实现与普通集合有所不同。EF Core 9.0 的查询翻译器在处理这类特殊集合类型时，未能正确识别其 Contains 方法，导致翻译失败。

解决方案对比

目前可行的解决方案包括：

1. 改用普通数组：最简单的解决方案是将 ToImmutableArray() 改为 ToArray()
2. 使用 AsEnumerable()：临时解决方案是调用 AsEnumerable() 方法
3. 等待官方修复：EF Core 团队已确认这是一个回归问题，将在后续版本中修复

深入理解集合查询

EF Core 对集合类型的处理

EF Core 在处理集合查询时，会尝试将客户端集合转换为数据库查询。对于 Contains 方法，EF Core 会将其翻译为 SQL 中的 IN 操作符。这一过程依赖于对集合类型的识别和转换。

泛型集合的特殊情况

开发者还报告了与泛型集合相关的类似问题。EF Core 对泛型集合的处理有以下特点：

1. 假设第一个泛型参数是元素类型
2. 要求集合实现 ICollection<T> 接口
3. 对自定义集合类型的 Contains 方法有特殊处理逻辑

查询性能影响

值得注意的是，EF Core 9.0 对 HashSet<T> 的处理方式有所改变，现在会生成使用 OPENJSON 的 SQL 查询，这与之前的版本不同，可能会对查询性能产生影响。

最佳实践建议

1. 在 EF Core 9.0 中暂时避免使用 ImmutableArray<T> 进行 Contains 查询
2. 对于自定义集合类型，确保实现 ICollection<T> 接口
3. 在泛型集合中，将元素类型作为第一个泛型参数
4. 升级前充分测试集合查询相关的代码

总结

EF Core 9.0 在查询翻译机制上的改进带来了对集合类型处理的变化，导致 ImmutableArray<T> 的 Contains 方法出现回归问题。理解 EF Core 对集合查询的内部处理机制，有助于开发者编写更健壮的代码并在遇到类似问题时快速找到解决方案。建议关注 EF Core 的后续版本更新，以获取官方对此问题的修复。