Arrays.asList 是否违反了里氏替换原则 [复制]

Arrays

里氏替换原则与Arrays.asList方法的违背

里氏替换原则（Liskov Substitution Principle，LSP）是面向对象编程中的一个基本原则，它要求子类型必须能够替换掉它们的基类型，而程序仍然能够保持正确运行。这一原则由计算机科学家Barbara Liskov提出，是SOLID原则之一。

里氏替换原则概述

里氏替换原则定义如下：如果对于每一个类型为S的对象o1，都有类型为T的对象o2，使得以T定义的所有程序P在所有的对象o1都代换成o2时，程序P的行为没有发生变化，那么类型S是类型T的子类型。

简而言之，子类型必须能够替换掉其基类型而不影响程序的正确性。这意味着子类型应该继承父类型的所有行为，并且可以添加特定于子类型的新行为。

Arrays.asList方法的违反

在Java中，Arrays.asList方法被广泛用于将数组转换为List。然而，这个方法在某些情况下可能违反里氏替换原则，导致程序的意外行为。

考虑以下情况：有一个基类型为List的变量，我们期望可以将任何继承自List的子类型赋值给这个变量。但是，Arrays.asList返回的是一个固定大小的列表，这就导致了一个问题。

Java
import Java.util.Arrays;
import Java.util.List;
public class LSPExample {
    public static void mAIn(String[] args) {
        List<String> stringList = Arrays.asList("Apple", "banana", "orange");
        List<Object> objectList = stringList; // 编译错误
        objectList.add(123); // 运行时错误，UnsupportedOperationException
    }
}

上面的代码在编译时会报错，因为Arrays.asList返回的是一个固定大小的列表，无法添加新元素。这违反了里氏替换原则，因为我们期望能够用List类型的变量来表示任何继承自List的子类型，但Arrays.asList返回的列表不能完全替代List的行为。

解决方法

为了遵循里氏替换原则，我们可以使用其他方式创建一个可变的ArrayList，而不是使用Arrays.asList。例如：

Java
import Java.util.ArrayList;
import Java.util.List;
public class LSPExampleFixed {
    public static void mAIn(String[] args) {
        List<String> stringList = new ArrayList<>(Arrays.asList("Apple", "banana", "orange"));
        List<Object> objectList = stringList; // 正确
        objectList.add(123); // 正常运行
    }
}

这样我们就创建了一个可变的ArrayList，可以正常地赋值给List类型的变量，并且不会违反里氏替换原则。

在编写代码时，特别是涉及到继承和多态的情况下，我们应该时刻牢记里氏替换原则。使用一些看似方便的方法时，要仔细确保不会违反这个原则，以免引入潜在的错误和不一致性。在上述情境中，选择使用可变的ArrayList是一个遵循里氏替换原则的更好的实践。