Полиморфизм. Идентификация класса-наследника

[Сtrl]

Рассмотрим простой код:

struct Base abstract {};
struct Derived1:public Base {};
struct Derived2:public Base {};
/*...*/
Base *pObj = 0;
if (/*...*/)
	pObj = new Derived1;
else
	pObj = new Derived2;

Вопрос: как мне теперь определить, на объект какого типа указывает pObj? На объект типа Derived1 или Derived2?

[EUGY]

Если у Base будет виртуальная функция, например, чисто виртуальный деструктор, т.е.Base предполагается абстрактым, то можно через dynamic_cast. Не забыть только включить поддержку rtti.

if (dynamic_cast<Derived1*>(pObj))
{
}
else if (dynamic_cast<Derived2*>(pObj))
{
}

[Сtrl]

Все, вроде сообразил - dynamic_cast возвращает нулевой указатель, если преобразование невозможно. Спасибо.
А поддержка RTTI в настройках компилятора включается, или где?

[EUGY]

Сообщение от Сtrl

Все, вроде сообразил - dynamic_cast возвращает нулевой указатель, если преобразование невозможно. Спасибо.
А поддержка RTTI в настройках компилятора включается, или где?

Так точно.

У меня в MS VS есть ключ (/GR)

[_-Re@l-_]

Можно так ешё

void fn(Base* p)
{
    const type_info& ti = typeid(*p);
    if (ti == typeid(Base))
    {
         // Это объект типа Base
    }
    else if (ti == typeid(Derived))
    {
        // Это объект типа Derived
    }
}

Ну, суть такая.

[Сtrl]

Я пробовал так. Во-первых, сравнение - это ==, а не =. Во-вторых, не знаю как typeid должен работать, но в моей студии он определяет тип по типу указателя, а не самого объекта. Может, это потому что я RTTI не включал (как EUGY выше сказал).

[_-Re@l-_]

Опсть, прошу прощения, да, вы правы, просто только проснулся, даже не вижу что пишу

[EUGY]

Скажу несколько не в тему, но все же.
В MFC (при всей моей не любви) оригинально организована rtti для своих объектов через DECLARE_DYNAMIC. Помнится, когда изучал, получил интеллектуальное наслаждение.

[Сtrl]

_-Re@l-_, EUGY, оба ваших метода работают, только нужно, чтобы была хоть одна виртуальная функция. Еще раз спасибо! Кстати, я макрос написал для проверки типа:

#define TYPE_ASSIGN(POINTER, TYPE) (dynamic_cast<TYPE*>(POINTER) != 0)

Можно его как-то заменить на функцию? Все-таки макросы - это не очень хорошо.

[Rififi]

Сtrl

Можно его как-то заменить на функцию? Все-таки макросы - это не очень хорошо.

монопенисуально.

template <typename T, typename U>
bool IsTypeOfClass(U* u)
{
	return dynamic_cast<T*>(u) != NULL;
}

PS. По теме: весь этот велосипед, который ты изобрёл - не нужен. То есть вообще. Полиморфизм и паттерны (например Visitor) рулят.