Java ジェネリクスとラムダ式を組み合わせた時のコンパイルエラー

Question

前提・実現したいこと

以下のソースコードがコンパイルエラーになる理由が分かりません。どこを直せばコンパイルが通りますか？　Java12です。

エラーメッセージ

C:(ディレクトリ名)\example\Eg.java:28:21
java: 不適合な型: example.Eg<java.util.ArrayList<java.lang.String>>をexample.Eg<<anonymous java.util.ArrayList<java.lang.String>>>に変換できません:

package example;

import java.util.ArrayList;
import java.util.function.Function;

class Eg<T> {

    T t;

    Eg(T t){
        this.t = t;
    }

    <R> Eg<R> m1(Function<T,R> fun){
        return new Eg<>(fun.apply(t));
    }

    void m2(Eg<T> eg){ }

    public static void main(String[] args) {
        Eg<String> eg = new Eg<>(null);

        eg.m1(str -> new ArrayList<String>(){{
            add(str);
        }}).m2(new Eg<ArrayList<String>>(new ArrayList<>()));
    }
}

補足

.m2(...の部分が無ければ通るのですが…

Comments

[hoshi-takanori]

m1 の結果が ArrayList<String> の anonymous subclass になってるので、
eg.m1(str -> (ArrayList<String>) new ArrayList<String>(){{
とすればいいのかも。

[xebme]

素直に型を書けばよろしいのでは？
eg.<ArrayList<String>>m1( ...

[退会済みユーザー]

hoshi-takanoriさんのおっしゃるとおりだと思います。
FunctionのRがanonymous subclassになっていて、Eg<[anonymous subclass]>みたいになっちゃうので、m2の引数をEg<ArrayList<String>>で呼べないのです。
anonymous subclassの型を残してもいいことないので、インスタンスを作った瞬間にキャストしてあげるのが一番妥当です。
あまり気持ちよくないですが、Functionでキャストしてもいけるようです。
eg.m1((Function<String, ArrayList<String>>)str -> new ArrayList<String>() {{

[xebme]

castが問題ですか？私は<R>の型推論の問題だと思いました。

Answer 1

エラーの原因は、コンパイルエラーのメッセージ通り。
どう型が違うかは、以下のコードと同様に違う。

al2は、ArrayList”そのもの”では、ありません。（ArrayListのサブクラスなので、ArrayListですが・・・ややこしい）

ArrayList<String> al1 = new ArrayList<String>();
ArrayList<String> al2 = new ArrayList<String>() {{add("str");}};

System.out.println(al1.getClass().getName());
System.out.println(al2.getClass().getName());

修正方法は、xebmeさんが書いている通りアップキャストするように型を記述する。

もしくは、

ラムダ式で、きちんとArrayListを返すように記述してみてはどうでしょう。

eg.m1(str -> {
	var ret = new ArrayList<String>();
	ret.add(str);
	return ret;
}).m2(new Eg<ArrayList<String>>(new ArrayList<>()));