Как проверить тип во время выполнения?

Question

Я попытался проверить указатель на какой тип был принят в качестве аргумента следующим образом:

#include <iostream> 
struct A{}; 
struct B:A{}; 
struct C:A{}; 
C *c = new C; 
B *b = new B; 
A *a = new A; 
void foo (A *a) 
{ 
    if(dynamic_cast<B*>(a)) 
    { 
     std::cout << "Type is B*" << std::endl; 
    //cannot dynamic_cast 'a' (of type 'struct A*') to type 'struct B*' (source type is not polymorphic) 
    } 

    if(dynamic_cast<C*>(a)) 
    { 
     std::cout << "Type is C*" << std::endl; 
     //cannot dynamic_cast 'a' (of type 'struct A*') to type 'struct C*' (source type is not polymorphic) 
    } 
} 

Но даже не компилировать. Можно ли это сделать? Я имею в виду, чтобы определить, какой указатель на какой тип мы передали как аргумент функции?

Answer 1

Вы должны изменить определение A, добавив хотя бы одну виртуальную функцию. Простейшее решение: добавить виртуальный деструктор:

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

Тогда:

int main() 
{ 
    foo(b); 
    foo(c); 
    return 0; 
} 

Выход:

Type is B* 
Type is C* 

Попробуйте здесь: link.

О, и я знаю, это только пример кода, но эти глобальные переменные, созданные с помощью new, выглядят ужасно.