里氏代换原则

import java.util.*; class Aa { public static void main(String args[]) { Vector A=new Vector(); String s="Hello"; A.add(s); String m="World !"; aAdd(A,m); } static void aAdd(Vector K,String n) { K.add(n); K.trimToSize(); System.out.print(K.toString()); }
如果有一个方法“骑马（）”
如果有一个方法qm(m a)的话： 如果有一个百度文库法qm(m a)的话： qm(m a)
一匹白马 一匹黑马
这就是里氏代换原则:如果对每个类型T1的对象o1， 这就是里氏代换原则:如果对每个类型T1的对象o1， 都有类型为T2的对象O2，使得一T1定义的所有 都有类型为T2的对象O2，使得一T1定义的所有 程序P在所有对象o1都代换成o2时，程序P 程序P在所有对象o1都代换成o2时，程序P的行 为没有变化，那么T2为T1的子类型。 为没有变化，那么T2为T1的子类型。
墨子“取譬“----再说里氏代换原则
白马与马
《墨子-小取》中说，“白马，马也，乘白马， 乘马也。骊马，马也；乘骊马. ，乘马也。 ”
“马”-“白马”-“一匹白马” 马”- 白马”“马”是抽象的马， 而白马和黑马是马 的具体子类。一匹 白马则是“白马” 白马则是“白马” 类的实例；一匹黑 马则是“黑马” 马则是“黑马”类 的实例。如果一个 方法适用于马，那 么必然适用于白马 或黑马。
课前热身讲解
Class A{} Clas B extends A { void aa(A a) { System.out.println(“打印”); System.out.println(“打印”); } } Class c { public static void main(String args[]) { A aa=new A(); B bb=new B(); bb.aa(aa); bb.aa(bb); }