リスコフの置換原則

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。 出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2021年12月） 脚注による出典や参考文献の参照が不十分です。脚注を追加してください。（2021年12月） ほとんどまたは完全に一つの出典に頼っています。（2021年12月） 独自研究が含まれているおそれがあります。（2021年12月） 出典検索?: "リスコフの置換原則" – ニュース · 書籍 · スカラー · CiNii · J-STAGE · NDL · dlib.jp · ジャパンサーチ · TWL

リスコフの置換原則（りすこふのちかんげんそく、英: Liskov substitution principle）は、オブジェクト指向プログラミングにおいて、サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない、という原則である。リスコフの置換原則を満たすサブタイプを behavioral subtype（英語版） と呼ぶ。

リスコフの置換原則の概念は最初、1987年10月のOOPSLAでのバーバラ・リスコフの基調講演 “Data abstraction and hierarchy”^[1]にて、インフォーマルな形で紹介された。より形式的な定義は1994年のリスコフとウィング（英語版）の共著論文 “A Behavioral Notion of Subtyping”^[2] で与えられた。

リスコフの置換原則は Liskov 1988 において以下のように説明されている：

The intuitive idea of a subtype is one whose objects provide all the behavior of objects of another type (the supertype) plus something extra. What is wanted here is something like the following substitution property: If for each object o₁ of type S there is an object o₂ of type T such that for all programs P defined in terms of T, the behavior of P is unchanged when o₁ is substituted for o₂, then S is a subtype of T.
（直感的な考えでは、「サブタイプ」のオブジェクトは別の型（「スーパータイプ」）のオブジェクトのすべての振る舞いと、更に別の何かを備えたものである。 ここで必要とされるものは、以下に示す置換の性質のようなものだろう：型 S の各オブジェクト o₁ に対し、型 T のオブジェクト o₂ が存在し、T に関して定義されたすべてのプログラム P が o₁ を o₂ で置き換えても動作を変えない場合、S は T のサブタイプである。）

—B. Liskov、Data Abstraction and Hierarchy、Liskov 1988, p. 25, 3.3. Type Hierarchy

より形式的な定義は Liskov & Wing 1994 で与えられており、以下のように要約されている：

Let φ(x) be a property provable about objects x of type T. Then φ(y) should be true for objects y of type S where S is a subtype of T.
（φ(x) を型 T のオブジェクト x に関して証明可能な性質とする。このとき、φ(y) は型 T のサブタイプ S のオブジェクト y について真でなければならない。）

—B. Liskov and J. Wing、A Behavioral Notion of Subtyping、Liskov & Wing 1994, p. 1812, 1. INTRODUCTION, Subtype Requirement

ここで性質 φ はオブジェクトの振る舞いを表す述語である。「振る舞い」はオブジェクトの操作（メソッド）が満たすべき事前条件と事後条件によって特徴付けられる。

リスコフの置換原則では、ホーア論理に準拠して、振る舞いの事前条件と事後条件に焦点を当てたオブジェクトの代入可能性が要点にされている。その目的は、基底型の変数に派生型の値を代入しても支障をきたさないこと、基底型オブジェクトを派生型オブジェクトで型安全に代替できることである。

リスコフの置換原則は、基底型からの派生型の定義に際して、以下の項目の順守を提唱している。

1. 事前条件（preconditions）を、派生型で強めることはできない。派生型では同じか弱められる。
2. 事後条件（postconditions）を、派生型で弱めることはできない。派生型では同じか強められる。
3. 不変条件（invaritants）は、派生型でも保護されねばならない。派生型でそのまま維持される。
4. 基底型の例外（exception）から派生した例外を除いては、派生型で独自の例外を投げてはならない。

条件を強めるとはプロセス上の状態の取り得る範囲を狭くすることであり、条件を弱めるとはプロセス上の状態の取り得る範囲を広くすることである。これは実装視点では様々なアサーションの複合になる。例えば型の汎化/特化、数値の範囲、データ構造の内容範囲、コードディスパッチ先の選択範囲といった様々な事柄を含む。

注意点として、リスコフの置換原則や振る舞いサブタイピングは、通常の言語の型システムによってチェックできることではない。プログラムが型チェックに通ったからと言って「リスコフの置換原則を満たす」と言えるわけではない。^{[独自研究?]}

この節には参考文献や外部リンクの一覧が含まれていますが、脚注による参照が不十分であるため、情報源が依然不明確です。 適切な位置に脚注を追加して、記事の信頼性向上にご協力ください。（2021年12月）

• Liskov, Barbara (1988-05). “Data abstraction and hierarchy”. ACM SIGPLAN Notices 23 (5): 17–34. doi:10.1145/62139.62141. 
• Liskov, Barbara; Wing, Jeannette (1994-11-01). “A behavioral notion of subtyping”. ACM Transactions on Programming Languages and Systems 16 (6): 1811–1841. doi:10.1145/197320.197383. 
• Liskov, Barbara; Wing, Jeannette (1993年7月16日). “Family Values: A Behavioral Notion of Subtyping”. 2006年10月5日閲覧。
• Liskov, Barbara; Wing, Jeannette (1999年7月). “Behavioral Subtyping Using Invariants and Constraints” (PS). 2006年10月5日閲覧。

• 継承
• サブタイピング
• ポリモーフィズム
• 契約による設計
• 共変性と反変性