Type coulée en C++ en détectant le type d'objet 'this' actuel

Question

Ma question est liée à RTTI en C++ où j'essaie de vérifier si un objet appartient à la hiérarchie de type d'un autre objet. La méthode BelongsTo() vérifie cela. J'ai essayé d'utiliser typeid, mais cela génère une erreur et je ne suis pas sûr de la façon dont je peux trouver le type de cible à convertir lors de l'exécution.

#include <iostream> 
#include <typeinfo> 

class X 
{ 
    public: 
     // Checks if the input type belongs to the type heirarchy of input object type 
     bool BelongsTo(X* p_a) 
     { 
      // I'm trying to check if the current (this) type belongs to the same type 
      // hierarchy as the input type 
      return dynamic_cast<typeid(*p_a)*>(this) != NULL; // error C2059: syntax error 'typeid' 
     } 
}; 

class A : public X 
{ 
}; 

class B : public A 
{ 
}; 

class C : public A 
{ 
}; 

int main() 
{ 
    X* a = new A(); 
    X* b = new B(); 
    X* c = new C(); 
    bool test1 = b->BelongsTo(a); // should return true 
    bool test2 = b->BelongsTo(c); // should return false 
    bool test3 = c->BelongsTo(a); // should return true 
} 

Faire la méthode des classes virtuelles et de laisser faire dérivés, il semble être une mauvaise idée que j'ai beaucoup de classes dans la même hiérarchie de type. Ou est-ce que quelqu'un connaît un autre moyen de faire la même chose? Veuillez suggérer.

Mise à jour: b.BelongsTo (a) doit détecter si le type d'objet d'entrée (a) est un ancêtre de l'objet courant (b) dans la hiérarchie de types.

Answer 1

Cela n'a aucun sens - le fait même que vous puissiez appeler la fonction signifie que le paramètre appartient à la hiérarchie X, car c'est le type du paramètre. Les distributions dynamiques ont pour but de trouver le type réel dans une hiérarchie connue.

L'erreur de syntaxe dans votre code:

return dynamic_cast<typeid(*p_a)*>(this) != NULL; 

est parce qu'un typeid est pas un type - vous ne pouvez pas l'utiliser comme un type avec dynamic_cast comme ça.

Si comme Naveen vous suggère voulez savoir si une instance appartient à une sous-hiérarchie, utilisez:

if (dynamic_cast <A*>(some_x_ptr)) { 

    // yes, belongs to A sub-hierarchy 
} 

Edit: Vous avez:

A <- P <- X 
A <- Q <- Y 

Puis:

A * a = new X; 

dynamic_cast <P *>(a); // not null 
dynamic_cast <Q *>(a); // null 

Answer 2

Pour que le RTTI fonctionne, class X a besoin d'au moins une fonction membre virtuelle (le destructeur virtuel compte aussi). Sans les fonctions des membres virtuels, la classe n'aura pas de vtable générée par le compilateur. Ainsi, lorsque vous appelez typeid, ce dernier ne fonctionnera pas comme prévu.