C#中如何让泛型方法支持协变？问题与解决方案咨询

问题背景 #

先给出相关类型定义：

public interface IVehicle { }

public class Ship : IVehicle { }

public interface IDesign<out T> where T : IVehicle { }

public class Design<T> : IDesign<T> where T : IVehicle { }

非泛型方法MakeDesign1可正常编译运行：

void MakeDesign1()
{
    ICollection<IDesign<IVehicle>> list = new List<IDesign<IVehicle>>();
    var design = new Design<Ship>();
    list.Add(design);
}

但泛型版本MakeDesign2编译报错：

void MakeDesign2<T>()
    where T : IVehicle
{
    ICollection<IDesign<IVehicle>> list = new List<IDesign<IVehicle>>();
    var design = new Design<T>();
    list.Add(design); // 此处触发编译错误
}

错误信息：

Error CS1503 Argument 1: cannot convert from Design<T> to IDesign<IVehicle>

问题原因 #

虽然IDesign<T>是协变接口（用out修饰类型参数），且T被约束为IVehicle，但在泛型方法MakeDesign2<T>中，编译器无法确定T是具体的派生类型还是IVehicle本身。由于T是抽象的类型参数，编译器默认不会自动执行协变转换，它需要明确的信号确认转换的安全性——而在非泛型方法中，Ship是确定的IVehicle派生类，协变转换的合法性是明确的。

解决方案（无需新增无参数IDesign接口） #

有三种可行的解决方式：

方式一：显式强制转换 #

直接对实例进行显式引用转换，告知编译器该转换安全：

void MakeDesign2<T>()
    where T : IVehicle
{
    ICollection<IDesign<IVehicle>> list = new List<IDesign<IVehicle>>();
    var design = new Design<T>();
    list.Add((IDesign<IVehicle>)design);
}

方式二：使用as运算符安全转换 #

如果希望避免强制转换的潜在风险（当前约束下无实际风险），可使用as做安全转换：

void MakeDesign2<T>()
    where T : IVehicle
{
    ICollection<IDesign<IVehicle>> list = new List<IDesign<IVehicle>>();
    var design = new Design<T>();
    var vehicleDesign = design as IDesign<IVehicle>;
    if (vehicleDesign != null)
    {
        list.Add(vehicleDesign);
    }
}

方式三：通过中间变量实现隐式转换 #

先将实例赋值给IDesign<IVehicle>类型的变量，利用类型推断完成隐式转换：

void MakeDesign2<T>()
    where T : IVehicle
{
    ICollection<IDesign<IVehicle>> list = new List<IDesign<IVehicle>>();
    IDesign<IVehicle> design = new Design<T>();
    list.Add(design);
}

补充说明 #

IDesign<out T>的协变性保证了T是输出类型，因此从IDesign<T>转换到IDesign<IVehicle>是完全安全的，不会存在运行时类型转换异常的风险。泛型方法中需要显式处理，只是编译器对泛型类型参数的转换检查更严格而已。

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