タグ

2020年5月26日のブックマーク (1件)

  • リスコフの置換原則(LSP)をしっかり理解する - Qiita

    SOLID 原則の1つ「リスコフの置換原則」についての記事になります。 この原則に関する幾つかの記事を眺めてみても、どうも他4つの原則と比べて腹落ちしない部分があったので理解の為しっかり調べてみました。 S が T の派生型であれば、プログラム内で T 型のオブジェクトが使われている箇所は全て S 型のオブジェクトで置換可能 ([1] wikipedia より引用) リスコフの置換原則は上記のようにシンプルに説明されている事が多いですが、基底型と置換可能な派生型となるには幾つか遵守すべきルールがあります。この原則は Barbara Liskov 氏が 『A Behavioral Notion of Subtyping』([9]) という論文で提唱した内容であり、後に「リスコフの置換原則」として認知されるようになりました。元々の論文名から分かるように、その質は「サブタイプ(派生型)の振る舞

    リスコフの置換原則(LSP)をしっかり理解する - Qiita
    siik02
    siik02 2020/05/26