EntityFramework Core 9.0 中 ICollection.Count 查询优化问题解析

在 EntityFramework Core 9.0 中，微软引入了一项重要的查询优化：当使用 .Count 方法时，查询会被优化为使用 EXISTS 而不是 COUNT。这项优化显著提升了查询性能，特别是在判断集合是否包含元素时。然而，这项优化目前只对 List<T> 类型有效，而对于更通用的 ICollection<T> 接口却没有应用相同的优化策略。

问题现象

当开发者在 EF Core 9.0 中使用 ICollection<T> 类型的导航属性，并执行类似 context.Blogs.Where(b => b.Posts.Count > 0) 的查询时，生成的 SQL 仍然是传统的 COUNT(*) 形式：

SELECT [b].[Id]
FROM [Blogs] AS [b]
WHERE (
    SELECT COUNT(*)
    FROM [Post] AS [p]
    WHERE [b].[Id] = [p].[BlogId]) > 0

更糟糕的是，如果使用 != 0 而不是 > 0，生成的 SQL 会更加复杂：

SELECT [b].[Id]
FROM [Blogs] AS [b]
WHERE (
    SELECT COUNT(*)
    FROM [Post] AS [p]
    WHERE [b].[Id] = [p].[BlogId]) <> 0 OR (
    SELECT COUNT(*)
    FROM [Post] AS [p]
    WHERE [b].[Id] = [p].[BlogId]) IS NULL

技术背景

在数据库查询优化中，EXISTS 通常比 COUNT 更高效，因为：

1. EXISTS 只需要找到第一个匹配项就可以返回结果
2. COUNT 需要遍历整个结果集来计算总数
3. 对于大型集合，这种性能差异会非常明显

EF Core 9.0 的这项优化本应自动将 .Count > 0 转换为 EXISTS 查询，但目前的实现存在类型检查上的缺陷。

问题根源

问题的核心在于 QueryableMethodNormalizingExpressionVisitor 类中的类型检查逻辑。当前实现只检查了类型直接实现的接口，而没有考虑类型本身就是接口的情况。具体来说：

• 对于 List<T>，它能正确识别实现了 ICollection<T>
• 但对于 ICollection<T> 本身，由于它是接口而不是类，GetInterfaces() 方法不会返回它自身

解决方案

社区贡献者提出了修复方案：修改类型检查逻辑，使其不仅检查实现的接口，还检查类型本身是否是 ICollection<T>。这可以通过检查类型的泛型定义是否为 ICollection<> 来实现。

修复后的代码将能够正确处理以下情况：

1. 直接使用 ICollection<T> 类型的属性
2. 使用实现了 ICollection<T> 的类类型属性
3. 使用继承自 ICollection<T> 的其他接口类型属性

最佳实践建议

在等待官方修复发布期间，开发者可以采取以下措施：

1. 继续使用 .Any() 方法，它始终会生成优化的 EXISTS 查询
2. 如果必须使用 .Count，考虑将导航属性类型改为具体集合类型如 List<T>
3. 避免使用 != 0 这种比较方式，它会生成更复杂的 SQL

这项优化问题的修复将进一步提升 EF Core 9.0 的查询性能，特别是在处理大型数据集时。开发者应当关注官方更新，以便在修复发布后及时获得性能提升。