Liskov Substitution Principle

最新推荐文章于 2025-05-23 20:23:05 发布

dr2tr

最新推荐文章于 2025-05-23 20:23:05 发布

阅读量1.6k

点赞数

CC 4.0 BY-SA版权

分类专栏： Design Pattern 文章标签： class java list function import

本文链接：https://blog.csdn.net/dr2tr/article/details/1523988

Design Pattern 专栏收录该内容

22 篇文章

订阅专栏

本文探讨了Liskov替换原则(LSP)，该原则由Barbara Liskov和Jeannette Wing于1993年提出。通过一个具体的Java代码示例解释了如何在面向对象设计中应用这一原则，避免子类替代父类时导致错误。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

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");

}
}

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