基类含泛型约束时如何定义派生类？C#泛型新手求助

我是C#泛型新手，编写代码时在创建Derived类过程中出现错误，不清楚如何正确定义符合基类泛型约束的派生类，特向大家求助。

代码示例 #

public class Program
{
    static void Main(string[] args)
    {
    }
}

public class People
{

}

public interface IBaseClass<out T>
{
    T GetPeople(int t);
}

public interface IDerivedClass : IBaseClass<People>
{

}

public abstract class BaseClass<T> where T : People, IBaseClass<T>
{

}

public class Derived : BaseClass<People>, IDerivedClass
{

}

错误信息 #

编译器报错：People类型无法满足BaseClass<T>的泛型约束，因为People未实现IBaseClass<People>接口。

问题分析 #

你定义的BaseClass<T>有两个泛型约束：

• T必须继承自People
• T必须实现IBaseClass<T>接口

但你在实例化BaseClass<People>时，People类只满足第一个约束，并没有实现IBaseClass<People>，这就导致了编译错误。

解决方案 #

根据你的设计需求，有三种可行的修正方式：

1. 让People类实现IBaseClass #

直接修改People类，使其满足基类的约束：

public class People : IBaseClass<People>
{
    public People GetPeople(int t)
    {
        // 这里添加方法的具体实现逻辑
        return new People();
    }
}

2. 调整BaseClass的泛型约束 #

如果你的设计不需要T实现IBaseClass<T>，可以去掉这个约束：

public abstract class BaseClass<T> where T : People
{

}

3. 使用CRTP模式（让派生类自身作为泛型参数） #

如果你的初衷是让Derived类满足基类的约束，可以将Derived作为BaseClass的泛型参数传入，同时实现对应的接口方法：

public abstract class BaseClass<T> where T : People, IBaseClass<T>
{

}

public class Derived : BaseClass<Derived>, IDerivedClass
{
    public People GetPeople(int t)
    {
        return new People();
    }
}

// 为了兼容协变，给IBaseClass添加泛型约束
public interface IBaseClass<out T> where T : People
{
    T GetPeople(int t);
}

这种模式常用于实现静态多态或链式调用的场景。

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