java纯承当与扩大[Java编程]

学习担当时,为了成立担当分级构造,看来最明显的办法是采纳一种“纯粹”的手段.也就是说,只有在底子类或“接口”中已成立的办法才可在衍生类中被覆盖,以下面这张图所示:

可将其描写成一种纯粹的“属于”关系,因为一个类的接口已规定了它到底“是什么”大概“属于什么”.通过担当,可保证全部衍生类都只拥有底子类的接口.假如按上述表示图操作,衍生出来的类除了底子类的接口之外,也不会再拥有其他什么.
可将其想象成一种“纯替换”,因为衍生类对象可为底子类完善地替换掉.利用它们的时刻,我们根本没必要知道与子类有关的任何额外信息.以下所示:

也就是说,底子类可接纳我们发给衍生类的任何消息,因为二者拥有完好一致的接口.我们要做的全部事情就是从衍生上溯造型,并且永久不需求回过头来查抄对象的精确范例是什么.全部细节都已通过量形性得到了完善的掌握.
若按这种思绪考虑问题,那么一个纯粹的“属于”关系仿佛是唯一明智的计划办法,其他任何计划办法城市招致混乱不清的思绪,并且在定义上存在很大的艰难.但这种设法又属于另一个极度.经过具体的研究,我们发现扩大接口关于一些特定问题来说是分外有效的筹划.可将其称为“近似于”关系,因为扩大后的衍生类“近似于”底子类——它们有相同的底子接口——但它增添了一些特点,要求用额外的办法加以实现.以下所示:

固然这是一种有效和明智的做法（由具体的环境决意）,但它也有一个缺陷:衍生类中对接口扩大的那一部份不可在底子类中利用.所以一旦上溯造型,就不可再调用新办法:

若在此时不举行上溯造型,则不会呈现此类问题.但在很多情形下,都需求重新核实对象的精确范例,使自己能拜候那个范例的扩大办法.在背面的小节里,我们具体报告了这是若何实现的.