学步园

里氏替换原则的定义：
定义一：如果对每一个类型为S的对象o1，都有类型为T的对象o2，使得以T定义的所有程序P在所有的对象o1都代换成o2时（o2都替换成o1吧？），程序P的行为没有发生变化，那么类型S是类型T的子类型。
定义二：所有引用基类的地方必须能透明地使用其子类的对象。

这个定义的四层含义是：

1 子类必须完全实现父类的方法

    这里的父类是对抽象类和接口说的。

2 子类可以有自己的个性

3 覆盖或实现父类的方法时输入参数可以被放大。我觉得这里有点疑问，看看书上的程序

package hit;
import java.util.Map;
import java.util.HashMap;
import java.util.Collection;
class Father{
	public Collection doSomething(HashMap map)
	{
		System.out.println("父类被执行");
		return map.values();
	}
}

class Son extends Father{
	public Collection doSomething(Map map){
		System.out.println("子类被执行");
		return map.values();
	}
}

public class Client {

	public static void invoker(){
		Father f = new Father();
		HashMap map = new HashMap();
		f.doSomething(map);
	}
	
	public static void main(String[] args) {
		invoker();
    }
}

执行结果是：父类被调用  

然后将父类的对象替换成子类，这里我就有疑问了，按照定义，替换的是对象，应该不包括声明吧？我认为应该将

Father f = new Father();

改成

Father f = new Son();

这样就可以了。而书上说的是改成

Son f = new Son();

我觉得有点违背定义以及现时中的应用。如果觉得不明显，我们可以改造一下invoker方法

public static void invoker(Father f ){
		HashMap map = new HashMap();
		f.doSomething(map);
	}
public static void main(String[] args) {
                               Father f = new Father();
		invoker(f);
    }

 invoker是把Father作为参数，这样在main方法中给invoker传递Father的对象或者其子类的对象，如果能够这样做就符合里氏替换原则啊。而且我觉得不修改invoker方法是不是不符合迪米特法则呢？

 不管是按照书上的方法改，还是按照我说的方法以及将invoker方法修改，都得到同样的结论，即：子类的方法不可能被执行。这是正确的。

如果父类的输入参数类型宽于子类的输入参数类型会怎么样呢？书上说，父类出现的地方子类未必可以出现。的确，如果按照书上的这种将

Father f = new Father();

改成

Son  f = new Son();

的做法确实可以得出“父类出现的地方子类未必可以出现”。但是如果看一下里氏替换原则的两个定义，你会发现替换的是对象，没有提到声明类型也替换吧？

按照只替换对象的方法我们来看一下父类的输入参数类型宽于子类的输入参数类型会怎么样？

package hit;
import java.util.Map;
import java.util.HashMap;
import java.util.Collection;
class Father{
	public Collection doSomething(Map map)
	{
		System.out.println("父类被执行");
		return map.values();
	}
}

class Son extends Father{
	public Collection doSomething(HashMap map){
		System.out.println("子类被执行");
		return map.values();
	}
}

public class Client {

	public static void invoker(){
		Father f = new Son();// Son f = new Son();
		HashMap map = new HashMap();
		f.doSomething(map);
	}
	
	public static void main(String[] args) {
		invoker();
    }
}

 结果是:父类被调用.看红色的代码，如果用注释后的Son f = new Son(); 替换掉

 Father f = new Son(); 那结果就会是 :子类被调用。因为声明的就是Son的对象，Son有两个方法 doSomething(Map map)和 doSomething(Hashmap map ), 现在传递过来的是 HashMap 的对象，HashMap 实现了Map接口，那调用哪一个方法呢？答案：调用精确匹配的那个。所以如果将f声明为Son类型，按照精确匹配，会调用doSomething(HashMap map).如果将f申明为Father类型，Father类型只有一个doSomething(Map map)方法，HashMap类型的map对象会向上转型为Map类型，执行Father类中的方法。虽然传递给f的是Son类型的对象，但是Java还是会根据声明来判定到底执行哪一个类中的方法。

以上是我看设计模式之禅中里氏替换原则后的一些感想，如果有错误请批评指正。