Run-time type information

Un article de Wikipédia, l'encyclopédie libre.
Aller à : navigation, rechercher

En informatique, Run-Time Type Information est utilisé pour signaler la capacité d'un langage de programmation à déterminer le type d'une variable pendant l'exécution d'un programme.

Bien que disponible dans la plupart des langages de programmation, le terme RTTI est souvent utilisé en référence au C++ qui par défaut, détermine le type à la compilation. Ce typage dynamique explicite en C++ – déclaré par l'utilisation de l'opération dynamic_cast<> – diffère de celui automatique de l'Objective-C pour lequel le typage et l'édition de liens sont réalisés lors de l'exécution.

Exemple[modifier | modifier le code]

Voici un exemple d'utilisation de la RTTI en C++ :

 class point;
 
 class trait {
   public:
     virtual void dessine() = 0; // fonction virtuelle pure : la classe, abstraite, ne peut être instanciée
     virtual ~trait() {};
 };
 
 class segment : public trait {  // classe dérivée de trait : doit implémenter dessine()
   public:
     point intersection(segment T);
     point intersection(arc A);
 };
 
 class arc : public trait {     // classe dérivée de trait : doit implémenter dessine()
   public:
     point intersection(segment T);
     point intersection(arc A);
 };
 
 point intersection(trait &T1, trait &T2) { 
   segment S2 = dynamic_cast<segment &>(T2);
   arc A2 = dynamic_cast<arc &>(T2);
   if(S2) return T1.intersection(S2);
   if(A2) return T1.intersection(A2);
 }

Comme on peut le voir, le but de la dernière fonction est de trouver le point d'intersection de deux traits dont les types (arc ou segment) ne seront connus qu'à l'exécution du programme (c'est tout l'intérêt de l'héritage : avoir des pointeurs de la classe mère sur des instances de classes filles). Le polymorphisme règle le problème pour la première variable (T1) puisque T1.intersection() appellera arc::intersection() ou segment::intersection() suivant le type de T1. Il reste cependant le problème du type de l'argument T2 puisqu'un simple appel à T1.intersection(T2); génère une erreur du compilateur ne sachant quelle fonction utiliser à l'édition de lien.

Si le typage échoue (ce qui est forcément le cas dans cet exemple, soit pour S2, soit pour A2), le programme peut générer une exception bad_cast.

Voir aussi[modifier | modifier le code]