Многоуровневый полиморфизм

[RAFA91]

Всем доброго дня !

Подскажите пожалуйста почему при отсутствии в классе С метода

void hgh() вызывается метод void hgh() класса В, а не А ?

A *d = new C;

Может ли это объясняться тем , что фактически указатель d содержит в

себе типы А,B,C и тем самым происходит вызов метода из класса на уровень

выше (при наличии в этом классе замещенного метода) ?

#include <stdio.h>
#include <conio.h>

class A

{

public:

	A() {printf("\nKONSTRUKTOR class A this = %p\n",this);}
	virtual ~A() {printf("\nDESTRUKTOR class A this = %p\n",this);}
	virtual void hgh() const  = 0 {printf("\nhgh() class A this = %p\n",this);}
	virtual void gh() const {printf("\ngh() class A this = %p\n",this);}
};

class B : public A

{

public:

	B() {printf("\nKONSTRUKTOR class B this = %p\n",this);}
	~B() {printf("\nDESTRUKTOR class B this = %p\n",this);}
	void hgh() const {printf("\nhgh() class B this = %p\n",this);}
	//void gh() const {printf("\ngh() class B this = %p\n",this);}
};


class C : public B

{

public:

	C() {printf("\nKONSTRUKTOR class C this = %p\n",this);}
	~C() {printf("\nDESTRUKTOR class C this = %p\n",this);}
	//void hgh() const {printf("\nhgh() class C this = %p\n",this);}
	//void gh() const {printf("\ngh() class C this = %p\n",this);}
};


int main()

{
	A *d = new C;

	printf("\nd = %p\n",d);

	d->hgh();

	delete d;

	getch();

	return 0;
}

[waleri]

Класс-наследник наследует все методы и переменные класса родителя.

[RAFA91]

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

Класс-наследник наследует все методы и переменные класса родителя.

класс A это тоже по сути родитель.

A *d = new C;

[rrrFer]

класс A это тоже по сути родитель.

A *d = new C;

Когда конструируется класс С - сначала вызывается конструктор А, потом В, потом С.
Потому что ты написал это:

class B : public A

class C : public B

Ты используешь виртуальные функции, которые переопределяются в классах наследниках. Каждый объект класса, содержащего виртуальные методы хранит таблицу (массив указателей на функции) виртуальных методов, из таблицы берется указатель и вызывается соответствующая функция.
Считай, что если в классе реализуется виртуальный метод - то указатель на него помещается в таблицу (затирая предыдущее значение если оно было).

Т.е. когда конструируется класс В - то затираются указатели на виртуальные методы класса А. Если затем вызывается конструктор класса С - то указатели обновляются еще раз.

Это очень схематично и не совсем верно, быть может, но думаю тебе поможет

[Perchik71]

virtual void hgh() const  = 0 {printf("\nhgh() class A this = %p\n",this);}

а это разве будет работать?
он сначала объявил чистую виртуальную функцию, делающий класс А абстрактным? а следом описывает тело?

[jura_k]

Подскажите пожалуйста почему при отсутствии в классе С метода
void hgh() вызывается метод void hgh() класса В, а не А ?

Код я особо не читал (для меня это сложновато), но исходя из комментариев других, могу сказать: потому что ты переопределил метод в классе-наследнике.

[Croessmah]

а это разве будет работать?

Не должно.

10.4 Abstract classes

2. ...
[Note: A function declaration cannot provide both a pure-specifier and a definition — end note] [ Example:

struct C {
   virtual void f() = 0 { }; // ill-formed
};

— end example ]

[waleri]

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

virtual void hgh() const  = 0 {printf("\nhgh() class A this = %p\n",this);}

а это разве будет работать?
он сначала объявил чистую виртуальную функцию, делающий класс А абстрактным? а следом описывает тело?

Напрямую - нет, но наследник может вызывать родительскую версию полным именем.

Edit:
А, если речь о том можно ли именно так описывать, то да, не по стандарту, но у MS катит.

[_Bers]

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

virtual void hgh() const  = 0 {printf("\nhgh() class A this = %p\n",this);}

а это разве будет работать?
он сначала объявил чистую виртуальную функцию, делающий класс А абстрактным? а следом описывает тело?

это будет работать в вижал-студии.
но это не по стандарту.

по стандарту, нельзя реализовать туловище чисто-виртуальной функции-члена в декларации класса.

поэтому, его следует выносить за пределы класса.
например - в файл спп.

[Perchik71]

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

это будет работать в вижал-студии.
но это не по стандарту.

по стандарту, нельзя реализовать туловище чисто-виртуальной функции-члена в декларации класса.

поэтому, его следует выносить за пределы класса.
например - в файл спп.

Не буду конечно спрашивать закой вообще такое делать, но как по мне в этом нет логической нитки (мысли), должно быть что-то одно. В моём понимании. Более того, я не нашёл даже это в офф справке msdn, если это работает в MS.
Для ТС, virtual function. От себя добавлю, что с виртуальными функциями нужно быть осторожнее, хотя я имею привычку писать виртуальный деструктор, в отличии от стандартной библиотеки, которая его не имеет.
это хаб