まじめにJavaの型推論書いてるのでメモ。capture-#xとか分かるようになるかも。 レビューに付き合ってくださる方は Java SE Specifications からPDFをダウンロードしておくとよいかと*1。 捕捉変換の概要 捕捉変換(capture conversion)は言語仕様の「5.1.10 Capture Conversion」にあります。5回くらい読まないとまともに理解できないので趣旨だけ簡単に パラメータ化型*2に出現する型引数にはワイルドカード*3を含めることができる ワイルドカードは型そのものではなくて型の範囲(集合)を表現する*4 変数の参照などの式には捕捉変換が適用され、パラメータ化型からワイルドカードが除去される ワイルドカードを含むパラメータ化型に捕捉変換を適用すると、すべてのワイルドカードが一時的な型変数に置き換えられる コンパイルエラーの時によく出る
