EF Core主键引用外键导致无法创建迁移的问题求助

执行dotnet ef migrations add Initial命令时出现以下错误：

无法创建类型为''的'DbContext'。
创建实例时引发异常：'TestChild.Parent'的'TestParent'属性无法映射，因为数据库提供程序不支持该类型。
请考虑使用值转换器将属性值转换为数据库支持的类型。
或者，使用'[NotMapped]'特性或在'OnModelCreating'中使用'EntityTypeBuilder.Ignore'将该属性排除在模型之外。
有关设计时支持的不同模式，请见相关文档。

我的最简模型如下：

public class RecipeContext : DbContext
{
    public DbSet<TestParent> Parents { get; set; }

    public RecipeContext(DbContextOptions<RecipeContext> options)
    : base(options)  {  }
}

[PrimaryKey(nameof(Name))]
public class TestParent
{
    [Required]
    public string Name { get; set; }

    public virtual ICollection<TestChild> Children { get; set; }
}

[PrimaryKey(nameof(Parent))]
public class TestChild
{
    [Required]
    public virtual TestParent Parent { get; set; }
}

实际场景中TestChild需要复合主键（比如[PrimaryKey(nameof(Parent), nameof(Name))]），以此实现每个Parent下只能有一个同名Child的唯一性约束。我试过Sqlite和SQL Server提供程序，报错完全一致，说明问题不是数据库特定的，而是对EF Core（v8.0.4）导航关联/外键特性的使用有误。只要TestChild的主键不包含导航属性Parent就能正常运行，但这不符合我的业务约束需求。

想请教：EF Core对此类需求有官方说明吗？该如何正确实现？

错误原因 #

EF Core不支持直接将导航属性（比如TestChild.Parent）设为主键的一部分。数据库层面只能存储标量类型的键值，导航属性是EF Core用来表示实体关联的抽象，无法直接映射到数据库列，这就是报错的核心原因。

正确实现方式 #

要实现“每个Parent下只能有一个同名Child”的约束，你需要：

1. 在TestChild中添加对应父实体主键的标量外键属性，而不是直接用导航属性作为主键。
2. 将这个标量外键属性和TestChild自身的Name属性一起设为复合主键。

修改后的模型示例：

[PrimaryKey(nameof(ParentName), nameof(Name))]
public class TestChild
{
    // 对应TestParent的主键Name的标量外键属性
    [Required]
    public string ParentName { get; set; }

    // TestChild自身的Name属性
    [Required]
    public string Name { get; set; }

    // 导航属性，EF Core会自动关联到ParentName外键
    [ForeignKey(nameof(ParentName))]
    public virtual TestParent Parent { get; set; }
}

[PrimaryKey(nameof(Name))]
public class TestParent
{
    [Required]
    public string Name { get; set; }

    public virtual ICollection<TestChild> Children { get; set; }
}

补充说明 #

• EF Core会自动识别ParentName作为TestParent的外键，因为TestParent的主键是Name，且属性名符合命名约定（ParentName对应Parent导航属性的主键Name）。如果命名不符合约定，需要显式用[ForeignKey]特性指定关联关系。
• 复合主键(ParentName, Name)直接在数据库层面实现了你需要的唯一性约束，无需额外添加唯一索引。

内容的提问来源于stack exchange，提问作者BevanWeiss