Qu'est-ce que l'héritage et le polymorphisme dans le contexte des types de données de référence?

L'héritage est un mécanisme de la POO qui permet de créer de nouvelles classes à partir de classes existantes. La nouvelle classe (sous-classe) hérite des champs et méthodes de la classe parente, et peut également ajouter ses propres champs ou redéfinir ceux existants. Cela favorise la réutilisation du code et la création de hiérarchies logiques.

Le polymorphisme est la capacité d'objets de différentes classes à réagir différemment à une même méthode. Pour les types de données de référence, cela signifie qu'on peut travailler avec des objets de différentes classes via une référence à la classe de base ou à une interface. La mise en œuvre concrète de la méthode appelée dépendra du type réel de l'objet lors de l'exécution. Il existe deux principaux types de polymorphisme:

• Statique (surcharge de méthodes): La même méthode a plusieurs implémentations avec des ensembles de paramètres différents. Le compilateur détermine laquelle utiliser en fonction de la signature de la méthode.
• Dynamique (surcharge de méthodes): La sous-classe fournit sa propre implémentation de la méthode, qui est déjà définie dans la classe parente. L'appel à la méthode via une référence à la classe parente est effectué pour exécuter l'implémentation dans la sous-classe (si elle existe).