Как у класса узнать его базовый класс

[Anonymous]

Люди подскажите как получить базовый класс
Есть класс  (class C) надо изнать его базовый(от которого он создан его)
 класс самого первого уровня (class A)

[Serega]

Узнать никак не выдет, в С++ нет поддержки описания классов
Есть RTTI, но сервисов там минимум

Можно проверить унаследован ли данный обьект от определенного класса, есть два способа:
Первый способ - во время работы программы

Код:

class A 
{
public:
	virtual ~A() {}
};

class B : public A {};

class C 
{
public:
	virtual ~C() {}
};

void Test()
{
	A a;
	B b;
	C c;

	A* ptr;

	ptr = dynamic_cast<A*>(&a);
	// пытаемся безопасно привести &a к типу A*

	assert( ptr != null );
	// ptr != null, т.к. &a можно привести к A*

	ptr = dynamic_cast<A*>(&b);
	// пытаемся безопасно привести &b к типу A*

	assert( ptr != null );
	// ptr != null, т.к. &b можно привести к A*
	// потому что B унаследован от A

	ptr = dynamic_cast<A*>(&c);
	// пытаемся безопасно привести &c к типу A*

	assert( ptr != null ); // ошибка !!!
	// ptr == null, т.к. &c не возможно привести к A*
	// потому что С не наследует от A
}

использовать можно как указатели так и ссылки

Код:

	A& ref = dynamic_cast<A&>(a);
	assert( &ref != null );

Воторой способ - это проверка на этапе компиляции
вместо dynamic_cast используем static_cast

Код:

	ptr = static_cast<A*>(&c);
	// пытаемся безопасно привести &c к типу A*

в данном случае компилятор выдаст ошибку

[Anonymous]

Serega

А как же Mfc классы контролов могут
возращать свой базовый класс CWnd

[Pu]

они как правило возвращают указатель на себя(this), а ты его уже переопределяешь в указатель на базовый.

[Serega]

Код:

class CWnd {};

class MyControl : CWnd
{
	CWnd* getWnd() { return this; }
};

В данном случае происходит неявное преобразование типов, НО компилятор знает что MyControl производный от CWnd
если он этого не знал бы, ничего бы не вышло

Код:

class MyControl
{
	CWnd* getWnd() { return this; }
};

так не выдет

[Mayor]

можно и так:
return (CWnd*) this ;

[lapulya]

нет так нельзя... так компилятор НИЧЕГО НЕ ГАРАНТИРУЕТ вот пример

Код:

class MyControl
{
    CWnd * getWnd();
};

CWnd * MyControl::getWnd()
{
    int a = 10;
    return (CWnd *)&a;
}

и компилится как часы, но при работе... большой бум-бум обеспечен

[Mayor]

ЭЭЭЭ вообще-то как может this ссылааться на int

[lapulya]

ЭЭЭЭ вообще-то как может this ссылааться на int

Я не очень понял что ты имеешь ввиду, но если ты сомневаешься что это компилится то просто проверь!!! колмпилятор скажет что этот код

Код:

class MyControl 
{
    CWnd * getWnd(); 
}; 

CWnd * MyControl::getWnd() 
{
    int a = 10; 
    return (CWnd *)&a; 
}

абсолютно корректен!!!

[Anchorite]

Mayor, где ты увидел this ссылающийся на int?
Там есть следующее: создается автоматическая переменная целого типа инициализированная 10. Потом берется указатель на нее и этот указатель преобразуется в указатель на CWnd.
Все эти операции совершенно корректны.
Вот только результат непредсказуем - возвращенный функцией указатель будет указывать неизвестно на что, т.к переменная "а" будет освобождена при выходе из функции.

[Mayor]

Да освобождения стековой переменной трудно отлаживать, но я имел ввиду зачем возвращать указатель на int вместо указателя на класс. Хотя конечно случаи всякие бывают, 0 указатель отлавить намного проще, чем указатель ссылающийся не на те данные, но это повлечет потерю производительности.

Гость, я не понял для чего тебе нужно получить базовый класс.

[lapulya]

Да какая разница локальная это переменная (это я про a) или нет, я мог бы и так написать

Код:

class MyControl 
{
    CWnd * getWnd(); 
}; 

int * a = new int;
CWnd * MyControl::getWnd() 
{
    *a = 10; 
    return (CWnd *)a; 
}

я это к тому писал что товарищ Mayor, предлагал сделать так

можно и так:
return (CWnd*) this ;

так я ему пытался объяснить что такое приведение МЕНЕЕ предпочтительно, чем так

Код:

class MyControl 
{
   CWnd* getWnd() { return this; }
};

потому как проверка в последнем случае осуществляется компилятором, а в первом только самим программистом

[Mayor]

А понятно - это все видимо потому что я проверять предпочитаю SoftICE