6、Java 编程中的多态与类层次结构解析

Java 编程中的多态与类层次结构解析

1. 用问题检验对 LSP 的理解

为了检验对里氏替换原则（LSP）的理解，可以尝试回答以下问题：
- Should SortedSet extend List?
- Why isn’t there an interface SortedList?
- Should Queue extend List? Should List extend Queue?
- Why have the interface Set if it doesn’t provide any added functionality?

2. 各问题的解答

2.1 SortedSet 是否应继承 List

乍一看，有序集合（SortedSet）和列表（List）颇为相似。因为有序集合的排序顺序决定了元素的顺序，给定一个值 n，能明确第 n 个元素。列表的 get 方法可用于按当前位置访问元素。

然而，有序集合的修改方法会有不良副作用。例如，使用 set 方法更改第 n 个元素的值时，该元素在排序顺序中的位置可能改变（可能还会影响其他元素）。而且，使用 add 方法将新元素插入特定位置也不合理，因为新元素的位置由排序顺序决定。所以，有序集合无法完成列表的所有操作，若 SortedSet 继承 List 会违反 LSP。

2.2 为何没有 SortedList 接口

这个接口看似合理，但问题在于它在类层次结构中的位置。若 SortedList 继承 List，会遇到与 SortedSet 相同的问题，即没有好的方式实现 List 的 set 和 a