里氏替換原則

里氏替換原則

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