MWE довольно длинный, поэтому, пожалуйста, потерпите меня.
Короче говоря, я хотел бы использовать фабрику абстрактных объектов для создания объектов, производных от базового класса, с производными объектами, созданными по одиночке и переданными с использованием shared_ptr.
Пока что все работает нормально, если синглтоны не получены из чего-либо, кроме шаблона синглтона.
Предположим, у кого-то есть следующая структура:
class Base{}
class Derived1 : public Base {} // public Base, public Singleton<Derived1>
class Derived2 : public Base {}
Я хотел бы использовать мою фабрику абстрактных объектов для генерации производных классов, но убедитесь, что она создается только один раз, а в противном случае возвращает std :: shared_ptr производному объекту.
Я реализовал одноэлементный шаблон и фабрику объектов, которая хорошо работает, если я хочу создавать объекты, которые не являются производными от чего-либо:
Синглтон:
template<class Derived>
class Singleton{
private:
static std::shared_ptr<Derived> instance_;
public:
template <typename... Args>
static
std::shared_ptr<Derived> Instance(Args... args){
if (instance_ == nullptr){
instance_ = std::shared_ptr<Derived>(
new Derived(std::forward<Args>(args)...) );
}
return instance_;
}
};
template <class T> std::shared_ptr<T> Singleton<T>::instance_ = nullptr;
Объект фабрики:
template <class Object, typename... Args>
class Abstract_Factory_Base {
protected:
using Factories_Map = std::unordered_map<std::string, std::shared_ptr<Abstract_Factory_Base<Object, Args... >> >;
static Factories_Map* factories_; ///< \brief stores factories able to construct objects derived from "Object" template parameter
public:
Factories_Map* factories(){
if(factories_ == nullptr){
factories_ = new Factories_Map;
}
return factories_;
}
static
std::shared_ptr<Abstract_Factory_Base<Object, Args...>>
Type(const std::string &key){
return (*factories_)[key];
};
virtual
std::shared_ptr<Object>
create(const Args &... args) = 0;
};template <class Object, class Derived, typename... Args>
class Abstract_Factory : public Abstract_Factory_Base<Object, Args...>{
public:
std::shared_ptr<Object>
create(const Args &... args){
return std::shared_ptr<Derived>(
new Derived(args...));
}
};
template <class Object, class Derived, typename... Args>
class Factory_Register : public Abstract_Factory<Object, Derived, Args...>{
public:
Factory_Register(const std::string& key){
//static_assert(!(std::is_base_of<Singleton<Derived>, Derived>::value), "");
this->factories()->emplace(
key,
std::shared_ptr<Abstract_Factory_Base<Object, Args...>>(
new Abstract_Factory<Object, Derived, Args...>));
}
};
template <class Object, class Derived, typename... Args>
class Singleton_Factory : public Abstract_Factory_Base<Object, Args...>{
public:
std::shared_ptr<Object> create(const Args &... args){
return Derived::Instance(args...);
}
};
template <class Object, class Derived, typename... Args>
class Singleton_Factory_Register : public Singleton_Factory<Object, Derived, Args...>{
public:
Singleton_Factory_Register(const std::string& key){
//static_assert(std::is_base_of<Singleton<Derived>, Derived>::value, "");
this->factories()->emplace(
key,
std::shared_ptr<Abstract_Factory_Base<Object, Args...>>(
new Singleton_Factory<Object, Derived, Args...>));
}
};
Допустим, теперь я хочу использовать его с:
class Foo{
protected:
int x_, y_;
public:
Foo(){x_ = 0; y_ = 0;}
Foo(int x, int y){
x_=x;
y_=y;
}
void print(){
std::cout << x_+y_ << std::endl;
}
};
using Foo_Factory = Abstract_Factory_Base<Foo,int,int>;
class FooFoo : public Singleton<FooFoo>, public Foo{
friend class Singleton<FooFoo>;
using FooFoo_Register = Singleton_Factory_Register<
Foo,
FooFoo,
int,
int>;
static FooFoo_Register reg;
protected:
//int x_,y_;
FooFoo(){};
FooFoo(int x, int y){
x_=2*x;
y_=2*y;
}
public:
void print(){
std::cout << x_ << std::endl;
}
};
template <class Object, typename... Args>
typename Abstract_Factory_Base<Object, Args...>::Factories_Map* Abstract_Factory_Base<Object, Args...>::factories_;
FooFoo::FooFoo_Register FooFoo::reg("foofoo");int main(){
std::shared_ptr<FooFoo> foofoo1, foofoo2, foofoo3;
foofoo1 = Foo_Factory::Type("foofoo")->create(1,2); // this fails
Foo_Factory::Type("foofoo"); // this calls ok
////foofoo2 = Foo_Factory::Type("foofoo")->create(10,10);
////foofoo3 = Foo_Factory::Type("foofoo")->create(2,10);
////printf("(%p, %p, %p)\n", foofoo1.get(), foofoo2.get(), foofoo3.get());
//printf("(%p)\n", foofoo1.get());
//foofoo1->print();
////foofoo2->print();
////foofoo3->print();
}
Я получаю много ошибок компиляции, компиляции о движении, которые я не могу решить с прошлых часов.
Можете ли вы помочь мне, или перенаправить меня куда-нибудь. Хочу ли я, по крайней мере, даже возможно? Спасибо!
In file included from /usr/include/c++/5/bits/shared_ptr.h:52:0,
from /usr/include/c++/5/memory:82,
from main.cpp:2:
/usr/include/c++/5/bits/shared_ptr_base.h: In instantiation of ‘std::__shared_ptr<_Tp, _Lp>& std::__shared_ptr<_Tp, _Lp>::operator=(std::__shared_ptr<_Tp1, _Lp>&&) [with _Tp1 = Abstract_Factory_Base<Foo, int, int>; _Tp = FooFoo; __gnu_cxx::_Lock_policy _Lp = (__gnu_cxx::_Lock_policy)2u]’:
/usr/include/c++/5/bits/shared_ptr.h:302:4: required from ‘std::shared_ptr<_Tp>& std::shared_ptr<_Tp>::operator=(std::shared_ptr<_Tp1>&&) [with _Tp1 = Abstract_Factory_Base<Foo, int, int>; _Tp = FooFoo]’
main.cpp:180:13: required from here
/usr/include/c++/5/bits/shared_ptr_base.h:1008:4: error: no matching function for call to ‘std::__shared_ptr<FooFoo, (__gnu_cxx::_Lock_policy)2u>::__shared_ptr(std::remove_reference<std::__shared_ptr<Abstract_Factory_Base<Foo, int, int>, (__gnu_cxx::_Lock_policy)2u>&>::type)’
__shared_ptr(std::move(__r)).swap(*this);
^
/usr/include/c++/5/bits/shared_ptr_base.h:1146:7: note: candidate: std::__shared_ptr<_Tp, _Lp>::__shared_ptr(const std::__weak_ptr<_Tp, _Lp>&, std::nothrow_t) [with _Tp = FooFoo; __gnu_cxx::_Lock_policy _Lp = (__gnu_cxx::_Lock_policy)2u]
__shared_ptr(const __weak_ptr<_Tp, _Lp>& __r, std::nothrow_t)
^
/usr/include/c++/5/bits/shared_ptr_base.h:1146:7: note: candidate expects 2 arguments, 1 provided
/usr/include/c++/5/bits/shared_ptr_base.h:1094:2: note: candidate: template<class _Alloc, class ... _Args> std::__shared_ptr<_Tp, _Lp>::__shared_ptr(std::_Sp_make_shared_tag, const _Alloc&, _Args&& ...)
__shared_ptr(_Sp_make_shared_tag __tag, const _Alloc& __a,
^
/usr/include/c++/5/bits/shared_ptr_base.h:1094:2: note: template argument deduction/substitution failed:
/usr/include/c++/5/bits/shared_ptr_base.h:1008:4: note: cannot convert ‘std::move<std::__shared_ptr<Abstract_Factory_Base<Foo, int, int>, (__gnu_cxx::_Lock_policy)2u>&>((* & __r))’ (type ‘std::remove_reference<std::__shared_ptr<Abstract_Factory_Base<Foo, int, int>, (__gnu_cxx::_Lock_policy)2u>&>::type {aka std::__shared_ptr<Abstract_Factory_Base<Foo, int, int>, (__gnu_cxx::_Lock_policy)2u>}’) to type ‘std::_Sp_make_shared_tag’
__shared_ptr(std::move(__r)).swap(*this);
Я думаю, что проблема в том, что с foofoo1 = Foo_Factory::Type("foofoo")
вы пытаетесь назначить объект типа std::shared_ptr<Abstract_Factory_Base<Foo,int,int>>
к тому, что является std::shared_ptr<FooFoo>
, Между этими типами нет преобразования.
Чтобы это исправить, вам нужно использовать возвращенный фабричный объект, чтобы создать объект, который вы хотите сохранить:
foofoo1 = Foo_Factory::Type("foofoo")->create(...);
с соответствующими параметрами для FooFoo
конструктор передается create
,
ок, мне наконец-то удалось для тех, кто интересуется таким дизайном. Я обнаружил использование сырых указателей вместо умных, и получил простое сообщение об ошибке: «не могу конвертировать из Foo * в FooFoo *.
Следовательно, ошибка в основном:
std::shared_ptr<Foo> foofoo1, foofoo2, foofoo3;
// Pointer on base class Foo of course !