C#中实现泛型接口时如何使用派生类型的属性？

你遇到的问题是C#中实现接口属性时，无法直接用接口的实现类类型替代接口类型来满足接口契约，以下是两种可行的实现技巧：

技巧1：显式接口实现 + 强类型属性 #

通过显式实现接口要求的属性，同时提供一个强类型的属性供日常使用，既满足接口契约，又能直接操作具体类型的Repository：

interface IGenericRepository<T> {}

interface IModel<T> {
    IGenericRepository<T> Repository { get; set; }
}

class ConcreteRepository : IGenericRepository<ConcreteModel>{}

class ConcreteModel : IModel<ConcreteModel> {
    // 供外部/内部直接使用的强类型属性
    public ConcreteRepository Repository { get; set; }

    // 显式实现接口，将接口属性映射到强类型属性
    IGenericRepository<ConcreteModel> IModel<ConcreteModel>.Repository {
        get => Repository;
        set => Repository = value as ConcreteRepository ?? throw new InvalidCastException("只能为Repository赋值ConcreteRepository类型的实例");
    }
}

这种方式需要注意：在通过接口类型访问Repository时，赋值必须是ConcreteRepository实例，否则会抛出异常。

技巧2：调整接口为多泛型参数，添加约束 #

修改IModel接口，增加一个泛型参数指定Repository的具体类型，并通过泛型约束确保该类型实现对应的IGenericRepository<T>：

interface IGenericRepository<T> {}

// 添加TRepo泛型参数，并约束为IGenericRepository<T>的实现类
interface IModel<T, TRepo> where TRepo : IGenericRepository<T> {
    TRepo Repository { get; set; }
}

class ConcreteRepository : IGenericRepository<ConcreteModel>{}

class ConcreteModel : IModel<ConcreteModel, ConcreteRepository> {
    // 直接使用具体类型作为属性类型，完全符合接口契约
    public ConcreteRepository Repository { get; set; }
}

这种方式更直接，通过扩展接口泛型参数，让实现类可以明确指定Repository的具体类型，无需类型转换。

原写法无效的原因 #

C#要求实现接口的成员必须与接口定义的成员完全匹配，包括类型。虽然ConcreteRepository是IGenericRepository<ConcreteModel>的实现类，但接口要求的属性类型是IGenericRepository<ConcreteModel>，直接用ConcreteRepository作为属性类型不满足接口契约，因此编译报错。

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