Liskov Substitution Principle, 由Barbara Liskov 和 Jeannette Wing在93年提出，其原文为：“Let q(x) be a property provable about objects x of type T. Then q(y) should be true for objects y of type S where S is a subtype of T. ” 。通俗一点来说，LSP的意思是指，“An instance of a class should function as an instance of its superclass” (《Design Pattern Java Workbook》)。

字面上的意思不好理解，举一段程序：

这段程序运行结果是什么？答案是：

抛出异常的原因是由 asList() 返回的List不支持add方法。而我们只要把代码改为：

运行就正常了。

我们知道，List, ArrayList, Array 都有一个公共的父类（接口）Collection, asList 最初就是在Collection声明的，所以我们说，这里违反了LSP原则。（当然，从字面上讲，这么说还需要我们把Java接口看成pure的虚类来看）

其实这只是很小的一点，记下备忘

发表于 @ 2007年03月08日　11:15:00 | 评论( loading... ) | 编辑| 举报| 收藏

旧一篇:CheckStyle的自定义开发 | 新一篇:Design Pattern -- Decorator