Upload
eve
View
34
Download
0
Embed Size (px)
DESCRIPTION
C++ Le RTTI et les opérateurs de cast. Page de garde. [email protected]. Maîtrise d’infor matique Février 2002. Le RTTI. Le Run-Time Type Information (RTTI). Si la classe B étend la classe A , alors dans l’expression. A * ptr= new B();. - PowerPoint PPT Presentation
Citation preview
Page de garde
C++Le RTTI et les opérateurs de cast
Maîtrise d’informatiqueFévrier 2002
Le RTTI
Le Run-Time Type Information (RTTI)
Si la classe B étend la classe A, alors dans l’expression
A * ptr= new B();
A* est le type statique de ptr, information que le compilateur conserve.
B* est le type dynamique de ptr, information que le compilateur "oublie".
Comment connaître le type dynamique de ptr à l’exécution ?
Le RTTI
Le Run-Time Type Information (RTTI)
Solution à la main :
class A { ... virtual bool IsB() const { return false ); ...}
class B: public A { ... virtual bool IsB() const { return true ); ...}
Implémentation fastidieuse et source potentielle d’erreurs.
Implique de mettre à jour la classe racine lors de l’ajout de classes dérivées.
Encombrement de la table des méthodes virtuelles.
Exécution a priori très rapide.
Le RTTI
Le Run-Time Type Information (RTTI)
Solution C++ : le RTTI !
#include <typeinfo>
const type_info& typeid( expression_or_type )
/** égalité/inégalité stricte */int type_info::operator==( const type_info& rhs ) const;int type_info::operator!=( const type_info& rhs ) const;
/** nom human-readable */const char * type_info::name() const;
/** nom interne */const char * type_info::raw_name() const;
/** collating order (aucune indication hiérarchique !) */int type_info::before( const type_info& rhs ) const;
Le RTTI
Le Run-Time Type Information (RTTI)
class A { ... };class B: public A { ... };
const A * const a= new A();const B * const b= new B();
typeid( a ).name() "class A const *" ????? const ?????typeid( *a ).name() "class A" ????? const ?????
typeid( a ) == typeid( a ) truetypeid( a ) == typeid( b ) false
Le RTTI
Le Run-Time Type Information (RTTI)
Attention : l’utilisation de typeid sur des classes non polymorphes (i.e. sans fonctions virtuelles) pourrait renvoyer le type statique…
Pour pouvoir utiliser typeid sur toutes les classes, il est nécessaire de forcer le compilateur à ajouter des informations de type dynamique aussi sur les classes classes non polymorphes :
Visual C++ : /GR ou Project | Settings | C/C++ | C++ Language | Enable RTTI
g++ : ??????????
Pensez à déréférencer les pointeurs pour obtenir des informations sur le type de l’objet pointé, et pas sur le type du pointeur !
Si ptr est 0/NULL, typeid( *ptr ) lance l’exception std::bad_typeid.
Les opérateurs de cast
Les opérateurs de cast
4 opérateurs de cast :
reinterpret_cast aucune vérification
static_cast vérification statique de plausibilité (downcast)
dynamic_cast vérification dynamique (downcast)
const_cast pour enlever const et/ou volatile
Syntaxe générale :
xxxxx_cast< TargetType >( expression )
reinterpret_cast
reinterpret_cast
Correspond au cast de C (aucune vérification à la compilation, aucune vérification à l’exécution) :
reinterpret_cast< Carotte >( choux )
Les casts "à la C" sont toujours accepté en C++ :
(Carotte)choux
Mais, les casts étant une source notable d’erreurs, il est bon de pouvoir les énumérer avec un simple grep !
static_cast
static_cast
Accepte uniquement de convertir un type en un type dérivé à la compilation ; aucune vérification à l’exécution :
static_cast< ChouxBlanc >( choux )
Refuse notamment de convertir des pointeurs en entiers longs :
static_cast< unsigned long >( apointer )
Utiliser reinterpret_cast, pas un cast "à la C" !
dynamic_cast
dynamic_cast
Accepte uniquement de convertir un type en un type dérivé à la compilation avec vérification à l’exécution, en utilisant le RTTI :
dynamic_cast< ChouxBlanc >( choux )
En cas d’erreur (le type dynamique de l’expression n’est pas un type dérivé du type cible) :
Les conversions de pointeurs retournent 0/NULL
Les conversions de références lancent une exception std::bad_cast
dynamic_cast est très similaire aux casts (de références) en Java
Upcasts et héritage multiple
Upcasts et héritage multiple
L’upcast en cas d’héritage multiple est ambigu :
const D * const d= new D();
static|dynamic_cast< const A* >( d ) // ambigu !
Il faut d’abord caster en B ou C, puis en A.
Downcasts et héritage virtuel
Downcasts et héritage virtuel
Le downcast en cas d’héritage virtuel est ambigu :
const A * const a= new E();
static|dynamic_cast< const B* >( a ) // ambigu !
Il faut d’abord caster en E, puis en C ou D, puis en B.
const_cast
const_cast
Supprime, à la compilation, le caractère const ou volatile des expressions :
(const_cast< AType& >( areference )).NonConstMethod();
Tout aussi alarmant concernant le design que d’utiliser mutable…
Des casts contrôlés en mode debug
Des casts contrôlés en mode debug
Les casts sont malheureusement souvent nécessaires alors qu’ils sont sources d’erreurs !
static_cast est dangereux, mais dynamic_cast est plus lent…
Idée : utiliser une macro qui utilise dynamic_cast en mode debug et static_cast en mode release :
#ifndef CHECKCASTS_ENABLED# define CASTREFERENCE( TargetType, SourceType, expr ) \ (static_cast< TargetType& >( expr ))#else# define CASTREFERENCE( TargetType, SourceType, expr ) \ (DynamicCastReference< TargetType, SourceType >( expr, \ __FILE__, \ __LINE__, \ #expr ))#endif
Des casts contrôlés en mode debug
Des casts contrôlés en mode debug
template< class TargetType, class SourceType > TargetType& DynamicCastReference( SourceType& expr, const char * const strFilename, const int iLineNumber, const char * const strExpr ){ if (&expr == NULL) return (TargetType &)expr; else { TargetType * const result= dynamic_cast< TargetType * >( &expr );
if (result == NULL) ReferenceCastFailed( strExpr, strFilename, iLineNumber, typeid( expr ).name(), typeid( TargetType ).name() ); return *result; }}
Des casts contrôlés en mode debug
Des casts contrôlés en mode debug
Inconvénient : il faut écrire le type source de l’expression.
Mais, en cas d’erreur, l’exécution du programme se termine immédiatement (on n’attend pas que l’erreur se propage), avec un yoli message d’erreur indiquant :
le fichier et la ligne contenant l’erreur ;
l’expression fautive ;
son type dynamique ;
le type en lequel on a tenté de la convertir.
Et tout cela aisément débranchable en mode release.
Cela ne vaut-il pas la peine de taper quelques caractères supplémentaires ?
L’opérateur instanceof en C++
L’opérateur instanceof en C++
Rappel : type_info::before n’apporte aucune indication hiérarchique !
tenter de caster avec dynamic_cast, en utilisant des pointeurs (donc en prenant l’adresse des références le cas échéant) et en testant que le résultat de dynamic_cast n’est pas 0/NULL, sauf si le pointeur l’était auparavant…
a instanceof A
↓
((a == 0) || (dynamic_cast< A * >( a ) != 0))
Utilisez au maximum le typage statique !
Utilisez au maximum le typage statique !
Une des forces de C++ pour la correction des programmes est son très fort typage statique.Ne vous adonnez pas aux "switches de type" : utilisez plutôt le polymorphisme !