C#协变与CS0266错误：泛型约束为何需添加class？

正常协变的可行示例 #

我们知道IEnumerable<T>作为协变接口支持如下隐式转换：

IEnumerable<object> objects;
IEnumerable<string> strings = new[] { "hello", "world" };
objects = strings;

这段代码能正常编译运行，因为string是引用类型，可隐式转换为object，而协变接口允许将IEnumerable<派生类型>赋值给IEnumerable<基类型/接口>。

带无class约束的泛型方法报错示例 #

但当泛型方法仅约束T实现ISerializable时，同样的转换会报错：

void Test<T>(T blah) where T : ISerializable
{
    IEnumerable<T> x = new[] { blah };
    IEnumerable<ISerializable> y;
    y = x;
}

报错信息：

[CS0266] Cannot implicitly convert type 'System.Collections.Generic.IEnumerable' to 'System.Collections.Generic.IEnumerable<System.Runtime.Serialization.ISerializable>'.
An explicit conversion exists (are you missing a cast?)

添加class约束后的可行示例 #

若在泛型约束中添加class限定，代码即可正常编译：

void Test<T>(T blah) where T : class, ISerializable

核心原因 #

• 协变的隐式转换仅支持引用类型：IEnumerable<T>的协变能力依赖于引用类型的继承转换逻辑。当仅约束T : ISerializable时，T可能是值类型（比如实现了ISerializable的结构体），而值类型不存在引用转换，无法进行协变的隐式赋值。
• 添加class约束后，编译器能确定T必然是引用类型，完全符合协变的前提条件，因此允许IEnumerable<T>隐式转换为IEnumerable<ISerializable>。

与报错信息的关联 #

报错提示的“无法隐式转换，存在显式转换”，本质是编译器无法确定T的类型类别：

• 如果T是值类型，这种协变转换本身不合法；
• 如果T是引用类型，显式转换可以完成，但编译器无法在无约束的情况下保证安全性，因此拒绝隐式转换。
  添加class约束后，编译器确认T为引用类型，隐式转换的安全性得到保障，自然消除了报错。

内容的提问来源于stack exchange，提问作者Luís Guilherme