EF Core 9.0 中新增实体时生成错误UPDATE语句的问题解析

问题现象

在EF Core 9.0版本中，开发者在处理一对多关系时遇到了一个特殊问题：当向已有实体的集合属性中添加新实体时，EF Core错误地生成了UPDATE语句而非预期的INSERT语句。这会导致数据库操作失败，抛出"数据可能已被修改或删除"的异常。

问题复现

考虑以下典型的一对多关系模型：

public class View
{
    public Guid view_id { get; set; }
    public string name { get; set; } = null!;
    public virtual ICollection<ViewColumn> Columns { get; set; } = new List<ViewColumn>();
}

public class ViewColumn
{
    public Guid column_id { get; set; }
    public Guid view_id { get; set; }
    public string type { get; set; }
    public virtual View View { get; set; } = null!;
}

当执行如下操作时：

var rel_view = db.Views.Include(x => x.Columns).FirstOrDefault(x => x.view_id == view_id);

var new_column = new ViewColumn()
{
    column_id = Guid.NewGuid(),  // 手动设置主键值
    type = "name",
};
rel_view.Columns.Add(new_column);
await db.SaveChangesAsync();

EF Core 9.0会生成UPDATE语句而非预期的INSERT语句。

问题根源

这个问题的核心在于EF Core对主键值生成策略的推断逻辑发生了变化：

1. 默认行为变化：在EF Core中，Guid类型的主键默认配置为自动生成值。当EF Core检测到主键属性已被显式设置时，它会认为这是一个已存在的实体，因此生成UPDATE语句而非INSERT语句。

2. 版本差异：EF Core 8.0.11及之前版本在此场景下存在bug，会错误地生成INSERT语句。EF Core 9.0修复了这个bug，使得行为更加符合预期。

3. 关系处理：通过导航属性添加实体与直接调用DbSet.Add()有细微差别，前者更依赖EF Core的变更跟踪推断。

解决方案

根据EF Core团队的建议，有以下几种解决方案：

方案一：遵循EF Core的默认值生成策略

var new_column = new ViewColumn()
{
    // 不设置column_id，让EF Core自动生成
    type = "name",
};
rel_view.Columns.Add(new_column);

这是最推荐的解决方案，完全遵循EF Core的设计理念。

方案二：显式配置值生成策略

如果确实需要手动设置主键值，应在模型配置中明确关闭自动生成：

modelBuilder.Entity<ViewColumn>(entity =>
{
    entity.Property(e => e.column_id).ValueGeneratedNever();
});

方案三：显式设置实体状态

var new_column = new ViewColumn()
{
    column_id = Guid.NewGuid(),
    type = "name",
};
rel_view.Columns.Add(new_column);
db.Entry(new_column).State = EntityState.Added;  // 显式标记为新增

方案四：直接使用Add方法

var new_column = new ViewColumn()
{
    column_id = Guid.NewGuid(),
    type = "name",
};
db.ViewColumns.Add(new_column);  // 直接添加到DbSet
rel_view.Columns.Add(new_column);

最佳实践建议

1. 一致性原则：在项目中统一主键值生成策略，要么全部自动生成，要么全部手动设置。

2. 明确性优先：当业务逻辑复杂时，优先使用显式操作（如直接调用Add或设置EntityState）而非依赖隐式推断。

3. 版本适配：升级到EF Core 9.0时，应检查所有涉及手动设置主键值的代码，确保其行为符合预期。

4. 测试覆盖：对于关键的数据操作逻辑，应编写充分的单元测试和集成测试，特别是涉及实体状态变化的场景。

总结

EF Core 9.0对实体状态推断逻辑的改进虽然可能导致部分现有代码需要调整，但这种变化使得框架行为更加合理和可预测。开发者应当理解EF Core的变更跟踪机制，并根据业务需求选择合适的主键值管理策略。在复杂场景下，显式操作往往比隐式推断更加可靠。