Java

encore les generics

Recherche :

Mot : Pseudo : Filtrer
Bas de page
Auteur	Sujet : encore les generics

TheRom_S

Salut à tous,

j'ai découvert récemment les generics et leur puissance, mais j'en arrive à quelques problèmes.
En fait, j'ai des flux provenant d'un Socket à mapper sur différents types suivant mon cas d'utilisation :
un coup BufferedReader et String, un autre coup org.xml.sax.InputSource et org.jdom.Document, et après d'autres types encore ...
j'utilise un objet qui, pour gérer mes flux d'entrée, utilise lui-même d'autre objets paramétrables :

Code :

// T1 par exemple BufferefReader
// T2 par exemple String
// T3 et T4, même style d'adaptation, mais en sortie
public class MyController<T1, T2, T3, T4,
T5 extends MyReader<T1, T2, ?>,
T6 extends MyWriter<T3, T4, ?>> {
// declaration révélante pour l'exemple
T5 myReader;
// opération appellée par un MyReader
public boolean isReadable() { ... }
// opération utilisant un MyReader
public T2 read() { return this.myReader.read(); }
}
public class MyReader<T1, T2, C extends MonControlleur<T1, T2, ?, ?,
? extends MyReader<T1, T2, C>,
? extends MyWriter<?, ?, C>>> {
// declaration révélante pour l'exemple
C myController;
public T2 read() {
if (this.myController.isReadable()) { return ... ; }
else { return null; } // par exemple
}
}
public class MyWriter<T3, T4, C extends MonControlleur<?, ?, T3, T4,
? extends MyReader<?, ?, C>,
? extends MyWriter<T3, T4, C>>> { ... }
// même chose

Ainsi, je peux vérifier 2 choses :
- grâce à la signature de MyController, je vérifie que le paramétrage de MyReader et MyWriter est bien dépendant des types T1 à T4
- grâce aux signatures de MyReader et MyWriter, que le MyController C passé est bien adapté aux types T1 à T4

Mes sources compilent sans aucun problème et sous NetBeans 5.0 beta, l'IDE ne me montrait aucune erreur.
Mais depuis que mon 5.0 beta est cassé (vivement la RC) je passe par Eclipse 3.1.1 qui me dit ceci pour MyReader (remplacer pour MyWriter) :

Citation :

Bound mismatch: The type ? extends MyReader<T1, T2, C> is not a valid substitute for the bounded parameter <T5 extends MyReader<T1, T2, ?>> of the type MyController<T1, T2, T3, T4, T5, T6>

Alors mes questions sont les suivantes :
- est-ce juste Eclipse qui gère pas ? après tout ça compile sans aucun [unchecked], rien, aucun warning (pour l'instant)
- est-ce que je vais trop loin dans la signature ?
exemple :

Code :

public class ClassA<B extends ClassB<? extends ClassA<B extends ClassB<? extends ClassA<B extends ClassB<? extends ClassA<B extends ClassB<? extends ClassA<... // arf ou est-ce que je m'arrete ???

- même question à l'envers : ai-je vraiment besoin de spécifier un type T5 et T6 dans MyController et un type C dans les 2 autres ?

Donc j'espère ne pas trop vous torturer l'esprit avec mes questions et vous remercie d'avance pour vos réponses

ps: à quand le topic "passage obligé pour les débutants avec les generics" ?

---------------
The Rom's, à votre service

Publicité

TheRom_S

petit up du soir ;p
vous comprenez mes questions ou je suis pas assez clair ? sinon dites-le

finalement la seule question valable est peut-etre
"a-t-on le droit d'utiliser les generics sur des classes abstraites pour obliger les classes dérivées (sans generic) à se conformer à ces règles, donc utiliser les generics uniquement dans le but de limiter les héritages grâce à des règles qui font que tout le système reste cohérent ?"

(et du coup ça a l'air beaucoup moins clair là :lol: )

voila, merci à ceux qui auront le courage de se creuser la tete pour m'aider dans mes aventures avec Java

---------------
The Rom's, à votre service

TheRom_S

bon, et bien apparemment, tout le monde sèche sur cette question, même les bons du forum.
Ce serait presque la gloire de voir que personne ne trouve mais en même temps ça m'arrange pas
la prochaine fois, je demanderai pourquoi ma classe s'execute pas quand je clique dessus ou si je dois la renommer en .exe :lol:

sinon, deux éléments de réponse :
- en remplaçant "? extends MyReader<T1, T2, C>" par "MyReader<T1, T2, C>",
il n'y a plus ce problème mais j'ai peur d'être bloqué par la suite en utilisant des classes dérivées :
(en gardant uniquement la partie concernant la foncion read)
public class StringController extends MyController<BufferedReader,String, ... , ... ,StringReader, ... > { ... }
public class StringReader extends MyReader<BufferedReader,String,StringController> { ... }
car StringReader est différent de MyReader<BufferedReader,String,StringController> (par ailleurs MyReader est abstraite)

- en remplaçant par "? super MyReader<T1, T2, C>" comme proposé par nraynaud dans un autre topic consacré aux generics,
le problème disparait aussi sauf que je peux alors utiliser un MyWriter puisque les deux fonctions dérivent d'une classe principale (qui se dérive pour gérer les ouvertures et fermetures de socket, la récupération des flux du socket pour les adapter en flux plus sympa et finalement l'écriture et la lecture de ces flux)
et là c'est plus bon puisque mes generics ne controllent plus la bonne utilisation.

bref je suis bloqué et je sais plus quoi faire

sinon, par rapport à netbeans, il ne marque pas d'erreur mais j'ai la ferme impression que c'est quand même ça qui le fait planter
(il recherche récursivement dans MyController puis MyReader dès qu'il essaie de proposer les champs ou méthodes après avoir appuyé sur . non ?)

---------------
The Rom's, à votre service

bobuse

Je capte pas tout mais j'ai l'impression que tu paramètres un peu inutilement ...

Dans MyController, tu te sers où de tes Tx ?
Au passage, danne desinitiales plus explicites, ça aide à la compréhension, genre : R extends MyReader, W extends MyWriter ...

D'autre part, je vois pas trop l'intérête de paramétrer un classe avec un joker !!!

Citation :

MyReader<T1, T2, C extends MonControlleur<T1, T2, ?, ?,
? extends MyReader<T1, T2, C>, ? extends MyWriter<?, ?, C>>>

Ils te servent à quoi tes deux derniers ?
À moins que ce soit pour faire de l'introspection ...

---------------
get amaroK plugin

TheRom_S

oui en fait, y'avait un peu trop de paramétrage.

j'ai viré T5 et T6 (par rapport à l'exemple) comme paramètre de MyController
et dedans, j'utilise des variables
MyReader<T1,T2,? extends MyController<T1,T2,?,?>> myReader;

au lieu de
T5 myReader;

ça marche beaucoup mieux (netbeans remarche) car je peux quand même utiliser des classes dérivées (qui n'ont pas de méthodes en plus, juste l'implémentation de certaines méthodes abstraites)

ca me permet en plus de vérifier que le controller est adapté au reader (y'a les memes T1 et T2)
et le reader reste adapté au controller puisque sa signature est dans le controller

les 2 derniers ?, c'est parce que MyReader est indépendant de MyWriter qui les utilise :
MyWriter<T3,T4,? extends MyController<?,?,T3,T4>> myWriter;

et effectivement, je fais pas d'introspection (au sens java.lang.reflect)

donc la leçon de ce topic ? pas faire trop de paramétrage et éviter un paramétrage "récursif" ?

---------------
The Rom's, à votre service

bobuse

pourrais-tu repondre ton source, car je capte plus où tu en es ...

---------------
get amaroK plugin

TheRom_S

pas de pb si tu demandes,
faut voir que c'était jute un exemple, (je te file pas le projet complet parce qu'il est déja trop long)
Les classes de base

Code :

import java.util.LinkedList;
public class MyController<T1,T2,T3,T4> {
T1 in;
LinkedList<T2> inList;
T3 out;
LinkedList<T4> outList;
MyReader<T1,T2,? extends MyController<T1,T2,?,?>> myReader;
MyWriter<T3,T4,? extends MyController<?,?,T3,T4>> myWriter;
public boolean isReadable() { return (this.in!=null); }
public boolean isWritable() { return (this.out!=null); }
public T1 getIn() { return this.in; }
public T3 getOut() { return this.out; }
public void setReader(MyReader<T1,T2,? extends MyController<T1,T2,?,?>> reader) {
this.myReader=reader;
}
public void setWriter(MyWriter<T3,T4,? extends MyController<?,?,T3,T4>> writer) {
this.myWriter=writer;
}
public T2 read() {
T2 tmp;
tmp=this.myReader.read();
inList.addLast(tmp);
return tmp;
}
public void write(T4 mess) { this.myWriter.write(mess); }
}

Code :

public abstract class MyReader<T1,T2,C extends MyController<T1,T2,?,?>> {
T1 in;
C myController;
public MyReader(C controller) {
this.myController=controller;
this.in=this.myController.getIn();
this.myController.setReader(this);
}
public abstract T2 read();
}

Code :

public abstract class MyWriter<T3,T4,C extends MyController<?,?,T3,T4>> {
T3 out;
C myController;
public MyWriter(C controller) {
this.myController=controller;
this.out=this.myController.getOut();
this.myController.setWriter(this);
}
public abstract void write(T4 mess);
}

Et les implémentations

Code :

import java.io.BufferedReader;
import java.io.PrintWriter;
public class StringController extends MyController<BufferedReader,String,PrintWriter,String> {
public StringController() {
StringReader tmpr=new StringReader(this);
StringWriter tmpw=new StringWriter(this);
}
}

Code :

import java.io.BufferedReader;
public class StringReader extends MyReader<BufferedReader,String,StringController> {
public StringReader(StringController controller) {
super(controller);
}
public String read() {
return new String("" );
// oui ben c'est un exemple test pour voir si ça compile et si ça fait planter l'IDE ou pas ;)
// sinon un truc genre : return this.in.readLine(); avec les try-catch qui vont bien
}
}

Code :

import java.io.PrintWriter;
public class StringWriter extends MyWriter<PrintWriter,String,StringController> {
public StringWriter(StringController controller) {
super(controller);
}
public void write(String mess) {
// pareil, exemple sinon un truc genre : this.out.println(mess);
}
}

bon il manque plein de choses par rapport au vrai projet mais je pense que ça reflète bien la méthode que j'utilise
et du coup il n'y a pas besoin de paramétrer sur T5 et T6 comme avant ...
merci pour l'astuce / le recadrage en tout cas :hello:

---------------
The Rom's, à votre service

FORUM HardWare.fr

Programmation

Java

encore les generics

Sujets relatifs
[generics] un patron strategy paramétrable	[Java] Serializer un Generics
[Tiger] generics : faire un "bridge"	generics : round two
generics : unchecked conversion	generics : besoin d'aspirine :D [Résolu]
Plus de sujets relatifs à : encore les generics

Page générée en 0.105 secondes