Компиляция с подстановочных дженериков

Question

Я работаю на экзамене Java OCP, и я наткнулся на этот вопрос

Учитывая следующий код:

Transaction t1 = new Transaction<>(1, 2); //1 
Transaction t2 = new Transaction<>(1, "2"); //2 

Это требуется, что // 1 необходимо собрать и// 2 НЕ должны компилироваться. Какое из следующих объявлений класса Transaction будет удовлетворять запросу?

Ответ этот:

public class Transaction<T, S extends T> { 
    public Transaction(T t, S s) { 

    } 
} 

Что я понимаю. Но когда я помещаю этот код в проект Eclipse, он работает! Вот мой код:

class TransactionD<T, S extends T> { 
    public TransactionD(T t, S s){ 
     System.out.println("D: t: " + t.getClass() + " s: " + s.getClass()); 
    } 
} 
public class Test1 
{ 
    public static void main(String[] args) { 

     TransactionD d1 = new TransactionD<>(1, 2); //1 
     TransactionD d2 = new TransactionD<>(1, "2"); //2 
    } 

} 

Мой выход заключается в следующем:

D: т: класс java.lang.Integer s: класс java.lang.Integer

D: т: класс Java. lang.Integer s: class java.lang.String

Мой вопрос: что мне не хватает?

Answer 1

Поскольку вы используете сырые типы в вашем объявлении, вы на самом деле с помощью TransactionD<Object, Object>, и это делает вызов действительным, так как в соответствии с ява дженериков, Object расширяет Object, и оба Integer и String также расширить объект.