Discussion :

[Lintel-oo]

Bonjour à tous,

comme l'intitulé l'indique, j'ai un problème de template. Voici comment on peut le résumer :
Une interface A

Code :

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

1
2
3
4
5
public interface A <T,U extends A>
{
	public T getPoint();
	public U next();
}

implémentée par une classe B

Code :

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

1
2
3
4
5
public class B implements A<C,B>
{
	public C getPoint();
	public B next();
}

(C est une classe quelconque)
et enfin on a une classe D

Code :

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

1
2
3
4
5
6
 
public class D<T extends C>
{
	public void setPoint(T point)
	{}
}

Et, là où ça pêche, c'est dans une fonction template qui utilise une classe héritant de A et une classe D :

Code :

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

1
2
3
4
5
 
public static<T extends A> void superFunction(T monHeritageDeA, D d)
{
	d.setPoint(monHeritageDeA.getPoint());
}

Là, ça ne compile pas, parce que T représente une classe de type A sans paramètre template, et lorsqu'on fait d.setPoint, la fonction s'attend à recevoir un objet héritant de C. Or j'aimerais pouvoir préciser que monHeritageDeA hérite de quelque chose du genre A<C,...>. Ainsi, il n'y aurait plus de problème. Voyez-vous comment faire quelque chose de ce type (qui ne compile pas bien sur) ?

Code :

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

1
2
3
4
5
 
public static<T extends A<U extends C, V>> void superFunction(T monHeritageDeA, D d)
{
	d.setPoint(monHeritageDeA.getPoint());
}

Merci d'avance !

[thelvin]

La première chose à se dire, c'est que si un type a des paramètres template, tu n'as pas le droit de t'en servir sans paramètre template. Sinon tu arriveras à rien, l'idée des templates est de s'en servir.

Donc, dans ta méthode. Ton paramètre D d est d'un type paramétré, mais tu n'as pas mis le paramètre. Ça ne va pas. Mets-en un. Celui que tu vas utiliser.
Cela te forcera à utiliser le même pour ton paramètre T monHeritageDeA, et donc de lui définir des paramètres correspondant pour A. Et les choses se déroulent toutes seules comme il faut.

[Lintel-oo]

Donc si je comprends bien, (contrairement en c++) c'est impossible de mettre une classe template en argument sans spécifier le type template de la classe ?

C'est dommage!

[thelvin]

C'est possible, mais si tu le fais ça ne sert à rien et le mieux est encore de ne pas s'embarrasser avec des templates.

En Java les templates ne sont qu'un outil de typage compile-time. Si tu ne t'en sers pas pour assurer la cohérence de type, alors tu ne t'en sers pas tout court, par état de fait.

[Lintel-oo]

Ok merci ! C'est complètement différent des template c++ alors !

Je pense que je peux passer le sujet en résolu.

[adiGuba]

Salut,


Ton code n'est pas évident à suivre, surtout que tu utilises des nom à une lettre pour les interfaces/classes...

Mais à première vue je dirais que ta méthode devrait ressembler à ceci :

Code :

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

1
2
3
public static void <T extends C> superFunction(A<T,?> monHeritageDeA, D<T> d) {
	d.setPoint(monHeritageDeA.getPoint());
}

a++