[ANT]Erreur de à la compilation avec généricité 1.5 ?

Version imprimable

Bonjour,

J'ai l'erreur suivante lors de la compilation d'un projet via ANT :

Code:

1
2
3
4
5
6
7
8
167: type parameters of <C>C cannot be determined; no unique maximal instance exists for type variable C with upper bounds C,P
    [javac] C elmt = getObjAt(elmts, idx);
    [javac] ^
    [javac] Note: * uses or overrides a deprecated API.
    [javac] Note: Recompile with -Xlint:deprecation for details.
    [javac] Note: Some input files use unchecked or unsafe operations.
    [javac] Note: Recompile with -Xlint:unchecked for details.
    [javac] 1 error

Quelqu'un saurait il pourquoi ? Et comment y remédier ?

Merci d'avance

21/11/2005, 11h36
adiGuba

Salut,

Il faudrait voir le code et la signature de la méthode getObjAt()...

a++
21/11/2005, 11h44
elitost

La signature est la suivante :

Code:

public static <P, C extends P> C getObjAt(final Collection elmts, int idx)

Et la ligne 167 sur laquelle est l'erreur :

Code:

C elmt = getObjAt(elmts, idx);

des idées ?
21/11/2005, 11h51
adiGuba

Apparemment la méthode (ou la classe) dans laquelle tu appelles getObjAt() utilise également les générics...
Il faudrait donc le type de elmts ainsi que la déclaration de la généricité de cette méthode/classe...

Si ce n'est pas le cas, alors C doit être remplacé par un type concret...

a++
21/11/2005, 12h13
elitost
Effectivement , la classe ( désolé je n'avais pas précisé ) utilise aussi les generics :
Code:

1 2 3 public static <P, C extends P> C removeObjAt(Collection elmts, final int idx) { C elmt = getObjAt(elmts, idx);
Citation:

Il faudrait donc le type de elmts ainsi que la déclaration de la généricité de cette méthode/classe...

C'est à dire ?

Merci d'avance
21/11/2005, 12h37
adiGuba
Citation:

Envoyé par elitost

Citation:

Il faudrait donc le type de elmts ainsi que la déclaration de la généricité de cette méthode/classe...

C'est à dire ?

C'est exactement ce que tu m'a donné ;) mais c'est vrai que ma phrase n'est pas très clair (on est lundi matin :oops:)

Je pense que le compilateur ne peut pas déterminer le type de C lorsque tu imbriques trop d'abstraction à ce niveau là...

Par exemple lorsque tu fais :
Code:

1 2 3 elmts = new List<Number>(); ... Integer value = getObjAt(elmts, idx);
Ca marche car il sait que getObjAt() doit être utilisé avec les types <Number,Integer>.

Par contre lorsqu'il compile removeObjAt() il ne peut pas déterminer le type de C puisque cela peut être n'importe quel type qui hérite de P... (a la compilation de la méthode il n'y a aucun type réel associé)

De plus cela est dangereux car si je comprend bien getObjAt() te renvoit l'élément dans la collection, mais si dans l'exemple ci-dessus je pourrais bien mettre des Long ce qui provoquerait une exception à l'exécution... bref ce n'est pas très sécurisé et c'est même à l'encontre du principe des genercis (remplacer les classcastexception en erreur/warning à la compilation).

Question : pourquoi utilises-tu le typage suivant : <P, C extends P> ?

Ceci serait plus sécurisé :

Code:

public static P removeObjAt(Collection elmts, final int idx);

ou alors ceci :

Code:

public static <C, P extends C> C removeObjAt(Collection elmts, final int idx);

a++
21/11/2005, 14h40
elitost

Citation:

Question : pourquoi utilises-tu le typage suivant : <P, C extends P> ?

Aucune idée, le code ne vient pas de moi... :(

En attendant je te remercie, nous avons modifié le code afin d'éviter les multiples abstractions pour la compilation.