Discussion :

[Ithildine]

Je suis tombé sur une portion de code qui ne compile pas et je ne me l'explique pas, si vous avez une explication, je suis preneur

Voici la chose avec, en commentaire, l'erreur donnee par Eclipse :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
public class TemplateQuizz
{
    public class ClassA
    {};

    public <T> T creat(Class<? super T> typeDemande)
    {
        return null;
    }

    public ClassA method2A(Class<? extends ClassA> arg)
    {
        // The method creat(Class<? super T>) in the type TemplateQuizz is not 
        // applicable for the arguments (Class<capture#1-of ? extends TemplateQuizz.ClassA>)
        ClassA objet = creat(arg);  //  compile error  --ÎÎ
        
        return objet;
    }

    public <E extends ClassA> ClassA method2B(Class<E> arg)
    {
        ClassA objet = creat(arg);
        return objet;
    }

La question subsidiaire : pourquoi les signatures des méthodes method2A et method2B ne sont-elles pas équivalentes ?

[tchize_]

Ta méthode creat prend, dans ton appel, classA ou un de ses parents, l'argument que tu lui passe est de type classA ou un de ses descendant, c'est donc pas compatible.

[adiGuba]

Salut,

Ta méthode creat prend, dans ton appel, classA ou un de ses parents, l'argument que tu lui passe est de type classA ou un de ses descendant, c'est donc pas compatible.

+1

D'ailleurs je ne comprend pas la signature de ta méthode creat(), à mon avis cela devrait plutôt être quelque chose du style :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

public <T> T creat(Class<T> typeDemande)

La question subsidiaire : pourquoi les signatures des méthodes method2A et method2B ne sont-elles pas équivalentes ?

1. Code :

   Sélectionner tout - Visualiser dans une fenêtre à part

   public ClassA method2A(Class<? extends ClassA> arg)

   On a ici une méthode standard, qui prend en paramètre un type Class, et qui retourne une instance de ClassA. Cette méthode n'est pas paramétré, mais son paramètre arg l'est, ce qui permet de limiter le type des paramètres un peu plus fortement (impossible de passer un Class<String> par exemple).
   
   

2. Code :

   Sélectionner tout - Visualiser dans une fenêtre à part

   public <E extends ClassA> ClassA method2B(Class<E> arg)

   Ici on a une méthode paramétré par <E extends ClassA>, donc le type de E dépendra de l'appel de la méthode.
   Dans ce cas précis cela a très peu d'intérêt, mais cela permettrait de retourner E à la place de ClassA, ce qui donnerait ceci :
   

   Code :

   Sélectionner tout - Visualiser dans une fenêtre à part

   public <E extends ClassA> E method2B(Class<E> arg)

   Désormais on a un lien entre le paramètre et le type de retour, ce qui permet d'écrire (avec une classe ClassB héritant de ClassA) :
   

   Code :

   Sélectionner tout - Visualiser dans une fenêtre à part

   ClassB classB = method2B(ClassB.class);

   On n'a plus du tout de cast

a++

PS : En Java on ne parle pas de Template, mais de Generics ou de classes/méthodes paramétrées. Cela a en effet un fonctionnement légèrement différent...

[Ithildine]

Tout d'abord, merci de vos réponses

Ta méthode creat prend, dans ton appel, classA ou un de ses parents, l'argument que tu lui passe est de type classA ou un de ses descendant, c'est donc pas compatible.

Certes, mais pourquoi l'appel est-il accepté dans la méthode method2B et refusé dans la méthode method2A alors que la définition du type de arg me semble totalement équivalente dans ces deux méthodes (à l'exception de la désignation possible de ce type dans le corps de la méthode method2B grace au paramètre formel E) ?

Quelle est la différence sémantique entre

public ClassA method2A(Class<? extends ClassA> arg)

et

public <E extends ClassA> ClassA method2B(Class<E> arg)

?

EDIT :

+1 adiGuba

public <T> T creat(Class<T> typeDemande)

est infiniement meilleur que la grosse bouse

public <T> T creat(Class<? super T> typeDemande)

.
Pourquoi faire simple quand on peut faire compliqué ?

[tchize_]

Certes, mais pourquoi l'appel est-il accepté dans la méthode method2B et refusé dans la méthode method2A alors que la définition du type de arg me semble totalement équivalente dans ces deux méthodes (à l'exception de la désignation possible de ce type dans le corps de la méthode method2B grace au paramètre formel E) ?

Dans le deuxième appel, méthode method2B, l'appel qui aura effectivement lieu après résolution est (on se base sur les paramètres de la méthode!):

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

Class<E> create (Class<? super E>)

et comme pas définition class<E> extends ClassA, on peut attribuer la valeur de retour à object sans problème.

Dans le method2A, les règles sont légèrement différentes (à cause du ?) pour déterminer les type. ? étant imprécis, on ne peut pas se baser dessus pour type l'appel. On regarde la valeur de retour attribuée pour essayer de déterminer le type de l'appel. On obtiens alors:

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

Class<A> create(Class<? super A>)

mais <? extends Class> ne peut pas être converti en <? super A> ! D'ou l'erreur.

Si je dis des conneries, adiGuba me corrigera