Discussion :

[pigpen]

Bonjour,

je m'escrime à comprendre les subtilités de l'override et la covariance

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
 
package chap1;
 
public class Q1f {
	public int maMethode(){System.out.println("maMethode : superClass ");};
}
 
class SubClass extends Q1f{
	public int maMethode(){System.out.println("maMethode : subClass ");};
}
 
class SubSubClass extends SubClass{
	public char maMethode(){System.out.println("maMethode : subSubClass ");  };
 
	public static void main (String [] args) {
		Q1f _1 = new SubSubClass();
		_1.maMethode();
 
 
	}
 
}

Un char étant plus petit qu'un int (2 octet contre 4), pourquoi on ne peut pas redéfinir la méthode maMethode dasn SubSUbClass comme ci dessus ??

Merci de vos lumières

bonne soirée à tous.

[tchize_]

la covariance n'a rien à voir avec la taille, mais avec l'héritage.

Au dernières nouvelles, char n'hérite pas de int.

[pigpen]

Byte ou short n'hérite pas de int ? ( j'ai un vilain doute d'un coup ) pourtant ces types fonctionnent dans ce cas.

[tchize_]

Non, il n'y a pas d'héritage. Ni au niveau des classes faisant le boxing, ni au niveau des type de base de language (qui ne sont pas des classes et donc ne peuvent pas hériter).

Quand à "ça marche avec byte et short", ce n'est pas ce que dit mon compilateur:

Code :

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

1
2
3
4
5
6
7
8
9
10
 public static class A { 
    public int method1(){
       return 0;
    }
 }
 public static class B extends A{ 
    public byte method1(){
       return (byte)1;
    }
 }

Code x :

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

1
2
3
4
5
6
Test.java:8: method1() in Test.B cannot override method1() in Test.A; attempting to use incompatible return type
found   : byte
required: int
    public byte method1(){
                ^
1 error

Seul des objets peuvent être utilisé dans la covariance.

[pigpen]

Au temps pour moi, pour le type de retour, ca ne fonctionne pas.
Et dans le cas suivant :

Code :

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

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
 
 
package chap1;
 
public class Q1f {
	public void maMethode(int param){System.out.println("maMethode : superClass ");};
}
 
class SubClass extends Q1f{
	public void maMethode(int param){System.out.println("maMethode : subClass ");};
}
 
class SubSubClass extends SubClass{
	public void maMethode(short param){System.out.println("maMethode : subSubClass ");  };
 
 
}

S'agit il d'un overide ou d'un overload ? comment savoir ?

[adiGuba]

Salut,

S'agit il d'un overide ou d'un overload ?

Un overload puisque tu changes le type des paramètres.
Pour un override les paramètres doivent rester strictement identique

comment savoir ?

Il suffit d'utiliser l'annotation @Override sur la méthode.
Si la méthode ne respectent pas les règles de l'override cela génèrera une erreur de compilation


a++