C＃是否支持返回类型协方差？

一尘不染

C＃是否支持返回类型协方差？

我正在使用.NET框架，但我确实希望能够制作一个供我所有网站使用的自定义类型的页面。当我尝试从控件访问页面时，问题就来了。我希望能够返回我的特定页面类型而不是默认页面。有什么办法吗？

public class MyPage : Page
{
    // My own logic
}

public class MyControl : Control
{
    public MyPage Page { get; set; }
}

阅读 258

2020-05-19

共1个答案

一尘不染

听起来您想要的是返回类型协方差。C＃不支持返回类型协方差。

返回类型协方差是您在其中重写基类方法的方法，该方法返回不那么特定的类型，而返回一个更具体的类型：

abstract class Enclosure
{
    public abstract Animal Contents();
}
class Aquarium : Enclosure
{
    public override Fish Contents() { ... }
}

这是安全的，因为通过附件访问内容的消费者希望有动物，而水族馆承诺不仅要满足该要求，而且要做出更严格的承诺：动物永远是鱼。

这种协方差在C＃中不受支持，而且不太可能得到支持。CLR不支持它。（它受C 和CLR上C /
CLI实现的支持；它是通过生成我在下面建议的那种神奇的辅助方法来实现的。）

（某些语言也支持形式参数类型的自变量-
您可以使用采用Animal的方法覆盖采用Fish的方法。同样，合同已得到满足；基类要求处理任何Fish，派生该类承诺不仅可以处理鱼类，而且还可以处理任何动物。同样，C＃和CLR不支持形式参数类型的自变量。

解决此限制的方法是执行以下操作：

abstract class Enclosure
{
    protected abstract Animal GetContents();
    public Animal Contents() { return this.GetContents(); }
}
class Aquarium : Enclosure
{
    protected override Animal GetContents() { return this.Contents(); }
    public new Fish Contents() { ... }
}

现在，您不仅获得了覆盖虚拟方法的好处，而且在使用编译时类型的Aquarium时获得了更强的键入功能。

2020-05-19