トップに関する質問総称型を、別の総称型に変換するメソッドのコンパイルエラーを解消したい

編集履歴

質問編集履歴

総称型Lを利用しているインターフェースを追記

2017/05/25 01:37

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -48,6 +48,60 @@
+		/**
+		 * Bar<E>の要素をフィルターする。
+		 * ※質問の趣旨とは直接関係なし
+		 */
+		public Org<E> filter(final Predicate<E> filter) {
+			/* ロジックを簡略 */
+			return this;
+		}
+		/**
+		 * Bar<E>の重複する要素を削除する。
+		 * ※質問の趣旨とは直接関係なし
+		 */
+		public <K> Org<E> distinct(final Function<E,K> keySelector) {
+			/* ロジックを簡略 */
+			return this;
+		}
+		/**
+		 * Bar<E>の要素を昇順に並べる。
+		 * ※質問の趣旨とは直接関係なし
+		 */
+		public Org<E> orderBy(final Function<E, Integer> keySelector) {
+			/* ロジックを簡略 */
+			return this;
+		}
 	}
 ```
@@ -108,6 +162,8 @@
 		 * Bar<E>の要素をフィルターする。
+		 * ※質問の趣旨とは直接関係なし
 		 */
 		default L filter(final Predicate<E> filter) {
@@ -124,6 +180,8 @@
 		 * Bar<E>の重複する要素を削除する。
+		 * ※質問の趣旨とは直接関係なし
 		 */
 		default <K> L distinct(final Function<E,K> keySelector) {
@@ -140,6 +198,8 @@
 		 * Bar<E>の要素を昇順に並べる。
+		 * ※質問の趣旨とは直接関係なし
 		 */
 		default L orderBy(final Function<E, Integer> keySelector) {

総称型Lを利用しているインターフェースを追加

2017/05/25 01:37

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -104,6 +104,54 @@
+		/**
+		 * Bar<E>の要素をフィルターする。
+		 */
+		default L filter(final Predicate<E> filter) {
+			/* ロジックを簡略 */
+			return (L) this;
+		}
+		/**
+		 * Bar<E>の重複する要素を削除する。
+		 */
+		default <K> L distinct(final Function<E,K> keySelector) {
+			/* ロジックを簡略 */
+			return (L) this;
+		}
+		/**
+		 * Bar<E>の要素を昇順に並べる。
+		 */
+		default L orderBy(final Function<E, Integer> keySelector) {
+			/* ロジックを簡略 */
+			return (L) this;
+		}
 	}

コンパイルエラーのキャプチャを追加。

2017/05/25 01:31

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -216,11 +216,9 @@
 ```
----
+>
-![イメージ説明](b1ea4873314d5c8ac6323dc696321809.png)
+![イメージ説明](7e34d6a5a7218ef236244b8b939fb1a7.png)
----

コンパイルエラーのキャプチャを追加

2017/05/24 11:27

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -216,6 +216,12 @@
 ```
+---
+![イメージ説明](b1ea4873314d5c8ac6323dc696321809.png)
+---
 ###ご質問

質問文を小修整

2017/05/24 11:23

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -172,7 +172,7 @@
 		try {
-			// このケースは問題なく動作する。
+			// （１）このケースは問題なく動作する。
 			Bar<String> strBar = new Bar<>(...);
@@ -180,7 +180,7 @@
-			// このケースはコンパイルエラー
+			// （２）このケースはコンパイルエラー
 			Foo<Foo<String>> strFooFoo = new Foo<>(...);
@@ -188,15 +188,15 @@
-			// このケースは問題なく動作するが、こんな書き方をさせたくない
+			// （３）このケースは問題なく動作するが、こんな書き方をさせたくない
 			Foo<Foo<String>> strFooFoo2 = new Foo<>(...);
-			Foo<Foo<Integer>> intFooFoo2 = strFooFoo2.map(foo -> foo.<Integer, Foo<Integer>>map(item -> item.length()));
+			Foo<Foo<Integer>> intFooFoo2 = strFooFoo2.<Foo<Integer>, Foo<Foo<Integer>>>map(foo -> foo.<Integer, Foo<Integer>>map(item -> item.length()));
-			// オリジナルのクラスでも、問題なく動作する。
+			// （４）オリジナルのクラスでも、問題なく動作する。
 			Org<Org<String>> strOrgOrg = new Org<>(...);
@@ -220,7 +220,7 @@
 ###ご質問
-「型の不一致」エラーが出ている行について、
+「型の不一致」エラーが出ている（２）について、
 ソースコード側ではなく、IBarインターフェース側に何らかの手を加えて、コンパイルエラーを解消できないでしょか？

質問文を小修整

2017/05/24 09:42

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -196,6 +196,14 @@
+			// オリジナルのクラスでも、問題なく動作する。
+			Org<Org<String>> strOrgOrg = new Org<>(...);
+			Org<Org<Integer>> intOrgOrg = strOrgOrg.map(org -> org.map(item -> item.length()));
 		}
 		catch (Exception e) {

質問文を小修整

2017/05/24 09:38

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -172,7 +172,7 @@
 		try {
-			// このケースは問題する。
+			// このケースは問題なく動作する。
 			Bar<String> strBar = new Bar<>(...);
@@ -188,7 +188,7 @@
-			// このケースはコンパイルエラーにならず動作するが、こんな書き方をさせたくない
+			// このケースは問題なく動作するが、こんな書き方をさせたくない
 			Foo<Foo<String>> strFooFoo2 = new Foo<>(...);

質問文を小修整

2017/05/24 09:35

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -50,7 +50,9 @@
 	}
+```
+```java
 	/**
@@ -210,6 +212,8 @@
 ###ご質問
+「型の不一致」エラーが出ている行について、
 ソースコード側ではなく、IBarインターフェース側に何らかの手を加えて、コンパイルエラーを解消できないでしょか？

コンパイルエラーが出ないケースを追加

2017/05/24 09:33

投稿

crescendocres

スコア12

test CHANGED Viewed

File without changes

test CHANGED Viewed

@@ -70,19 +70,33 @@
 		 */
+		default
+		<O, OL extends IBar<O, OL>>
-		default <O, OL extends IBar<O, OL>> OL map(final Function<E,O> mapper) throws Exception {
+		OL map(final Function<E,O> mapper){
+			try {
-			Constructor<OL> con = (Constructor<OL>) this.getClass().getConstructor();
+				Constructor<OL> con = (Constructor<OL>) this.getClass().getConstructor();
-			OL ol = con.newInstance();
+				OL ol = con.newInstance();
-			this.stream().map(mapper).forEach(value -> ol.add(value));
+				this.stream().map(mapper).forEach(value -> ol.add(value));
-			return ol;
+				return ol;
+			}
+			catch (Exception e) {
+				return null;
+			}
 		}
@@ -124,7 +138,7 @@
 	extends java.util.LinkedList<E>
-	implements IBar<E, Bar<E>> {
+	implements IBar<E, Foo<E>> {
 		/**
@@ -156,9 +170,9 @@
 		try {
-			// このケースは問題なく動作
+			// このケースは問題する。
-			Bar<String> strBar = new Bar<>();
+			Bar<String> strBar = new Bar<>(...);
 			Bar<Integer> intBar = strBar.map(item -> item.length());
@@ -166,12 +180,20 @@
 			// このケースはコンパイルエラー
-			Foo<Foo<String>> strFooFoo = new Foo<>();
+			Foo<Foo<String>> strFooFoo = new Foo<>(...);
 			Foo<Foo<Integer>> intFooFoo = strFooFoo.map(bar -> bar.map(item -> item.length())); /* 型の不一致! */
+			// このケースはコンパイルエラーにならず動作するが、こんな書き方をさせたくない
+			Foo<Foo<String>> strFooFoo2 = new Foo<>(...);
+			Foo<Foo<Integer>> intFooFoo2 = strFooFoo2.map(foo -> foo.<Integer, Foo<Integer>>map(item -> item.length()));
 		}
 		catch (Exception e) {