Outils d'utilisateurs
polymorphisme_et_pointeurs
Différences
Cette page vous donne les différences entre la révision choisie et la version actuelle de la page.
|
polymorphisme_et_pointeurs [2014/12/08 20:38] gbdivers |
polymorphisme_et_pointeurs [2018/07/20 23:40] (Version actuelle) winjerome Ajout des liens vers les chapitres précédent/suivant |
||
|---|---|---|---|
| Ligne 1: | Ligne 1: | ||
| - | ^ Chapitre précédent ^ [[programmez_avec_le_langage_c|Sommaire principal]] ^ Chapitre suivant ^ | + | ^ [[heritage|Chapitre précédent]] ^ [[programmez_avec_le_langage_c|Sommaire principal]] ^ [[fonction_virtuel|Chapitre suivant]] ^ |
| - | ====== Polymorphisme et pointeurs ====== | + | pas bien de ne pas parler de destructeur virtuel plus tot ? |
| + | |||
| + | ====== Polymorphisme et substitution ====== | ||
| ===== Polymorphisme d'héritage ===== | ===== Polymorphisme d'héritage ===== | ||
| - | Principe de substitution de Liskov : possible de voir selon le contexte une classe ou son parent. Ce notion de voir une même chose différemment selon le contexte est appelé "polymorphisme". Ici, plus précisément, polymorphisme d'héritage. | + | On a vu que l'héritage public est une relation EST-UN. Si la classe A dérive de la classe B, alors A EST-UN B. Mais A est également un A. Selon le contexte, on va donc pouvoir manipuler un objet de type A comme si c'était un objet de type A (normal), mais également comme si c'était un objet de type B. C'est cette capacité d'un objet a avoir plusieurs types que l'on appelle le polymorphisme d'héritage. |
| + | |||
| + | Dans la sémantique de valeur, nous avons vu qu'il était possible de convertir une valeur d'un type donné dans un autre type. | ||
| + | |||
| + | <code cpp> | ||
| + | int i { 123 }; | ||
| + | double d { i }; // d = 123.0 | ||
| + | </code> | ||
| + | |||
| + | Dans ce cas, même si ces deux valeurs seront identiques à l'affichage, on a bien affaire à des valeurs différentes, définies dans deux ensembles différents (N et R). En particulier, certaines opérations, comme ''++'' ou ''--'', n'auront de sens qu'avec la valeur de type ''int'' et pas la valeur de type ''double''. Les valeurs ne sont pas substituables. | ||
| + | |||
| + | Avec le polymorphisme d'héritage, la situation est différente. Si l'on a une hiérarchie de classes : | ||
| + | |||
| + | <code cpp> | ||
| + | class Base {}; | ||
| + | class Derived : public base {}; | ||
| + | </code> | ||
| + | |||
| + | On peut manipuler un objet de type ''Derived'' comme si c'était un ''Base''. Comment activer le polymorphisme ? On a déjà vu les références, qui permettent de créer une variable "qui fait référence" à une autre variable. | ||
| + | |||
| + | <code cpp> | ||
| + | Derived d; | ||
| + | Base & b { d }; // création d'une référence | ||
| + | </code> | ||
| + | |||
| + | Dans ce code, b "fait référence" à un objet de type ''Derived''. Pour autant, ''b'' est de type ''Base''. Si on essaie d'appeler une fonction de la classe ''Derived'' dans ''b'', le compilateur ne sait pas que l'objet référencé n'est pas un B (mais il peut... confu comme explications). | ||
| + | |||
| + | On parle de type statique et de type dynamique : | ||
| + | |||
| + | * le type statique d'une variable est le type que l'on utilise pour définir cette variable. Dans le code précédent, la variable ''d'' est de type statique ''Derived'', la variable ''b'' est de type statique ''Base''. | ||
| + | * le type dynamique d'une variable est le type réel d'un objet. Par exemple, dans le code précédent, la variable ''b'' fait référence à un objet de type dynamique ''Derived''. | ||
| + | |||
| + | Remarque : si l'on crée un objet de type ''Base'', celui-ci ne pourra jamais être vu comme un objet de type ''Derived''. | ||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | |||
| + | Cela a un impact sur la façon dont on voit les objets. Si on manipule un objet A qui peut être dérivé (donc qui possède une sémantique d'entité), on ne peut pas savoir s'il peut être en fait un objet de type B, C D, etc. | ||
| + | |||
| + | |||
| + | ==== Principe de substitution de Liskov ==== | ||
| + | |||
| + | |||
| + | |||
| + | : possible de voir selon le contexte une classe ou son parent. Cette notion de voir une même chose différemment selon le contexte est appelé "polymorphisme". Ici, plus précisément, polymorphisme d'héritage. | ||
| <note info>Pour rappel, déjà vu d'autres formes de polymorphisme : | <note info>Pour rappel, déjà vu d'autres formes de polymorphisme : | ||
| Ligne 14: | Ligne 62: | ||
| </note> | </note> | ||
| - | Pour activer le polymorphisme, besoin que la classe soit passé par référence ou pointeur. | + | Pour activer le polymorphisme, besoin que la classe soit passée par référence ou pointeur. |
| <code cpp> | <code cpp> | ||
| Ligne 37: | Ligne 85: | ||
| - | ^ Chapitre précédent ^ [[programmez_avec_le_langage_c|Sommaire principal]] ^ Chapitre suivant ^ | + | ^ [[heritage|Chapitre précédent]] ^ [[programmez_avec_le_langage_c|Sommaire principal]] ^ [[fonction_virtuel|Chapitre suivant]] ^ |
| {{tag> Cours C++}} | {{tag> Cours C++}} | ||
polymorphisme_et_pointeurs.1418067511.txt.gz · Dernière modification: 2014/12/08 20:38 par gbdivers
Sauf mention contraire, le contenu de ce wiki est placé sous la licence suivante : CC Attribution-Noncommercial-Share Alike 3.0 Unported
