Discussion :

[yienyien]

Bonjour,

J'aimerai connaître le comportement de votre compilateur java sur le programme suivant:

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
 
interface A {}
interface B {}
interface C extends A,B {}
interface Super1 {
	public A get();
}
interface Super2 {
	public B get();
}
public interface Child extends Super1, Super2 {
	public C get();
}

Chez moi eclipse 3.2.2 ne pose pas de problème, mais le jdk de sun (javac 1.6.0) me retourne l'erreur suivante:

Code :

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

1
2
3
4
5
 
Child.java:16: types Super2 and Super1 are incompatible; both define get(), but with unrelated return types
interface Child extends Super1, Super2 {
^
1 error

Ce problème de sous-typage variant/contravariant ne devrait-il pas être définit dans la spécification de Java ?

[®om]

Ah c'est intéressant...

Pareil sous eclipse ça passe sous java6 ça casse...

[adiGuba]

Salut,

J'aimerai connaître le comportement de votre compilateur java sur le programme suivant:

J'ai exactement le même comportement que toi.

Ce problème de sous-typage variant/contravariant ne devrait-il pas être définit dans la spécification de Java ?

Oui et c'est le cas !

Le problème vient d'un bug du JDK de Sun : http://bugs.sun.com/bugdatabase/view...bug_id=6294779

a++

[yienyien]

Merci pour le pointeur, j'avais chercher il y a quelques temps si le bug avait été identifié sans savoir vraiment où regarder. Comment un bug identifié en 2005 perdure en 2007 alors que d'autre compilateur (notamment celui d'eclipse) gère très bien le problème ?