"S が T の派生型であれば、プログラム内で T 型のオブジェクトが使われている箇所は全て S 型のオブジェクトで置換可能";"事前条件を派生型で強めることはできない" "事後条件を派生型で弱めることはできない"

vanbraam のブックマーク 2015/08/18 23:54

<blockquote class="hatena-bookmark-comment"><a class="comment-info" href="https://b.hatena.ne.jp/entry/263132207/comment/vanbraam" data-user-id="vanbraam" data-entry-url="https://b.hatena.ne.jp/entry/s/ja.wikipedia.org/wiki/%E3%83%AA%E3%82%B9%E3%82%B3%E3%83%95%E3%81%AE%E7%BD%AE%E6%8F%9B%E5%8E%9F%E5%89%87" data-original-href="https://ja.wikipedia.org/wiki/%E3%83%AA%E3%82%B9%E3%82%B3%E3%83%95%E3%81%AE%E7%BD%AE%E6%8F%9B%E5%8E%9F%E5%89%87" data-entry-favicon="https://cdn-ak2.favicon.st-hatena.com/64?url=https%3A%2F%2Fja.wikipedia.org%2Fwiki%2F%25E3%2583%25AA%25E3%2582%25B9%25E3%2582%25B3%25E3%2583%2595%25E3%2581%25AE%25E7%25BD%25AE%25E6%258F%259B%25E5%258E%259F%25E5%2589%2587" data-user-icon="/users/vanbraam/profile.png">リスコフの置換原則 - Wikipedia</a><br><p style="clear: left">&quot;S が T の派生型であれば、プログラム内で T 型のオブジェクトが使われている箇所は全て S 型のオブジェクトで置換可能&quot;;&quot;事前条件を派生型で強めることはできない&quot; &quot;事後条件を派生型で弱めることはできない&quot;</p><a class="datetime" href="https://b.hatena.ne.jp/vanbraam/20150818#bookmark-263132207"><span class="datetime-body">2015/08/18 23:54</span></a></blockquote><script src="https://b.st-hatena.com/js/comment-widget.js" charset="utf-8" async></script>

このブックマークにはスターがありません。
最初のスターをつけてみよう！

リスコフの置換原則 - Wikipedia

ja.wikipedia.org2007/02/28

この記事には複数の問題があります。改善やノートページでの議論にご協力ください。出典がまったく示されていないか不十分です。内容に関する文献や情報源が必要です。（2021年12月）脚注による出典や参考文献...

68 人がブックマーク・7 件のコメント

他のコメントを読む

＼コメントがサクサク読めるアプリです／

はてなブックマーク

リスコフの置換原則 - Wikipedia

はてなブックマーク

公式Twitter

はてなのサービス