javaのジェネリクスについて

Question

すみませんが、初めて3か月くらいの初心者なのでお助け願います
javaのジェネリクスの型推論について

例えば、

List<PC>型のあるlistがあって、
あるクラスPCがあって、String型のフィールドMakerがある。getterもある。
List<PC> list = PC.getList();右辺では、具体的なPC型のインスタンスが入っているリストを取得しています。
そこから、streamを使うときの
list.stream().sort(Collector.comparing(PC::getMaker)).～略～;

という部分があったときの話で

conparingはCollectorクラスのメソッドでAPIには

static <T,U extends Comparable<? superU>> Comparator<T> comparing(Function<? super T,? extends U> keyExtractor)とあるのですが型推論としてはsortメソッドがConparator<PC>型を要求しているから、conparingメソッドのTがPCだと推論してわかって、そのおかげでメソッド参照の引数の型が決まったので返り値の型も分かるからFunctionのUも推論されていくからメソッド参照が成り立って、全体のジェネリクスが特定の型にきまるっていう感じだと考えたんですが、間違いでしょうか？

このように悩むことが多いので、ジェネリクスがパラメータ化される型推論の仕様の全てが知りたいです、宜しくお願いします。

Comments

[m.ts10806]

要件が分かりづらいのですが、コードを例示された方が良いかと。あと Fanction ではなくFunctionですかね

[退会済みユーザー]

仕様の全てが知りたいならば仕様書を当たってください

[ildahhk]

訂正しました。コードは例示してますけど足りませんか？

[m.ts10806]

切り取りすぎて全体像が見えません。あとコードはマークダウンのcode機能を使ってください

[ildahhk]

公式サイト見ても断片的にしか見当たらないから質問してます、探しかた間違えてますかね

[退会済みユーザー]

概要の方しか見てないのかな?　たぶんそのページに「ジェネリクスについては、ほかにも多くの学ぶべき情報があります。「The Java Tutorial」の「Generics」レッスンを参照してください。」って書いてませんか?

[ildahhk]

チュートリアルの型推論のページは見いまして、しかし、そこだけでは例示した物を説明出来ないと思い質問したのですが、全てが載ってるところがあればありがたいと思うんですけど、難しいでしょうか…

[ildahhk]

コードの表記を訂正しました。

Answer 1

いろいろ考えた結果の今の考えとしては、この質問の考え方は半分間違いで、
一応sortメソッドがConparator<PC>型を要求しているから、conparingメソッドのTがPCだと推論してわかるところまでが型推論の話のようで、あとはそれを利用してラムダ式やメソッド参照も使えるということです。
もしこの推論がなくても、メソッド参照であれば使えるだろうと思います。メソッド参照はそれ自身で引数の型を指定できるためです。型推論の話というよりはラムダ式やメソッド参照に対する理解が間違っていたのだとおもいます。この考え方もあっているかはわかりませんがとりあえずの結論として自己解決いたしました。