Javaの型推論Utilsクラスのカラクリ

Javaの型推論Utilsクラス - yukobaのブログ
には驚かさせられた。
そうか。ジェネリックメソッドは型推論があるのか…

Java 5 の型推論が分からない - IT戦記
でも早速取り上げられている。
Javaジェネリクス周りは結構ややこしいので集中的に勉強しないとなかなか自信が持てない。

とりあえず、言語仕様などを確認した上でそのカラクリをまとめておいた。
Javaの型推論Utilsクラスのカラクリ

4/16追記

Java言語仕様」と「プログラミング言語Java」を取り違えてた orz
言語仕様のほうは部屋か…。帰ってから修正することにしよう。
英文の言語仕様はニュアンスを正しく理解できる自信がない…。

4/17 追記

Java言語仕様 第3版」
8.4.4 ジェネリックメソッド
15.12.2.7 実引数に基づく型引数の推論

が該当の言語仕様。

プログラミング言語Java 第4版」
11.3 ジェネリックメソッド
11.6 正しいメソッドを見つける - 再訪

の方が解説が平易です。