Polymorphisme / Résolution dynamique

**Laidback** · 28/11/2012, 19h27

Salut,

Dans mes notes de cours, y'a

* Soit l'appel de méthode suivant :
obj.faire();

* Cet appel est lié à la définition de la méthode

* Si la résolution a lieu au moment de la compilation, cette ligne de code appellera même la méthode à chaque fois

* Mais Java reporte la résolution jusqu'au moment de l'exécution. On parle de résolution dynamique

* La résolution dynamique offre de la flexibilité en conception

J'ai pas compris ce qu'il veut dire !
Est-ce que vous pouvez m'expliquer ?
Merci.

**tchize_** · 28/11/2012, 23h42

C'est asssez mal dit sauf si le cours écrit est un résumé de ce que tu est censé voir en détail en classe.

D'abord, java ne déporte pas systématiquement la résolution, ça dépend des conditions.

une méthode à deux choses:

une déclaration (regroupant son nom, son type de retour et le type de ses paramètre)
une définition (le code qui se trouve dedans).

Maintenant, pour faire le lien entre l'appel de méthode et ce qu'il faut concrètement exécuter, il existe en gros deux approches possibles:

Dans un programme genre en C (et dans certains cas en java), on va, grosso modo, à la compilation
1. jeter la déclaration (on en a plus besoin)
2. mettre la définition à un endroit précis du fichier compilé
3. remplacer tous les appels à la méthode par un saut vers cette adresse.
(je sur simplifie volontairement le processus réel pour comprendre)
En java, on va faire autre chose. On va
1. mettre la définition à un endroit précis du fichier compilé
2. stocker dans l'objet une table avec les déclaration et ces adresses.
3. rempalcer tous les appels à faire() par une séquence consultation de la table; trouver l'adresse de la méthode; sauter vers celle-ci.
(ici aussi, je sur simplifie la réalité est bien plus complexe)

Donc, pour ce code

Code :

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

obj.faire()

on a dans le fichier compilé java ceci:

Code :

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

"trouver une méthode de type "void faire() présente sur l'instance obj" et l'appeler

Ainsi, si on a les classes

Code :

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

1
2
3
4
5
class A {
   public void faire(){
       System.out.println("Bonjour");
   }
}

et

Code :

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

1
2
3
4
5
class B extends A {
   public void faire(){
       System.out.println("au revoir");
   }
}

le faire() qui sera appelé à l'exécution différera suivant que obj soit de type A ou B, sans que ça change quoi que ce soit à la compilation. On appelle ce mécanisme, en anglais, le dynamic dispatch. La jvm va aller chercher dans un table de méthodes associée à l'instance celle qui correspond à "void faire()".