我在抽象类中定义的派生类中重载方法遇到了一个有趣的问题.这是一个代码示例:
public abstract class AbstractConverter<T,U> where U : AbstractConvertible where T : AbstractConverter<T,U> { public abstract T Convert(U convertible); } public class DerivedConvertibleConverter : AbstractConverter<DerivedConvertibleConverter,DerivedConvertible> { public DerivedConvertibleConverter(DerivedConvertible convertible) { Convert(convertible); } public override DerivedConvertibleConverter Convert(DerivedConvertible convertible) { //This will not be called System.Console.WriteLine("Called the most derived method"); return this; } public DerivedConvertibleConverter Convert(Convertible convertible) { System.Console.WriteLine("Called the least derived method"); return this; } } public abstract class AbstractConvertible {} public class Convertible : AbstractConvertible {} public class DerivedConvertible : Convertible {}
在上面的示例中,调用了抽象父级中不存在的Convert的重载(并且派生次数较少).我希望可以调用来自父类的派生程度最高的版本.
public abstract class AbstractConverter<U> where U : AbstractConvertible { public abstract AbstractConverter<U> Convert(U convertible); } public class DerivedConvertibleConverter : AbstractConverter<DerivedConvertible> { public DerivedConvertibleConverter(DerivedConvertible convertible) { Convert(convertible); } public override DerivedConvertibleConverter Convert(DerivedConvertible convertible) { System.Console.WriteLine("Called the most derived method"); return this; } public DerivedConvertibleConverter Convert(Convertible convertible) { System.Console.WriteLine("Called the least derived method"); return this; } } public abstract class AbstractConvertible {} public class Convertible : AbstractConvertible {} public class DerivedConvertible : Convertible {}
从基类中删除派生类型参数时,将调用转换的派生版本.我不希望这种差异,因为我不希望转换的抽象版本的接口发生变化.但是,我一定是错的.谁能解释为什么会出现这种差异?非常感谢你提前.
解决方法
In the sample above,the overload of Convert that does not exist in the abstract parent (and is less derived) is called. I would expect that the most derived version,from the parent class,would be called
很多人都有这种期望.但是,您观察到的行为是正确的,并且是设计的.
过载分辨率算法是这样的.首先,我们列出了您可以调用的所有可访问方法.覆盖虚方法的方法被认为是声明它们的类的方法,而不是覆盖它们的类.然后我们过滤掉那些无法将参数转换为形式参数类型的参数.然后我们过滤掉任何类型的方法都比具有适用方法的任何类型都少.然后我们确定哪种方法比另一种更好,如果还剩下多个方法的话.
在您的情况下,有两种可能的适用方法.采用DerivedConvertible的方法被认为是基类的方法,因此不如采用Convertible的方法.
这里的原则是覆盖虚方法是一个可以改变的实现细节,而不是提示编译器选择覆盖方法.
更一般地,过载分辨率算法的这些特征旨在帮助缓解脆性基类问题的各种版本.
http://blogs.msdn.com/b/ericlippert/archive/2007/09/04/future-breaking-changes-part-three.aspx
When the derived type argument is removed from the base class,the most derived version of Convert is called. I would not expect this difference,since I would not have expected the interface of the abstract version of Convert to have changed
这个问题是基于错误的前提;未调用派生的最多版本.程序片段是错误的,因此不能编译,因此不会调用任何方法;程序没有运行,因为它没有编译.