Stream処理における、型推論されない原因がわからない

Question

概要

Streamを用いたComparator生成時、↓この実装で型推論されない理由を教えていただきたいです。

Comparator<Data> comparator = Comparator
	.comparing(d -> d.getkey1())
	.thenComparing(d -> d.getkey2());

（全実装は最後に記載いたします）

詳細

List<Data> を2つのkeyでソートする処理を実装しています（key1でソート→key1が同値の場合にはkey2でソート）。

Comparator作成時、ソース中① NGの実装では以下内容のコンパイルエラーが発生します。

<T, U> comparing(Function<? super T,? extends U>) の型引数を推論できません

しかし、Comparator作成Stream処理を2回に分けた、②の処理は問題なく動作します。

・なぜ①のように、2段階の処理を一度に行いComparatorを作成する実装では型推論されないのか
・なぜ、②のように2行に分けた実装ならば型推論されるのか

をご教授下さい。

import java.util.ArrayList;
import java.util.Comparator;
import java.util.List;
import java.util.Random;
import java.util.stream.Collectors;

public class SortTest {

	public static void main(String[] args) {
		sortTest();
	}

	public static void sortTest() {
		List<Data> dataList = create();

		// ① NG : なぜか型推論できない
		Comparator<Data> comparator = Comparator
			.comparing(d -> d.getKey1())
			.thenComparing(d -> d.getKey2());

		// ② OK (別々にComparator生成)
		// Comparator<Data> comp1 = Comparator.comparing(d -> d.getKey1());
		// Comparator<Data> comp2 = Comparator.comparing(d -> d.getKey2());
		// Comparator<Data> comparator = comp1.thenComparing(comp2);

		// ③ OK （型を指定すればOK）
		// Comparator<Data> comparator = Comparator
		// .comparing((Data d) -> d.getKey1())
		// .thenComparing(d -> d.getKey2());

		// ③ OK （メソッド参照でもOK）
		// Comparator<Data> comparator = Comparator
		// .comparing(Data::getKey1)
		// .thenComparing(Data::getKey2);

		List<Data> sortedList = dataList.stream().sorted(comparator)
			.collect(Collectors.toList());

		showObjList(sortedList);
	}

	static class Data {
		private final long key1;
		private final long key2;
		private final String str;

		Data(long key1, long key2, String str) {
			this.key1 = key1;
			this.key2 = key2;
			this.str = str;
		}

		public long getKey1() {
			return this.key1;
		}

		public long getKey2() {
			return this.key2;
		}

		public String toString() {
			return String.valueOf(key1)
				+ " "
				+ String.valueOf(key2)
				+ "  "
				+ str;
		}
	}

	private static void showObjList(List<Data> DataList) {
		for (Data Data : DataList) {
			System.out.println(Data.toString());
		}
	}

	private static List<Data> create() {
		List<Data> retList = new ArrayList<>();
		Random rnd = new Random();
		for (int i = 0; i < 100; i++) {
			int key1 = rnd.nextInt(10);
			int dc = rnd.nextInt(3);
			String str = String.valueOf(new Random().nextInt());
			retList.add(new Data(key1, dc, str));
		}
		return retList;
	}
}

Comments

[LouiS0616]

thenComparing(d -> d.getkey2) ではなく thenComparing(d -> d.getkey2()) ですよね。
ここを修正しても当該エラーは解消しないようですが、話がこんがらがりそうなので修正しておいて下さい。

[waka_]

ご指摘ありがとうございます！該当箇所修正いたしました

Answer 1

この質問を見たときすでに解決済みになっていました。備忘録としてリンクを貼らせてください。
Very confused by Java 8 Comparator type inference
エラーの理由説明はswordoneさんと同じ。

リンク先の情報のとおり、eclipseコンパイラとjdkコンパイラでは結果が異なりました。
eclipseコンパイラの型推論だと疑問が残りますが、jdkコンパイラの結果なら理解できます。

Comparator.<Data, Long>comparing(...).thenComparing(...)という解決法も。

Comments

[waka_]

返信遅くなりすいません、 有用な情報共有ありがとうございます！

Answer 2

問題が起こっているComparator.comparingはstaticメソッドで、
本来明確な型宣言をしない限り、型の根拠となるべき情報がありません。
それが②のような形で左辺の型宣言とつながることにより、型が確定できるのです。
一方、thenComparingはComparator<T>のインスタンスメソッドです。
引数に入れるべき型は、インスタンスの型に依存します。
ところが、その元のインスタンスの型が先述のstaticメソッドによるもので、こちらの型が決まりません。
最終形がDataなのはわかっても、その前は「Dataの子クラス」ということしかわからず、どのクラスを参照すべきかが確定できません。そのため、このコンパイルエラーが発生します。

Comments

[waka_]

なるほど、理解しました！丁寧に解説いただきありがとうございます！