LSP:The Liskov Substitution Principle

LSP要求：所有父类出现的地方，都要求可以使用子类进行代换，且不能出现异常。

里氏代换原则由2008年图灵奖得主、美国第一位计算机科学女博士Barbara Liskov教授和卡内基·梅隆大学Jeannette Wing教授于1994年提出。其严格表述如下：如果对每一个类型为S的对象o1，都有类型为T的对象o2，使得以T定义的所有程序P在所有的对象o1代换o2时，程序P的行为没有变化，那么类型S是类型T的子类型。这个定义比较拗口且难以理解，因此我们一般使用它的另一个通俗版定义...

里氏替换原则的定义是：“继承必须确保超类（基类）所拥有的性质在子类中仍然成立。”这一原则强调了子类与基类之间的继承关系应当遵循一定的规则，以确保在替换基类对象时，程序的行为保持不变。里氏替换原则是实现开闭原则的重要方式之一，它确保了软件系统的可扩展性和可维护性，同时降低了需求变更时引入的风险。提高代码的健壮性：通过确保子类能够替换基类而不影响程序行为，减少了因继承关系不当而导致的错误。降低程序出错的可能性：子类在扩展功能时，必须保持与基类一致的接口和行为，从而降低了程序出错的风险。增强软件的可维护性。

子类型（subtype） 必须能够替换它们的基类型（base type）​。换一个角度来理解，对于继承层次的设计，要求在任何情况下，子类型与基类型都是可以互换的，那么该继承的使用就是合适的，否则就可能出现问题。即子类型不能添加任何基类型没有的附加约束。为了避免子类型针对基类型的行为添加附加的约束（即违背LSP）​，基类型中应该只提供尽量少的必需的行为，而且不针对这些行为进行任何实现。此时，那些基类型往往就是抽象类（行为没有任何实现）​，甚至是接口。

概要  Functions that use pointers or references to base classesmust be able to use objects of derived classes without knowing it. 所有引用基类的地方必

 一、LSP简介（LSP--Liskov Substitution Principle）：定义：如果对于类型S的每一个对象o1，都有一个类型T的对象o2，使对于任意用类型T定义的程序P，将o2替换为o1，P的行为保持不变，则称S为T的一个子类型。子类型必须能够替换它的基类型。LSP又称里氏替换原则。对于这个原则，通俗一些的理解就是，父类的方法都要在子类中实现或者重写。 

在软件设计领域，SOLID原则中的"L"代表Liskov替换原则（Liskov Substitution Principle, 简称LSP）。Liskov替换原则由计算机科学家Barbara Liskov在她关于数据抽象和类型理论的工作中提出，是面向对象编程中的一项核心原则。（英语：Barbara Liskov，1939年11月7日—），本名芭芭拉·简·休伯曼（英语：Barbara Jane Huberman）。美国计算机科学家，2008年得主，2004年得主。现任电子电气与计算机科学系教授。

里氏替换原则（Liskov’s Substitution Principle）flyfish解释 All the time we design a program module and we create some class hierarchies.Then we extend some classes creating some derived classes.We must m

面向对象设计原则是一些通用的软件设计原则，用于指导软件设计人员开发高质量、可扩展、可维护的软件系统。这些原则的作用如下：提高软件系统的可维护性：遵循面向对象设计原则可以将代码分解为更小、更专注的模块，从而降低代码的复杂性和耦合度，提高系统的可读性和可维护性。提高软件系统的可扩展性：开放封闭原则可以帮助软件系统更容易地适应变化，降低对现有代码的影响，从而提高软件系统的可扩展性和灵活性。

文章目录背景Tom's Penguin Problem 背景 可替代性是面向对象程序设计中的一项原则，其指出在计算机程序中，如果S是T的子类型，则类型T的对象可以用类型S的对象替换 （即类型T的对象可以用子类型S的任何对象替换 (i.e.向上转型)）而不更改程序的任何期望属性（正确性，任务执行等）。 更正式地讲，Liskov替换原理（LSP）是子类型关系的特定定义，称为（强）行为子类型化，最初是由...

里氏替换原则的核心是确保子类可以完全替换父类而不影响程序的正确性。通过合理设计类的继承关系，避免子类修改父类的行为，可以提高代码的可维护性和可扩展性。在实际开发中，如果发现子类无法完全替换父类，可能需要重新审视类的设计，考虑使用组合或其他设计模式来解决问题。

在软件设计、编码过程中有几个基本原则即SOLID原则，学习理解能够帮忙我们写出更健壮的代码。SOLID是五个基本原则的首字母。这五个原则如下： Single responsibility Open–closed Liskov substitution Interface segregation Dependency inversion 此篇来学习一下里氏替换原则（Liskov Substitution responsibility） 那么什么是里氏替换原则（LSP）呢？ Barb.

定义 里氏替换原则是Barbara Liskov1与1988年提出来的。原文是： What is wanted here is something like the following substitution property: If for each object of type S there is an object of type T such that for all program...

Functions that use pointers or references to base classes must be able to use objects of derived classes without knowing it.Robert C. Martin氏为我们总结了在面向对象的设计（OOD）中应该遵循的原则，这些原则被称为“Principles of OOD”，关于

子类型（subtype）必须能够替换掉他们的基类型（base type）如果一个类承担的职责过多，就等于把这些职责耦合在了一起。一个职责的变化可能会削弱或者抑制这个类完成其他职责的能力。这种耦合会导致脆弱的（fragile）设计。当一个职责发生变化时，可能会影响其它的职责。另外，多个职责耦合在一起，会影响复用性。例如：要实现逻辑和界面的分离。...

里氏替换原则

里氏代换原则（LSP）是面向对象设计中的一个重要原则，它指出在软件中，任何基类对象都可以被其子类对象替换，而不会引发错误或异常。这一原则强调了继承的优点，如代码共享、重用性和可扩展性，同时也指出了继承的缺点，如降低代码灵活性和增加耦合性。LSP通过确保子类能够透明地替换基类，帮助克服这些缺点，是实现开闭原则的关键手段之一。