C++ список ссылок на функции, возвращающие новые экземпляры разнотипных классов?

Question

[sdevalex]

Как в таком коде можно вызвать функции по ссылкам из handlers? Или с этим я сильно закрутил?

namespace RequestHandlers
{
    class Base
    {
        public:
            virtual Response* processing(Request* request);
    };

    class Info : public Base
    {
    };

    class List : public Base
    {
    };
}

template<class T>
T* createInstance()
{
    return new T();
}

QMap<unsigned int, void*> handlers;

handlers[1] = &createInstance<RequestHandlers::Info>;
handlers[2] = &createInstance<RequestHandlers::List>;

//handlers[1]() вызывает ошибку

Answer 1

[B@rmaley.e><e]

Какую ошибку?
createInstance возвращает указатель, а Вы берёте его адрес и записываете в handlers. Вы собираетесь вызывать указатель?

Comments

[sdevalex]

Пишет что-то вроде «недопустимое косвенное обращение». Я немного методом тыка переписал код, он работает, но карявый… или это нормально?

QMap<unsigned int, RequestHandlers::Base*(*)()> handlers;

handlers[1] = (RequestHandlers::Base*(*)())createInstance<RequestHandlers::Info>;
handlers[2] = (RequestHandlers::Base*(*)())createInstance<RequestHandlers::List>;

RequestHandlers::Base* handler = handlers[2]();
handler->processing(new Request);

[sdevalex]

Переписал ещё немного, теперь вроде все хорошо. Спасибо за помощь :)

template<class T>
RequestHandlers::Base* createInstance()
{
    return new T();
}

QMap<unsigned int, RequestHandlers::Base*(*)()> handlers;

handlers[1] = createInstance<RequestHandlers::Info>;
handlers[2] = createInstance<RequestHandlers::List>;

RequestHandlers::Base* handler = handlers[2]();
handler->processing(new Request);

[B@rmaley.e><e]

Приведения в стиле Си в плюсах — плохой тон. Используйте static_cast / dynamic_cast / const_cast (есть ещё reinterpret_cast).

[sdevalex]

Я правильно Вас понял? Так правильней?

template<class T>
RequestHandlers::Base* createInstance()
{
    return static_cast<Base*>(new T);
}

[B@rmaley.e><e]

Нет, в данном случае приведение типов не нужно.
В первоначальном варианте дополнительная защита от ошибок обеспечивалась тем, что если тип T не является потомком Base, то программа не скомпилировалась бы. А вот static_cast, если не ошибаюсь, грозит неопределённым поведением.

Answer 2

[sdevalex]

В итоге получился вот такой вот код. Может есть способ как-то неявно добавлять новые типы? Т.е. избавиться от явного вызова Base::registerType().

class Info : public Base
{
};

class List : public Base
{
};

Base::registerType<Info>();
Base::registerType<List>();

Base::createInstance(1)->processing(new Request);

Comments

[vanxant]

Можно попробовать добавить в CreateInstance static-переменную, инициализация которой вызывает registerType

[sdevalex]

CreateInstance не знает о созданных классах-потомках. От только вызывает функцию создания экземпляра.

template<typename I, class T>
T* Type<I, T>::createInstance(I id)
{
	return types[id]();
}

Answer 3

[rtorsten]

Можно добавить в каждый класс статический инициализатор.

class bar : public Base
{
public:
        // ...
	class registrator {
	public:
		registrator() 
		{
			Base::registerType<bar>();
		}
	};
	static registrator _registrator;
};
bar::registrator bar::_registrator;

Обычно для этого пишут макрос (а точнее 2 макроса, 1ый для определения регистратора, 2ой для определения статического объекта), т.к. подобные инициализаторы надо добавить в каждый класс, который вы хотите неявно регистрировать.

И не забудьте (может Вы и не забыли) в Base или от чего там наследуется handlers добавить виртуальный деструктор.

Comments

[rtorsten]

Можно упростить, если добавить шаблоны:

template <class T>
class baseRegistrator 
{
public:
	class init
	{
	public:
		init()
		{
			Base::registerType<T>();
		}		
	};
	static init _init;	
};

class bar : public base, public baseRegistrator<bar>;

baseRegistrator<bar>::init baseRegistrator<bar>::_init;

Т.е. добавляем в наследники каждого класса класс baseRegistrator, и не забываем определить статическую переменную _init (это обычно тоже выносят в макрос для упрощения).

[sdevalex]

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