为何泛型实现接口不支持协变，继承基类却支持？

在实现泛型时会发现，当泛型约束为实现接口的类和继承基类的类时，存在明显行为差异：接口约束场景下无法调用接收IEnumerable<IBarInterface>的方法，而基类约束场景下可正常调用。以下是对应的C#示例代码：

public interface IBarInterface
{
    public int Value { get; set; }
}

public class FooInterface<TInterface> where TInterface : IBarInterface
{
    private List<TInterface> _items;

    public List<TInterface> Items => _items;

    // Does not compile:
    //  Argument type 'System.Collections.Generic.List<TInterface>' is not assignable to parameter type 'System.Collections.Generic.IEnumerable<IBarInterface>'
    public bool SomeValue => Processors.DoSomethingInterface(_items);

    public FooInterface()
    {
        _items = new List<TInterface>();
    }
}

public class BarClass
{
    public int Value { get; set; }
}

public class FooClass<TClass> where TClass : BarClass
{
    private List<TClass> _items;

    public List<TClass> Items => _items;

    // Does compile
    public bool SomeValue => Processors.DoSomethingClass(_items);

    public FooClass()
    {
        _items = new List<TClass>();
    }
}

public static class Processors
{
    public static bool DoSomethingInterface(IEnumerable<IBarInterface> items)
        => items.Count() % 2 == 0;

    public static bool DoSomethingClass(IEnumerable<BarClass> items)
        => items.Count() % 2 == 0;
}

核心原因：泛型协变的类型安全规则差异 #

基类约束场景：支持隐式协变转换 #

当TClass是BarClass的子类时，List<TClass>可以隐式转换为IEnumerable<BarClass>。这是因为.NET中引用类型的泛型接口（如IEnumerable<T>）对引用类型参数支持协变——子类集合的元素必然符合父类的类型要求（里氏替换原则），因此可以安全地当作父类集合的枚举来使用，编译器允许这种隐式转换。

接口约束场景：默认不允许隐式协变转换 #

虽然TInterface实现了IBarInterface，但List<TInterface>无法直接隐式转换为IEnumerable<IBarInterface>，核心原因是编译器无法确定TInterface是否为值类型：

• 如果TInterface是值类型（比如结构体实现接口），值类型的枚举无法被协变转换为接口类型的枚举——这涉及到装箱操作，语义上和引用类型的协变完全不同，无法保证类型安全。
• 泛型约束where TInterface : IBarInterface并没有限制TInterface必须是引用类型，因此编译器为了避免潜在的类型安全问题，直接禁止了这种隐式转换。

可选解决办法 #

如果需要让接口约束场景的代码编译通过，可以采用以下两种方式：

• 添加引用类型约束：给泛型约束加上class限定，确保TInterface是引用类型，编译器会允许协变转换：

  public class FooInterface<TInterface> where TInterface : class, IBarInterface
  

• 显式类型转换：使用Cast方法将集合元素显式转换为接口类型：

  public bool SomeValue => Processors.DoSomethingInterface(_items.Cast<IBarInterface>());
  

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