yhayashi https://blog.hatena.ne.jp/yhayashi/ Sobalipse日記 https://yhayashi-2.hatenadiary.org/ 「アジャイルソフトウェア開発の奥義」の本の「リスコフの置換原則」の章を読んだ。リスコフの置換原則とは、1988年にリスコフさんが言った以下のような原則らしい。 S型のオブジェクトo1の各々に、 対応するT型のオブジェクトo2が1つ存在し、 Tを使って定義されたプログラムPに対して o2の代わりにo1を使ってもPの振る舞いが変わらない場合、 SはTの派生型であると言える。二つの型が派生関係になっているかどうかは、それらの関係がIS-A関係になっているかを考えればわかると良く言われる。リスコフの置換原則は、二つの型の間のIS-A関係を厳密に定義したものと言える。続いて、本の中で、長方形型と正方形型… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyhayashi-2.hatenadiary.org%2Fentry%2F20050123%2Fp2" title="リスコフの置換原則 - Sobalipse日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2005-01-23 00:00:01 rich https://yhayashi-2.hatenadiary.org/entry/20050123/p2 1.0 100%