使用泛型在类之间进行转换

Question

有人可以解释为什么这段代码不起作用？ b为什么不能施放？ 我在考虑协方差和逆变，但就我而言，这不适用于抽象类。

编译错误：无法将类型“ConsoleApplication1.SVM”转换为“ConsoleApplication1.VMSBase”ConsoleApplication1 \\ Program.cs

class Program
{
    static void Main(string[] args)
    {
        var a = new SVM();

        var b = (VMSBase<Model>)a;
    }
}

class SVM : VMSBase<SpecialModel>
{

}

class VMSBase<TS> : VMBase<TS> where TS : Model
{

}

class VMBase<T> where T : Model
{
}

class SpecialModel : Model
{

}

class Model
{

}

Answer 1

SVM是VMSBase<SpecialModel>的子类型，因此可以转换为一个。

但是VMSBase<SpecialModel>和VMSBase<Model>之间没有多态关系，因为VMSBase<T>的泛型类型参数T是不变的 。

---

为了使VMSBase<X>成为VMSBase<Y>的子类型（其中X是Y的子类型）， T必须是协变的 。 您使用out关键字将其标记为协变： VMSBase<out T> 。 但是，这会强制您仅将类型T用于所有成员（方法，属性等）的返回值，而不是作为输入值（方法参数）。

还有一个问题：c＃只允许接口出现差异。 因此，您必须将VMBase和VMSBase都更改为接口。

class Program
{
    static void Main(string[] args)
    {
        SVM a = new SVM();
        var b = a as IVMSBase<Model>;
    }
}

class SVM : IVMSBase<SpecialModel> {}

interface IVMSBase<out TS> : IVMBase<TS> where TS : Model {}

interface IVMBase<out T> where T : Model {}

更多信息： 协方差和逆变法常见问题解答

Answer 2

底线是VMSBase<SpecialModel>与VMSBase<Model> 。

这就是为什么不能编译的原因：

 List<ViewBase> list = new List<GridView>();

虽然GridView继承自ViewBase。

这就是语言的工作原理，你可能会说的泛型的限制。

Answer 3

想象一下，你可以合法地进行演员表演。 现在假设我们定义了这种方法来吃模型：

class VMSBase<TS> : VMBase<TS> where TS : Model
{
    public void GobbleUpModel(TS model)
    {

    }
}

使用这个，我们现在可以绕过以下的类型安全（如果你之前没有见过，则会令人惊讶）方式：

//SpecialModel2 is some other subclass of Model, not related to SpecialModel
SpecialModel2 incompatibleModel;

var a = new VMSBase<SpecialModel>();

var b = (VMSBase<Model>)a;

//forces a to gobble up a model that is incompatible with SpecialModel
b.GobbleUpModel(incompatibleModel);

Answer 4

泛型在C＃中不变的原因是因为它可能导致输入问题：使用您的示例，假设VMSBase具有名为MyProperty的T类型的属性。 如果可以进行铸造，您可以执行以下操作：

var a = new VMSBase<SpecialModel>();
var b = (VMSBase<Model>) a;
b.MyProperty = new Model();

现在，您只需将b.MyProperty的值设置为Model的实例; 但这与VMSBase中预期的类型不一致，后者实际上是SpecialModel。