質問をすることでしか得られない、回答やアドバイスがある。

15分調べてもわからないことは、質問しよう!

新規登録して質問してみよう
ただいま回答率
85.42%
Java

Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

Q&A

解決済

2回答

1189閲覧

「リスコフの置換原則」はインターフェースでも適用されますか?

tku_ab

総合スコア7

Java

Javaは、1995年にサン・マイクロシステムズが開発したプログラミング言語です。表記法はC言語に似ていますが、既存のプログラミング言語の短所を踏まえていちから設計されており、最初からオブジェクト指向性を備えてデザインされています。セキュリティ面が強力であることや、ネットワーク環境での利用に向いていることが特徴です。Javaで作られたソフトウェアは基本的にいかなるプラットフォームでも作動します。

1グッド

0クリップ

投稿2023/05/22 06:42

編集2023/05/22 06:53

「リスコフの置換原則」について、
Googleで一番上にくる検索結果だと
「継承に関する原則で、親クラスのインスタンスが適用されるコードに対して、子クラスのインスタンスで置き換えても、問題なく動くべきだという原則」 と記載されていました。

また、別の「リスコフの置換原則」について説明しているサイトでは、違反しているサンプルとして以下の様な、子クラスでExceptionを投げるような実装の記載がありました。

Java

1public class Rectangle { 2 private int width; 3 private int height; 4 5 public int getWidth() { 6 return width; 7 } 8 9 public void setWidth(int width) { 10 this.width = width; 11 } 12 13 public int getHeight() { 14 return height; 15 } 16 17 public void setHeight(int height) { 18 this.height = height; 19 } 20 21} 22 23class Square extends Rectangle { 24 public void setWidth(int width) { 25 throw new AssertionError("please use setSize method"); 26 } 27 public void setHeight(int height) { 28 throw new AssertionError("please use setSize method"); 29 } 30 31 public void setSize(int size) { 32 super.setWidth(size); 33 super.setHeight(size); 34 } 35}

Wikipediaでは
「サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない」 と記載されていました。

ここで質問なのですが、以下の様なインターフェースを実装している場合も「リスコフの置換原則に違反している」と言えると思うのですが、あっていますでしょうか?

java

1public interface Rectangle { 2 public void setWidth(int width); 3 public void setHeight(int height); 4 5} 6 7class Square implements Rectangle { 8 9 @Override 10 public void setWidth(int width) { 11 throw new AssertionError("please use setSize method"); 12 } 13 14 @Override 15 public void setHeight(int height) { 16 throw new AssertionError("please use setSize method"); 17 } 18 19}
ozwk👍を押しています

気になる質問をクリップする

クリップした質問は、後からいつでもMYページで確認できます。

またクリップした質問に回答があった際、通知やメールを受け取ることができます。

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

xebme

2023/05/22 20:53

正方形が長方形になる(不変条件を壊してしまう)振る舞いを許すことやそれを共通の振る舞いにすることの意味がわかったうえで質問していますか?
guest

回答2

0

ベストアンサー

サブタイプのオブジェクトはスーパータイプのオブジェクトの仕様に従わなければならない

「うまいこといかんかったら例外投げるよ」がスーパータイプの仕様に含まれているなら、
リスコフの置換原則に違反しません。

Java

1interface Rectangle { 2 public void setWidth(int width) throws AssertionError; // うまいこといかんかったら 3 public void setHeight(int height) throws AssertionError; // 例外投げるよ(ちゃんとcatchしてね!) 4}

スーパータイプを使ってちゃんと動くプログラムなら、それをサブタイプに取り換えてもちゃんと動く(どちらなのかに応じてプログラムをいぢくる/分岐する必要がない)ってことですから。

投稿2023/05/22 06:55

編集2023/05/22 07:10
episteme

総合スコア16614

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

0

>違反しているサンプルとして以下の様な、子クラスでExceptionを投げるような実装

何をもって「『問題なく動く』と言えるのか」です。
個人的には RuntimeException を返すからといって「『問題なく動く』と言えない」とは思いません。java においては RuntimeException の発生は想定(動作原理)内ですので、違反しているとされているコードは違反していないと思います。

ぶっちゃけ、原理原則の主張を一介の言語実装で追及した所でプログラマには何の役にも立ちません。

この書き込み自体が役に立たないと考え直しましたので、取り消します。
失礼しました。

投稿2023/05/22 06:49

編集2023/05/22 19:51
jimbe

総合スコア12938

バッドをするには、ログインかつ

こちらの条件を満たす必要があります。

tku_ab

2023/05/22 06:54

RuntimeException から AssertionErrorに変更しました。
jimbe

2023/05/22 07:10

同じことです。 RuntimeException も AssertionError も java の動作範囲内であり、"想定外を想定" して使用されるものです。
Zuishin

2023/05/22 09:35

「問題なく動く」というのは、子クラスが問題なく動くという意味ではなく、「親クラスを使用するコードを子クラスを使用するよう変えても、他の部分を変更する必要はない」という意味です。 リスコフの置換原則では例外についても言及されているので、違反しているかどうかの判断をする時にその解釈を変更するのは強引だと思います。 親クラスでは出る可能性がない例外を子クラスが出すとしたら、その例外に対処するためのコードを書かなければいけなくなる可能性が生まれるため、置換原則に反します。
guest

あなたの回答

tips

太字

斜体

打ち消し線

見出し

引用テキストの挿入

コードの挿入

リンクの挿入

リストの挿入

番号リストの挿入

表の挿入

水平線の挿入

プレビュー

15分調べてもわからないことは
teratailで質問しよう!

ただいまの回答率
85.42%

質問をまとめることで
思考を整理して素早く解決

テンプレート機能で
簡単に質問をまとめる

質問する

関連した質問