Help us understand the problem. What is going on with this article?

リスコフの置換原則(LSP: Liskov Substitution Principle)

More than 1 year has passed since last update.

そもそもリスコフとは?

  • バーバラ・リスコフ氏のことで提唱者の名前である

リスコフの置換原則(LSP: Liskov Substitution Principle)

  • 派生型はその基本型と置換可能でなければならない
    • うーん、なんか難しい・・・
      • クラスAのインスタンスがクラスBのインスタンスに依存
      • クラスBのインスタンスの代わりにクラスB2を作成
      • このとき、クラスAに対してクラスB2を渡してもクラスAは正常に動作しなければならない
        • 正常に動作しない場合はリスコフの置換原則に違反している
  • リスコフの置換原則を守ることは、OCPを守るために必要なことでもある

経験則と約束事

  • 基本クラスから何らかの機能を省いてしまっているような派生クラスはLSPに違反する
    • 基本クラス以下のことしかできない派生クラスは、その基本クラスの代わりにはならないからである

まとめ

  • リスコフの置換原則はOCPを有効にする主要な役割の一つである
  • この原則はあるモジュールに修正を施すことなく拡張する方法を派生型と基本型の置換性という形で表現している
Why not register and get more from Qiita?
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
Comments
No comments
Sign up for free and join this conversation.
If you already have a Qiita account
Why do not you register as a user and use Qiita more conveniently?
You need to log in to use this function. Qiita can be used more conveniently after logging in.
You seem to be reading articles frequently this month. Qiita can be used more conveniently after logging in.
  1. We will deliver articles that match you
    By following users and tags, you can catch up information on technical fields that you are interested in as a whole
  2. you can read useful information later efficiently
    By "stocking" the articles you like, you can search right away
ユーザーは見つかりませんでした