EntityFramework Core 9.0 中可空类型比较的回归问题解析

在 EntityFramework Core 9.0 版本中，开发人员发现了一个关于可空类型比较的回归问题。这个问题影响了使用空值合并运算符（??）与可空类型进行比较的查询操作。

问题现象

当开发人员尝试在 EF Core 9.0 中执行类似以下的查询时：

int? test = 1;
var blog = db.Blogs
    .Where(b => b.BlogId == (test ?? 0)).ToList();

系统会抛出以下异常：

System.InvalidOperationException: The binary operator Equal is not defined for the types 'System.Int32' and 'System.Nullable`1[System.Int32]'

这个问题在 EF Core 8.0 版本中并不存在，但在升级到 9.0 后开始出现。

技术背景

这个问题源于 EF Core 9.0 中表达式树处理逻辑的变化。具体来说，是 funcletizer（表达式树简化器）在处理空值合并运算符时的行为发生了变化。

在 EF Core 9.0 中，当 funcletizer 遇到 test ?? 0 这样的表达式时，如果 test 的值不为 null，它会直接将整个表达式替换为 test。然而，这里存在一个类型不匹配的问题：

• 空值合并运算符 ?? 的结果类型是非可空类型（在这个例子中是 int）
• 但 test 本身是可空类型（int?）

这种类型不匹配导致了后续比较操作时的异常。

影响范围

这个问题不仅影响简单的相等比较，还会影响其他操作：

1. 包含操作：

Guid? scopeId = null;
Guid defaultScopeId = some_value;
entities.Where(e => e.Scopes.Select(s => s.Id).Contains(scopeId ?? defaultScopeId));

2. 算术运算：

.Where(x => x.Integer > anotherInteger + (params.NullableInteger ?? 0))

3. 其他使用空值合并运算符的场景

临时解决方案

在 EF Core 团队发布修复版本前，开发人员可以使用以下临时解决方案：

1. 显式类型转换：

.Where(b => b.BlogId == (int)(test ?? 0))

2. 使用条件表达式替代空值合并运算符：

.Where(b => b.BlogId == (test.HasValue ? test.Value : 0))

问题修复

EF Core 团队已经确认这是一个回归问题，并计划在 9.0.1 版本中修复。修复的核心思路是：

1. 在 funcletizer 简化表达式时，正确处理类型转换
2. 当优化掉空值合并运算符时，确保添加必要的类型转换节点
3. 保持与之前版本一致的行为

最佳实践

为了避免类似问题，建议开发人员：

1. 在升级 EF Core 版本时，全面测试涉及可空类型的查询
2. 考虑使用显式类型转换，使代码意图更清晰
3. 关注 EF Core 的发布说明，了解已知问题和修复情况

总结

EF Core 9.0 中出现的这个可空类型比较问题，虽然影响范围有限，但对于依赖此类查询的应用程序来说可能会造成较大影响。理解问题的本质和临时解决方案，可以帮助开发人员平稳过渡到修复版本。同时，这也提醒我们在使用 ORM 框架时，需要特别注意类型系统的细微差别。