C#基类构造函数传IEnumerable泛型参数时类型不匹配问题

这个错误本质是C#泛型协变的转换规则限制，即使给T加了IExample实现约束，编译器也无法确认IEnumerable<T>到IEnumerable<IExample>的转换是合法的，核心逻辑如下：

• IEnumerable<T>从.NET 4.0版本开始虽然声明了协变类型参数（out T），允许将更具体的泛型类型隐式转换为更泛的类型，但协变仅支持引用转换、标识转换，不支持值类型到引用类型的装箱转换。
• where T : IExample约束仅要求T必须实现IExample接口，并没有限制T必须是引用类型——T完全可以是实现了IExample的结构体（值类型）。如果T是值类型，IEnumerable<T>转IEnumerable<IExample>需要对序列中的每个元素做装箱处理，不符合协变的无额外转换要求，编译器为了保障类型安全，会直接判定类型不兼容。

你可以用下面的极简代码复现这个类型不兼容问题：

public interface IExample { }
// 定义实现IExample的值类型
public struct ExampleStruct : IExample { }

// 直接赋值会触发和你遇到的完全一致的编译错误
IEnumerable<ExampleStruct> structEnum = Enumerable.Empty<ExampleStruct>();
IEnumerable<IExample> exampleEnum = structEnum;

如果把T换成实现IExample的引用类型，协变转换可以正常生效：

public class ExampleClass : IExample { }
IEnumerable<ExampleClass> classEnum = Enumerable.Empty<ExampleClass>();
IEnumerable<IExample> exampleEnum = classEnum; // 编译通过

根据业务场景选择其中一种即可：

• 方案1：如果不需要支持值类型作为泛型参数T，给T增加class约束，强制T为引用类型。此时T到IExample的转换属于引用转换，满足协变要求，原有传参逻辑不需要修改：

public class FailingClass<T> : BaseClass
    where T : class, IExample // 新增class约束
{
    public FailingClass(IEnumerable<T> a): base(a) { } // 编译正常
}

• 方案2：如果需要支持值类型作为T，显式将序列元素转换为IExample类型再传入基类构造函数即可，最简便的方式是调用LINQ的Cast<T>()扩展方法：

using System.Linq;

public class FailingClass<T> : BaseClass
    where T : IExample
{
    public FailingClass(IEnumerable<T> a): base(a.Cast<IExample>()) { } // 编译正常
}

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