Liskou

对开闭原则 OpenClose的补充 对抽象化的规范 一、定义 如果对每一个类行为T1的对象o1，都有类型为T2的对象o2，使得以T1定义的所有程序P在所有的对象o1都替换成o2时，程序P的行为没有放生变化，那么类型T2是类型T1的子类型 1、定义扩展 一个软件实体如果适用一个父类的话，那一定适用于 ......