1700454850
1700454851
父类被执行……
1700454852
1700454853
根据里氏替换原则,父类出现的地方子类就可以出现,我们把上面的粗体部分修改为子类,如代码清单2-14所示。
1700454854
1700454855
代码清单2-14 子类替换父类后的源代码
1700454856
1700454857
public class Client{
1700454858
1700454859
public static void invoker(){
1700454860
1700454861
//父类存在的地方,子类就应该能够存在
1700454862
1700454863
Son f=new Son();
1700454864
1700454865
HashMap map=new HashMap();
1700454866
1700454867
f.doSomething(map);
1700454868
1700454869
}
1700454870
1700454871
public static void main(String[]args){
1700454872
1700454873
invoker();
1700454874
1700454875
}
1700454876
1700454877
}
1700454878
1700454879
运行结果还是一样,看明白是怎么回事了吗?父类方法的输入参数是HashMap类型,子类的输入参数是Map类型,也就是说子类的输入参数类型的范围扩大了,子类代替父类传递到调用者中,子类的方法永远都不会被执行。这是正确的,如果你想让子类的方法运行,就必须覆写父类的方法。大家可以这样想,在一个Invoker类中关联了一个父类,调用了一个父类的方法,子类可以覆写这个方法,也可以重载这个方法,前提是要扩大这个前置条件,就是输入参数的类型宽于父类的类型覆盖范围。这样说可能比较理难理解,我们再反过来想一下,如果Father类的输入参数类型宽于子类的输入参数类型,会出现什么问题呢?会出现父类存在的地方,子类就未必可以存在,因为一旦把子类作为参数传入,调用者就很可能进入子类的方法范畴。我们把上面的例子修改一下,扩大父类的前置条件,源代码如代码清单2-15所示。
1700454880
1700454881
代码清单2-15 父类的前置条件较大
1700454882
1700454883
public class Father{
1700454884
1700454885
public Collection doSomething(Map map){
1700454886
1700454887
System.out.println(“Map转Collection被执行”);
1700454888
1700454889
return map.values();
1700454890
1700454891
}
1700454892
1700454893
}
1700454894
1700454895
把父类的前置条件修改为Map类型,我们再修改一下子类方法的输入参数,相对父类缩小输入参数的类型范围,也就是缩小前置条件,源代码如代码清单2-16所示。
1700454896
1700454897
代码清单2-16 子类的前置条件较小
1700454898
1700454899
public class Son extends Father{
[
上一页 ]
[ :1.70045485e+09 ]
[
下一页 ]