定义一: 如果对每一个类型为T1的对象o1,都有类型为T2的对象o2,使得在使用了T1类型的程序P中,将所有的T1类型对象o1替换成T2类型对象o2后,程序P的行为(功能)没有发生任何变化,那么类型T2就是类型T1的子类型.定义二: 所有引用基类的地方,必须能够透明的引用其子类对象.子类就是一个父类,父类能够出现的地方子类一定能够出现。父类能够完成的功能子类也能够完成.