yohhoy https://blog.hatena.ne.jp/yohhoy/ yohhoyの日記 https://yohhoy.hatenadiary.jp/ Java Java言語のジェネリクス(generics)では、型推論過程において無限型(infinite type)が推論されうる。ただしJava言語では無限型を表現できないため、非境界ワイルドカード(unbounded wildcard) <?> を用いた再帰型(recursive type)で代替される。下記コードの条件演算子(?:)を用いた条件式★において、オペランド型 List<Integer> および List<Double> から式全体の型推論が行われる。このとき推論される型は lub(List<Integer>, List<Double>) = List<Number & Comparab… 190 <iframe src="https://hatenablog-parts.com/embed?url=https%3A%2F%2Fyohhoy.hatenadiary.jp%2Fentry%2F20160913%2Fp1" title="型推論と無限型(infinite type) - yohhoyの日記" class="embed-card embed-blogcard" scrolling="no" frameborder="0" style="display: block; width: 100%; height: 190px; max-width: 500px; margin: 10px 0px;"></iframe> Hatena Blog https://hatena.blog 2016-09-13 00:00:00 rich https://yohhoy.hatenadiary.jp/entry/20160913/p1 1.0 100%