Polymorphisme (informatique) - Définition

Introduction

En informatique, le polymorphisme est l'idée d'autoriser le même code à être utilisé avec différents types, ce qui permet des implémentations plus abstraites et générales.

Polymorphisme paramétré

Le polymorphisme paramétré consiste à définir des fonctions qui peuvent être appliquées à des types paramétrés. Par exemple, il est possible de définir une même fonction concat permettant de concaténer deux listes quel que soit le type de données qu'elles contiennent. Dans ce cas, le type de la fonction concat est noté :

où α est un paramètre qui représente le type de données que contiennent les listes. α peut correspondre aux types entier, réel, chaîne de caractères, liste_β, etc.

Le polymorphisme paramétré est utilisé par les langages Caml et Haskell.

Par exemple, en Haskell, la fonction 'take' renvoie les 'n' premiers éléments d'une liste.

La spécification de la fonction renvoyée par l'interpréteur est :

      take :: Int -> [a] -> [a]      

Le type 'a' est une variable de type qui correspond à n'importe quel type, c'est donc une fonction qui supporte le polymorphisme paramétré.

Intérêt du Polymorphisme

En proposant d'utiliser un même nom de méthode pour plusieurs types d'objets différents, le polymorphisme permet une programmation beaucoup plus générique. Le développeur n'a pas à savoir, lorsqu'il programme une méthode, le type précis de l'objet sur lequel la méthode va s'appliquer. Il lui suffit de savoir que cet objet implémentera la méthode.

Ainsi, un logiciel de calcul d'intérêt pour des comptes bancaires se présenterait de la façon suivante en programmation classique (pseudo code):

      case MonCompteBancaire       PEA: MonCompteBancaire.calculeInteretPEA       PEL: MonCompteBancaire.calculeInteretPEL       LivretA: MonCompteBancaire.calculeInteretLivretA      end case      

Si un nouveau type de compte bancaire PERP apparait (et avec lui un nouveau calcul), il sera nécessaire d'une part d'écrire la nouvelle méthode calculeInteretPERP, mais aussi de modifier tous les appels du calcul ci-dessus. Dans le meilleur des cas, celui-ci sera isolé et mutualisé de sorte qu'une seule modification sera nécessaire. Dans le pire des cas, il peut y avoir des centaines d'appels à modifier.

Avec le polymorphisme, toutes les méthodes porteront le même nom "calculInteret" mais auront des codes différents (un par type de compte). L'appel sera de la forme :

      MonCompteBancaire.calculeInteret      

Lors de l'arrivée du nouveau compte, aucune modification de ce code ne sera nécessaire. Le choix de la méthode réelle à utiliser sera fait automatiquement à l'exécution par le langage, alors que dans le cas précédent c'est le développeur qui devait programmer ce choix.