Liskov Substitution Principle

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》)。

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

import java.util.*;
public class a{
    public static void main(String args[]){
        String names[] = {"name1", "name2"};
        
        List L = Arrays.asList(names);
        L.add("name3");
        
}
}

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

java.lang.UnsupportedOperationException
    at java.util.AbstractList.add(Unknown Source)
    at java.util.AbstractList.add(Unknown Source)
    at a.main(a.java:7)
Exception in thread "main" 

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

List L = new ArrayList(Arrays.asList(names));

运行就正常了。

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

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