Débutant : Polymorphisme

Débutant : Polymorphisme - Java - Programmation

Marsh Posté le 08-07-2007 à 03:45:33    

Bonjour,  
 
J'ai une question basique sur le polymorphisme en Java.  
 
Lors d'un cours de Java nous avons étudié l'algo suivant :
 

Code :
  1. abstract class Nombre
  2. {
  3.     abstract Nombre plus(Nombre b);
  4. }
  6. class Entier extends Nombre
  7. {
  8.     int val;
  9.    
  10.     Entier(int n)
  11.     {
  12.         val = n;
  13.     }
  14.    
  15.     Nombre plus(Nombre n)
  16.     {
  17.         System.out.println("plus d’Entier" );
  18.         return null;
  19.     }
  20. }
  22. class Reel extends Entier
  23. {
  24.     int denom;
  25.    
  26.     Reel(int n, int n2)
  27.     {
  28.         super(n);
  29.         denom=n2;
  30.     }
  32.  
  33.     Reel plus(Reel n)
  34.     {
  35.         System.out.println("plus de Reel" );
  36.         return new Reel(9, 9);
  37.     }
  38.    
  39. }
  41. class Exercice
  42. {
  43.     Nombre n1;
  44.    
  45.     Exercice(Nombre n)
  46.     {
  47.         n1=n;
  48.     }
  49.    
  50.     Nombre eval(Nombre n2)
  51.     {
  52.         return n1.plus(n2);   // marque 1
  53.     }
  54.    
  56.     public static void main(String[] args)
  57.     {
  58.         Nombre x1;
  59.         x1 = new Reel(4,5);
  60.         Nombre x2 = new Entier(5);
  61.         Reel x3 = new Reel(1,2);
  62.         Entier x4 = new Reel(1,8);
  63.        
  64.         (new Exercice(x1)).eval(x1); // marque 2
  65.         (new Exercice(x4)).eval(x4); // marque 3
  66.         (new Exercice(x3)).eval(x2); // marque 4
  67.         (new Exercice(x2)).eval(x3); // marque 5
  68.     }
  69. }


 
La trace du programme est la suivante :

plus d’Entier
plus d’Entier
plus d’Entier
plus d’Entier


 
Ce que je ne comprend pas c'est qui ce passe à la ligne marque 2.
 
D'après ce que l'on m'a expliqué, l'identification de la méthode appelée se fait par le type de l'instance de l'objet placé en paramètre (même s’il y a un upcast).
Ainsi dans mon cas, quand j'appelle la méthode eval d'Exercice, le paramètre est de type réel (classe dérivée de Nombre). Donc normalement, ce devrait être la méthode plus de réél qui devrait être appelé ! Mais comme vous pouvez le voir dans la trace, ça n'est pas du tout le cas !
En débuge sur NetBean, je vois bien que lors de l'exécution de la méthode eval, le type de n1 et n2 est réel.
 
Est-ce que quelqu'un pourrait m'expliquer pourquoi le programme réagit ainsi ?
 
Merci d'avance à tous.  :pt1cable:


Message édité par nikhel le 08-07-2007 à 03:53:30
Reply

Marsh Posté le 08-07-2007 à 03:45:33   

Reply

Marsh Posté le 08-07-2007 à 05:09:20    

Le premier x1 est bien traité comme un reel, mais la ou tu te fais embrouiller c'est que le deuxieme est apssé comme un nombre.
 
Je m'explique :
 
tu as (new Exercice(x1)).eval(x1); avec x1 une variable de type nombre.
 
Le fait que x1 soit initialié en tant que reel aurait fait en sorte que java lance en priorité un fonction de reel plutot que de nombre ou entier, mais il se trouve que tu as typé x1 comme entier, ce n'est donc pas un reel a prioris (indepedement du fait que tu l'as construit comme tel) mais un nombre.
 
Ton parametre etant un nombre, Reel plus(Reel n) n'a pas le bon typage, et laisse sa place a Nombre plus(Nombre n)

Reply

Marsh Posté le 08-07-2007 à 07:17:47    

Salut,
 
Merci pour tes explications !!!!

Reply

Marsh Posté le 08-07-2007 à 09:12:39    

Question conne : Pourquoi x1 est typé comme un entier ?

Message cité 1 fois
Reply

Marsh Posté le 08-07-2007 à 10:26:51    

esox_ch a écrit :

Question conne : Pourquoi x1 est typé comme un entier ?


 
Je te retourne ta réponse !  
C'est le but de l'exercice : te piéger. Ce n'est pas un algo logique, c'est juste pour nous faire travailler Java.
Excuse moi de poser des questions aussi c....  

Message cité 1 fois
Reply

Marsh Posté le 09-07-2007 à 00:39:21    

c'est Java qui est défaillant, ni covariance, ni contravariance

Reply

Marsh Posté le 09-07-2007 à 17:43:32    

nikhel a écrit :

Je te retourne ta réponse !  
C'est le but de l'exercice : te piéger. Ce n'est pas un algo logique, c'est juste pour nous faire travailler Java.
Excuse moi de poser des questions aussi c....


 
Non mais je crois que t'as pas compris... La question conne c'est moi qui la pose, parce que j'ai pas compris pourquoi x1 est typé comme un entier, moi j'aurai dit que c'est un réel vu qu'il est construit avec Nombre x1 = new Reel(int,int);


---------------
Si la vérité est découverte par quelqu'un d'autre,elle perd toujours un peu d'attrait
Reply

Marsh Posté le 09-07-2007 à 18:35:31    

Bon, je reexplique :
 
tu as Nombre x1 = new Reel(int,int);
 
Quand tu apelle une methode sur l'instance x1, elle va d'abord chercher si la fonction que tu apelle est dans reel. Ici, tu apelle x1.plus(x1). Mais ton second x1 n'est a prioris pas un reel, c'est un nombre.
 
Reel plus(Reel n) ne peut donc pas etre choisis.

Reply

Marsh Posté le 09-07-2007 à 18:51:02    

Ahh oui j'ai compris.
Vu que Exercice.eval(Nombre n) va me typer mon x1 comme un nombre, bein après il va appeler la méthode de la classe mère car prenant comme argument un nombre ... merci beaucoup :D

Reply

Sujets relatifs:

Leave a Replay

Make sure you enter the(*)required information where indicate.HTML code is not allowed