Petite question sur les templates

Version imprimable

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

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

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 ? 8O

17/07/2008, 20h42
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.
18/07/2008, 09h15
adiGuba
Salut,

Citation:

Envoyé par 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.

+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:

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

Citation:

Envoyé par Ithildine

La question subsidiaire : pourquoi les signatures des méthodes method2A et method2B ne sont-elles pas équivalentes ? 8O
1. Code:
  
  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:
  
  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:
  
  public <E extends ClassA> E method2B(Class<E> arg)
  
  :arrow: 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:
  
  ClassB classB = method2B(ClassB.class);
  
  :arrow: 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...
18/07/2008, 09h20
Ithildine

Tout d'abord, merci de vos réponses :D

Citation:

Envoyé par 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.

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

Citation:

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

et

Citation:

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

?

EDIT :

+1 adiGuba

Citation:

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

est infiniement meilleur que la grosse bouse

Citation:

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

.
Pourquoi faire simple quand on peut faire compliqué ? :lol:
18/07/2008, 10h41
tchize_

Citation:

Envoyé par Ithildine

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:

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:

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 :D