dynamic_cast de “void *”

Selon cette, void* n'a pas de RTTI de l'information, donc de la conversion de void* n'est pas légal et de sens.

Si je me souviens bien, dynamic_cast de void* travaillait sur gcc.

Pouvez-vous clarifier la question.

InformationsquelleAutor dimba | 2010-11-09
  1. 42

    dynamic_cast ne fonctionne que sur les types polymorphes, c'est à dire les classes contenant des fonctions virtuelles.

    Dans gcc, vous pouvez dynamic_cast à void* mais pas de:

    struct S
{
    virtual ~S() {}
};

int main()
{
    S* p = new S();
    void* v = dynamic_cast<void*>(p);
    S* p1 = dynamic_cast<S*>(v); //gives an error
}
    InformationsquelleAutor vitaut
  2. 16

    Dans 5.2.7 - Dynamic cast [expr.dynamic.cast] il est dit que pour dynamic_cast<T>(v):

    • Si T est de type pointeur, v est une rvalue d'un pointeur de classe complète type
    • Si T est un type de référence, v doit être une lvalue d'un type de classe (merci usta pour les commentaires sur mon manque)

    ...

    • Sinon, v doit être un pointeur ou une lvalue d'un type polymorphe

    Alors, non, un (void*) valeur n'est pas autorisé.

    Pensons à ce que votre demande pourrait dire: dites que vous avez un pointeur c'est vraiment un Derived1*, mais le code dynamic_cast-ing seul sait que c'est un void*. Disons que vous êtes en train de jeter à un Derived2*, où les deux classes dérivées ont une base commune. Superficiellement, on pourrait croire que tous les pointeurs pointant à la même Base objet, qui contient un pointeur vers l'virtuels pertinents expédition table et RTTI, donc tout ce qui pourrait les accrocher ensemble. Mais, considérer que les classes dérivées peuvent avoir plusieurs classes de base, et donc le besoin Base classe de sous-objet peut ne pas être le seul à qui le Derived* - disponible uniquement en void* - est de pointage. Ça ne marcherait pas. Conclusion: le compilateur a besoin de connaître ces types de sorte qu'il est possible d'effectuer quelques ajustement pour les pointeurs sur la base des types concernés.

    Derived1* -----> [AnotherBase] 
[[TEV]Base] <-- mais, besoin d'un pointeur de début de 
[extra membres] ce sous-objet pour dynamic_cast

    (Certaines réponses à parler de la nécessité pour le pointeur vous êtes à la coulée d'être d'un type polymorphe, ayant des fonctions virtuelles. C'est valide, mais un peu trompeur. Comme vous pouvez le voir ci-dessus, même si le void* est à un tel type, il ne fonctionne pas de manière fiable, sans le type complet de l'information, que le réel problème est que void* est sans doute pointant vers le début de l'objet dérivé, alors vous avez besoin d'un pointeur sur la classe de base sous-objet à partir duquel la fonte de type de dérive.)

    • Si T est un pointeur de type v est une rvalue d'un pointeur pour compléter le type de classe, ... Si T est un type de référence, v est une lvalue d'un type de classe, ...
    • corrigé, merci.
    InformationsquelleAutor Tony Delroy
  3. 4

    Il est vrai que void* ne peut pas être dynamically_casted.

    Vous êtes probablement mal se souvenir.
    Avec g++ 4.5 et le code suivant

    struct A {
    virtual ~A();
};

int main() {
    A a;
    void *p = &a;
    A* pa = dynamic_cast<A*>(p);
}

    J'obtiens l'erreur suivante:

    ne peut pas dynamic_cast 'p' (de type 'void*') de type 'struct A*" (source n'est pas un pointeur vers la classe)

    InformationsquelleAutor Motti
  4. 1

    Je pense que vous confondez avec dynamic_cast à void*. Qui est légal et obtient le pointeur de la plupart des objet de classe dérivée.

    dynamic_cast de void* est illégal - le type coulée de doit être polymorphe - contenir au moins une fonction virtuelle (virtual destructeur compte aussi).

    • À moins que le type de classe coulé à l'est sans ambiguïté accessible de la classe de base de la coulée-de l'expression du type de classe, auquel cas celui-ci n'a pas besoin d'être polymorphe.
    InformationsquelleAutor sharptooth
  5. 0

    Vous pouvez jeter un pointeur de type polymorphe à void *, mais pas vice-versa.

    InformationsquelleAutor usta