Russian Qt Forum

Есть родительский класс и пронаследованный от него дочерний.
Существует ли возможность вызова метода дочернего класса из родительского. Если - да, то как?

Спасибо.

виртуальные методы

Вот пример, который работает не так как хочется. Что я делаю неправильно?

C
class I{
public:
	virtual void create()=0;
}
 
class A:public I {
public:
	A(){
		create();
	};
	~A();
	virtual void create(){};
 
};
 
class B:public B{
public:
	B();
	~B();
	virtual void create(){int i = 1+1;};
};
 
int main(int argc, char *argv[]){
	B * b = new B();
}

надо чтобы сработал метод create() класса B, а не А,
можно конечно написать так

C
int main(int argc, char *argv[]){
	B * b = new B();
           b->create();
}

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

Неправильно вызывать виртуальный метод в конструкторе базового класса

Когда выполняется конструктор базового класса (A) все виртуалы работают как для A, и sizeof(*this) вернет sizeof(A). Порожденный класс (B) в этот момент еще как бы "не создан"

И с деструктором такая же беда.

Это классический пример на шаблонах:

C++ (Qt)
#include <iostream>
 
template<class Derived>
class A {
   public:
      A(Derived* d){d->init();}
};
 
class B : public A<B> {
   public:
      B():A<B>(this){}
 
      void init(){std::cout << "B" << std::endl;}   
};
class C : public A<C> {
   public:
      C():A<C>(this){}
 
      void init(){std::cout << "C" << std::endl;}   
};
 
int main()
{
   B b;
   C c;
   return 0;
}
 

Этот подход имеет ограниченное применение, хотя такие вещи составляют уникальную мощь C++! В ООП на C++ использование этого подхода чревато трудноуловимыми багами:

Т.е. мы имеем в B::init() несконструированный член B::string_! Собственно, по этой причине в С++ и не вызываются из конструкторов и деструкторов виртуальные методы, поскольку всегда есть возможность использования неинициализированных членов. В языках, где нет объектов-значений такой проблемы принципиально нет, поскольку базовый класс имеет возможность инициализировать всю память (нулями).

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

Ну хорошо, а что мешает эту таблицу построить (таблицы виртуальных функций строятся на этапе компиляции)? То, что в конструкторе vmt pointer всегда указывает на vmt данного типа, а не дочернего, как в некоторых других языках, - это как раз самый простой способ реализации предотвращения полиморфного поведения (виртуального вызова).

Да, все четко. Спасибо за разъяснение этого нюанса

Что я ничего не понял ???

Понял одно, что в конструкторе класса унаследованного от абстрактного нельзя вызывать виртуальные методы.

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