avec les génériques génériques Compiler

Question

Je travaille sur l'examen Java OCP, et je suis tombé sur cette question

Vu le code suivant:

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

Il est nécessaire que // 1 doit compiler et// 2 ne doit pas compiler. Laquelle des déclarations suivantes de la transaction Transaction satisfera la demande?

La réponse est celle-ci:

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

    } 
} 

Ce que je comprends. Mais quand je mets ce code dans un projet Eclipse, ça marche! Voici mon code:

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 
    } 

} 

Ma sortie est la suivante:

D: t: Classe java.lang.Integer s: classe java.lang.Integer

D: t: java class. lang.Integer s: class java.lang.String

Ma question est la suivante: qu'est-ce qui me manque?

Answer 1

Depuis que vous utilisez dans votre types premières déclaration, vous utilisez effectivement TransactionD<Object, Object>, ce qui rend l'appel valide, comme selon les génériques java, Object étend Object, et les deux Integer et String étendent également l'objet.