摘要： 1 课程讲义 1.1 定义 1.2 特色 1.3 优点 1 课程讲义 1.1 定义 定义：如果对每一个类型为T1的对象o1，都有类型为T2的对象02，使得以T1定义的所有程序P在所有的对象o1都替换成o2时，程序P的行为没有发生变化，那么类型T2是类型T1的子类型。定义扩展：一个软件实体如果适用一个 阅读全文