Есть статическая функция, своего рода конструктор, который создает обьект. Она обращается к абстрактному методу обьекта, который определяется в классе наследнике.
Она должна наследоваться, и уметь вызывать этот метод.
Подстажите, как ее нужно реализовать, правильно ли я понимаю, только через шаблон?

Это сообщение отредактировал(а) Logo - 14.3.2012, 16:58

если объект есть, то полиморфизм будет работать.

Добавлено через 53 секунды

однако если эта функция сама создает объект, она знает все про тип в момент компиляции

Добавлено через 5 минут и 30 секунд
http://codepad.org/IJ77LkRS

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

Тоесть, нужна такая архитектура

Можно создавать экземпляр родительского класса, а потом в наследнике приводить его явно к классу этого наследника

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

Такая не получится. А вот такая - получится:

кажется, ТС интересует прежде всего

видимо подразумевается переопределение в дочерних классах и полиморфное поведение. увы, весь полиморфизм такого рода возможен только на стадии компиляции. туплю  см. пример xvr
но то же самое можно сделать проще и понятней: просто поместите код createObject() в конструктор, а при необходимости управлять размещением переопределите operator new()

Это сообщение отредактировал(а) baldina - 15.3.2012, 11:02

Указатель на созданый обьект, как уже написал. Должна знать о его типе, а также о некоторых полях, которые как бэ абстрактные. Что тут неправильного?


Да, может быть оператор replacement new будет самым подходящим решением. Либо родительский класс будет на основе шаблона, надо хорошо обдумать...
Функция как раз принимает параметры, на основе которых вычисляет размещение обьекта в памяти, и возвращает указатель на него.
Правда есть еще другая типа void функция, которая делает тоже самое (вызывает эту функцию), только еще вызывает метод обьекта, который определен как раз в наследниках, и обрабатывает область памяти. Хотя может и ну ее (new(myParams) Object)->run(myParams) не слишком усложнит код, тоже вариант...

Зачем базовому классу знать о наследниках ?

Ага, хрен... конструктор должен обращатся к статическим виртуальным полям, которые определены в наследниках, однако нельзя определить поле одновременно статическим и виртуальным... видно без шаблона все равно не обойтись.


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

Не понял.
Я так понимаю: у базового класса есть свои виртуальные методы. О них обязан знать наследник. А вот чтобы базовый что-то знал о наследнике - ерунда какая-то... не понимаю.

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

и вообще, см. паттерн factory.

Нужно обращатся к абстрактным статическим полям. Которые к сожалению не поддерживаются.
Тоесть опять возвращаемся к шаблонам, с помощью которых можно их эмулировать.

Logo, а что в конце из этого статически виртуального винегрета должно получиться то ?