Литье подтипа типа, определенного как общий

Question

У меня есть интерфейс Int1. У меня есть класс Cls1, реализующий Int1. И общий класс Cls2<Cls1>.

Сейчас я пишу метод:

private void <T extends Int1> test(Cls2<Cls1> arg1) { 
    ... 
    //I try to cast a Cls2<Cls1> into a Cls2<Int1>: it works 
    Cls2<Int1> test1 = (Cls2<Int1>) arg1; 
    //I try to cast a Cls2<Cls1> into a Cls2<T>: doesn't work 
    Cls2<T> test2 = (Cls2<T>) arg1; //compilation error 
} 

Учитывая, что T расширяет Int1, что случилось с этим кодом?

Answer 1

Код ниже компилирует без ошибок в intellij.

interface Int1{} 
class Cls2<T>{} 
class Cls1 implements Int1 {} 


private <T extends Int1> void test(Cls2<Cls1> arg1) { 
    Cls2<Int1> test1 = (Cls2<Int1>)(Cls2<?>)arg1; 
    Cls2<T> test2 = (Cls2<T>) arg1; 
} 

В java класс, параметризованный подклассом и суперклассом, не связан. Сначала нужно наложить на <?>.

В целом, если то, что у меня выше, отражает ваш код правильно, это очень странное использование дженериков. Пожалуйста, убедитесь, что ваш дизайн правильный.