JavaのGenericメソッドで、匿名クラスを引数にする場合の型解決講座

Ktz @ktz_alias

えーJavaって、List<Hoge> list = Arrays.asList(new Hoge {{ ... }})できないのー？

ぐるぐる系SQL @bleis

@ktz_alias List<? extends Hoge> list = ...とかでは？

なぎせ ゆうき @nagise

@ktz_alias List<Hoge> list = Arrays.asList(new Hoge[]{ ... }); ですか？

ぐるぐる系SQL @bleis

@nagise @ktz_alias new Hoge() {{ ... }}だと思いますよ。

なぎせ ゆうき @nagise

@bleis @ktz_alias asListに渡すオブジェクトを無名クラスで拡張したいのか

Ktz @ktz_alias

@bleis それでいけました。C# と同じノリで書くのは難しいものですね。

ぐるぐる系SQL @bleis

@ktz_alias 共変反変がユーザコード側で指定できるの、結構便利っすよ。ただ、面倒感はある。

なぎせ ゆうき @nagise

@bleis @ktz_alias だったら List<Hoge> list = Arrays.<Hoge>asList(new Hoge(){{ ... }}); ですかね。型推論が失敗してるだけなので

Ktz @ktz_alias

@nagise @bleis フィールドpublicにしてて、初期化のために、hoge.aとか書くのたるいので、匿名クラスで代用しようとした結果です。

Ktz @ktz_alias

@bleis 共変の指定がソースコードの中であふれかえるので、できればC#みたいにクラス内に閉じて欲しかったんですけどね...。ただでさえ常に変数の型名指定しなきゃならんわけで。

なぎせ ゆうき @nagise

@ktz_alias @bleis List<Hoge> list = Arrays.<Hoge>asList(new Hoge(){{ ... }}); が正解。asList(T ...)の部分にHogeのサブクラス渡したので型推論が失敗してるだけ

Ktz @ktz_alias

@nagise @bleis これはいけました。メソッドの前に解決したい型名指定すればよかったのですね。C# みたくメソッド名の後につけてできなかったので、明示指定できないものと思い込んでいました。

Ktz @ktz_alias

やったーJavaのGenericレベルが1レベル上がった！

なぎせ ゆうき @nagise

@ktz_alias @bleis メソッドスコープのジェネリクスに明示的に型をバインドする構文はあまり知られてないですからね。そしてメソッドスコープのときだけ型推論が効くので、問題点が分かりにくい感じですね。ジェネリクスのよいサンプルコードですね :-)

きしだൠ(K1S) @kis

@ktz_alias @nagise @bleis ところでこれ、たぶんJava8ではちゃんと型推論してくれる気がしますね。

Yuichi Sakuraba @skrb

@kis @ktz_alias @nagise @bleis Java8だとOKですね。