第四章:设计可以复用的类

目录 设计可复用的类 协变 逆变 子类型和LSP的总结 共方差和矛盾方差 泛型中的LSP 类型类 * 泛型的通配符 设计可复用的类 子类型多态:客户端可用统一的方式处理不同类型的对象。 如果类型Cat是Animal的一个子类型,那么在使用类型Animal的表达式的任何地方都可以使用类型Cat的表达式。 如果对于类型T的对象x,q(x) 成立,那么对于类型T的 子类型S的对象y,q(y) 也成立。
相关文章
相关标签/搜索