Discussion :

[merill]

Bonjour
voici le truc:

situation initiale:

Code :

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

1
2
3
4
5
6
7
8
9
 
interface A{
}
 
interface B{
}
 
class C implements A, B{
}

fonction spéciale:

Code :

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

1
2
3
4
5
6
7
8
 
interface Fonction{
  public <TYPE extends A & B> TYPE faire();
}
 
class Probleme implements Fonction{
  public C faire();
}

Comme cela, je n'ai pas d'erreur, cela compile et s'exécute.
Mais j'ai un warning sur eclipse :
"type safety: the return type of C for faire() from the type Probleme needs unchecked conversion to conform to TYPE from the type Fonction"

Que faire pour ne plus l'avoir, a part @supressWarning?
merci

[adiGuba]

Salut,


C'est tout à fait normal car ce n'est pas correct : dans la classe fille tu restreint le type de retour alors qu'il peut correspondre à n'importe quoi dans ton interface !

En supprimant le paramétrage de la méthode, tu ne respectes pas vraiment sa signature...

a++

[merill]

c'est vrai, c'est à l'appelant de décider du type, pas a l'appelé.
Néanmoins j'avais imaginé que l'on aurais pu décider du type dans une sous-classe. Apparemment non.

Le code correct est celui-ci je pense:

Code :

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

1
2
3
4
5
6
7
8
9
10
 
interface Fonction<TYPE extends A & B>{
  public TYPE faire();
}
 
class Probleme implements Fonction<C>{
  public C faire(){
    return new C()
  }
}

edit : merci