C#实现接口成员时为何不能用派生类型替代接口约定的返回类型

核心原因 #

这个报错是C#版本特性限制导致的：

• C# 9.0 之前的语言规范要求，类实现接口时，成员的返回类型必须和接口定义的返回类型完全一致，哪怕你用的类型已经实现了对应的接口，也不能直接用来做接口成员的返回类型。
• 你平时其他场景可以互换两个类型使用，是因为StreetModel实现了IStreetModel，属于兼容的隐式类型转换，和接口实现的签名严格匹配规则是两套逻辑，不能混为一谈。

为什么C# 9.0之前不支持这种写法？ #

早期C#没有加入「返回类型协变」的特性，接口的定义本质是一个严格的契约，要求实现方的成员签名和契约声明100%对齐，编译器不会自动帮你做返回类型的兼容转换，避免出现契约实现不一致的风险。

解决方案 #

方案1：升级C#版本（推荐） #

只要把你的项目C#语言版本升级到9.0及以上，你现在写的代码就可以直接编译通过。C# 9.0正式新增了返回类型协变支持，允许类实现接口时，用更具体的派生类型（包括实现了对应接口的类型）作为接口成员的返回值。

方案2：兼容低版本C#的写法 #

如果你的项目暂时不能升级C#版本，可以用「显式接口实现+公开具体类型属性」的方式兼顾接口契约和使用便利性：

public class LocationModel: ILocationModel {
    // 显式实现接口，满足编译器对签名匹配的要求
    IStreetModel ILocationModel.Street => Street;
    // 公开具体类型的属性，直接使用时不需要额外转型
    public StreetModel Street { get; }
}

这种写法下，当你把LocationModel实例当作ILocationModel接口使用时，拿到的是IStreetModel类型的属性，符合接口契约；当你直接使用LocationModel实例时，拿到的就是StreetModel类型的属性，不需要手动转型。

补充说明 #

你提到的集合场景的协变和这个不是同一个特性：集合的协变是C# 4.0就支持的泛型协变（仅支持带out关键字修饰的泛型接口/委托），而接口实现的返回类型协变是C# 9.0才新增的特性，两者的适用场景和限制都不一样。

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