里氏替换原则
1、子类必须完全实现父类的方法
2、子类可以有自己的个性
3、覆盖或实现父类的方法时输入参数可以被放大
4、覆写或实现父类的方法时输出结果可以被缩小
import java.util.Collection;
import java.util.HashMap;
import java.util.Map;
public class Main {
public static void main(String[] args) {
Son s = new Son();
HashMap hashMap = new HashMap();
System.out.println("**** 子类父类参数前置条件相同,覆写 ****");
s.doSth(hashMap);
System.out.println("**** 子类参数前置条件比父类大,相当于方法重载 ****");
s.doSth1(hashMap);
s.doSth1((Map)hashMap);
System.out.println("**** 父类参数前置条件比子类大 ****");
s.doSth2(hashMap);
s.doSth2((Map)hashMap);
}
}
class Father{
public Father() {
System.out.println("Father");
}
public Collection doSth(HashMap map){
System.out.println("Father->doSth");
return map.values();
}
public Collection doSth1(HashMap map){
System.out.println("Father->doSth1");
return map.values();
}
public Collection doSth2(Map map){
System.out.println("Father->doSth2");
return map.values();
}
}
class Son extends Father{
public Son() {
System.out.println("Son");
}
public Collection doSth(HashMap map){
System.out.println("Son->doSth");
return map.values();
}
public Collection doSth1(Map map){
System.out.println("Son->doSth1");
return map.values();
}
public Collection doSth2(HashMap map){
System.out.println("Son->doSth2");
return map.values();
}
}
运行结果:
Father
Son
**** 子类父类参数前置条件相同,覆写 ****
Son->doSth
**** 子类参数前置条件比父类大,相当于方法重载 ****
Father->doSth1
Son->doSth1
**** 父类参数前置条件比子类大 ****
Son->doSth2
Father->doSth2