これらのタイプがあるとします:
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
...
いくつかの笑のタイプ:
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
テンプレートパラメーターを 1 つしか受け付けない場合でも問題なくコンパイルされるため、少し混乱しています。私の推測では、コンパイラは 2 番目のプレースホルダーを「解決」できませんが、その理由がわからないことを認めなければなりませんapply
。
VS2012 を vc100 または vc110 で使用しています。
何か案が?AbstractFactory
(はい、私は最新の C++ 設計で説明されているもので遊んでいました)
編集:最終的にAbstractFactory
、質問と回答の両方で偽装せずにコード全体を提供することにしました。