听起来您想要的是返回类型协方差。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时获得了更强的键入功能。



