Как правильно добавить boost :: mpl :: inherit_linearly и boost :: mpl :: наследовать, чтобы заполнители могли быть разрешены?

Question

Как правильно добавить boost :: mpl :: inherit_linearly и boost :: mpl :: наследовать, чтобы заполнители могли быть разрешены?

Скажем, у меня есть эти типы:

template
<
class T,
template <class> class Storage
>
struct AbstractFactoryUnit
{
virtual ~AbstractFactoryUnit() {}
virtual typename Storage< T >::StoredType doCreate(Storage< T >) = 0;
};

а также

template
<
class TypeSequence,
template <class> class ProductStorage,
template <class, template <class> class> class Unit = AbstractFactoryUnit
>
struct AbstractFactory
: boost::mpl::inherit_linearly
<
TypeSequence,
boost::mpl::inherit
<
boost::mpl::_1,
Unit< boost::mpl::_2, ProductStorage >
>
>::type
{
typedef TypeSequence Products;

template <class T>
auto create() -> typename ProductStorage< T >::StoredType
{
Unit< T, ProductStorage >& unit = *this;
unit.doCreate(ProductStorage< T >());
}
};

Теперь я хочу реализовать ле AbstractFactory…

Некоторые типы LOL:

struct Foo {};
struct Bar {};
struct Baz {};

Лол место хранения:

template <class T>
struct RawPointerStorage
{
typedef T* StoredType;
};

и, наконец, реализация:

struct FooBarBaz
: AbstractFactory< boost::mpl::set< Foo, Bar, Baz >, RawPointerStorage >
{
A* doCreate(RawPointerStorage< Foo >) override
{
return new A;
}

B* doCreate(RawPointerStorage< Bar >) override
{
return new B;
}

C* doCreate(RawPointerStorage< Baz >) override
{
return new C;
}
};

К сожалению, компилятор жалуется:

1>C:\Libs\boost\boost_1_51_0\boost/mpl/aux_/preprocessed/plain/inherit.hpp(20): error C2500: 'boost::mpl::inherit2<T1,T2>' : 'AbstractFactoryUnit<T,ProductStorage>' is already a direct base class
1>          with
1>          [
1>              T1=AbstractFactoryUnit<boost::mpl::_2,RawPointerStorage>,
1>              T2=AbstractFactoryUnit<boost::mpl::_2,RawPointerStorage>
1>          ]
1>          and
1>          [
1>              T=boost::mpl::_2,
1>              ProductStorage=RawPointerStorage
1>          ]

Я немного сбит с толку, так как он прекрасно компилируется, когда AbstractFactoryUnit принимает только один параметр шаблона. Я предполагаю, что компилятор не может «разрешить» второй заполнитель, но я должен признать, что я не знаю почему — так как я не очень хорошо знаю, как вызывает boost apply на заполнителей.

Я использую VS2012 с vc100 или vc110.

Любая идея?
(да, я играл с AbstractFactory описано в современном дизайне C ++)

РЕДАКТИРОВАТЬ: Я наконец решил предоставить всю свою AbstractFactory код без маскировки как в моем вопросе, так и в моем ответе.

6

boost boost-mpl c++template-meta-programming templates

Решение

Другие решения

Других решений пока нет …

Источник

Accepted Answer

Я не знаю точно, почему — в этом контексте — второй заполнитель не может быть «расширен», но я обнаружил, что перенос выражения boost::mpl::inherit решил мою проблему.

Итак, вот вы, это AbstractFactory в двух словах:

Мы инкапсулируем реализацию в пространстве имен Impl:

namespace Impl
{

template
<
class TypeSequence,
template <class> class ProductStorage,
template <class, template <class> class> class Unit
>
struct AbstractFactory
{
private:
template <class T, class U>
struct Inherit : boost::mpl::inherit< T, Unit< U, ProductStorage > >
{};

public:
typedef typename boost::mpl::inherit_linearly
<
TypeSequence,
// the trick is on the following line
Inherit< boost::mpl::_1, boost::mpl::_2 >
>
::type Type;
};

} // namespace Impl

и мы выводим из этого так:

template
<
class TypeSequence,
template <class> class ProductStorage = RawPointerStorage,
template <class, template <class> class> class Unit = AbstractFactoryUnit
>
struct AbstractFactory
: Impl::AbstractFactory< TypeSequence, ProductStorage, Unit >::Type
{
typedef TypeSequence Products;

template <class T>
auto create() -> typename ProductStorage< T >::StoredType
{
Unit< T, ProductStorage >& unit = *this;
return unit.doCreate(ProductStorage< T >());
}
};

2