里氏替换原则

维基百科,自由的百科全书
跳转至: 导航搜索

面向对象的程序设计中,里氏替换原则(Liskov Substitution principle)是对子类型的特别定义。它由芭芭拉·利斯科夫(Barbara Liskov)在1987年在一次会议上名为“数据的抽象与层次”的演说中首先提出。[1]

里氏替换原则的内容可以描述为: “派生类(子类)对象能够替换其基类(超类)对象被使用。” 以上内容并非利斯科夫的原文,而是译自罗伯特·马丁(Robert Martin)对原文的解读。其原文为:

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.

芭芭拉·利斯科夫周以真(Jeannette Wing)在1994年发表论文并提出的以上的Liskov代換原則

参见[编辑]

  • SOLID - “SOLID”中的 L 指代了里氏替换原则

引用[编辑]

  1. ^ Liskov, Barbara. Data abstraction and hierarchy. 1987-10-04 [2008-03-23].