Почему этот код компилируется? (Java общий метод)

Question

Следующий код:

import java.util.*; 

public final class JavaTest { 
    public static <T extends Comparable<? super T>> int max(List<? extends T> list, int begin, int end) { 
     return 5; 
    } 

    public static void main(String[] args) { 
     List<scruby<Integer>> List = new ArrayList<>(); 
     JavaTest.<scruby>max(List, 0, 0); //how does this compile?, scruby doesn't meet 
     //T extends Comparable<? super T> 
    } 
} 

class scruby<T> implements Comparable<String>{ 
    public int compareTo(String o) { 
     return 0; 
    } 
} 

Как оператор JavaTest.max (List, 0, 0) компилировать? Как scruby встретить

T extends Comparable <? super T> 

Он реализует Comparable<String>, который не является супер тип scruby? Если вы измените его на scruby<Integer>, он не будет компилироваться и дать ошибку. Так почему он компилируется сейчас? Почему компилируется исходный тип?

Answer 1

JavaTest.<scruby>max(List, 0, 0); 

scruby является необработанным. Это подавляет некоторые проверки типов.

Вы должны добавить все необходимые параметры типа:

JavaTest.<scruby<Integer>>max(List, 0, 0); 

Или просто позволить Java вывести их:

JavaTest.max(List, 0, 0);