引用java与模式一书中的定义:
如果对某一类型为T1的对象o1,都有类型为T2的对象o2,使得以T1定义的所有程序P在所有的对象o1都代换成o2时,程序P的行为没有变化,那么类型T2是类型T1的子类型。
简单的说就是适用于基类的地方一定适用于子类。
引用java与模式一书中的定义:
如果对某一类型为T1的对象o1,都有类型为T2的对象o2,使得以T1定义的所有程序P在所有的对象o1都代换成o2时,程序P的行为没有变化,那么类型T2是类型T1的子类型。
简单的说就是适用于基类的地方一定适用于子类。