Discussion :

[elitost]

Bonjour,

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

Code :

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

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

[adiGuba]

Salut,


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

a++

[elitost]

La signature est la suivante :

Code :

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

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

Et la ligne 167 sur laquelle est l'erreur :

Code :

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

C elmt = getObjAt(elmts, idx);

des idées ?

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

[elitost]

Effectivement , la classe ( désolé je n'avais pas précisé ) utilise aussi les generics :

Code :

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

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

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

[adiGuba]

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 )


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 :

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

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 :

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

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

ou alors ceci :

Code :

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

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

a++

[elitost]

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.