软件构造笔记 5.2 Construction for Reuse

1.行为子类和Liskov替代原则（LSP） 子类型多态：客户端可用统一的方式处理不同类型的对象。即在可以使用a的场景，都可以用c1和c2代替而不会有任何问题。 相关规则：子类型可以增加方法，但不可删除；子类型需要实现抽象类型中所有为实现的方法；子类型中重写的方法必须有相同或子类型的返回值；子类型中重写的方法必须使用同样类型的参数；子类型中重写的方法不可抛出额外的异常。 LSP：更强的不变量；更弱

>>阅读原文<<