Policy Based Design 的一个普遍问题，征求解答

[suncfboy]

在Policy Based Design中，一个实用类是由继承若干个Policy类而得来。但是，这些Policy类的初始化问题怎样解决？有时，这些实用类又有可能作为一个Policy。这时Policy的初始化就很成问题。不希望对Policy的构造参数作格式上的限制，以免限制Policy的范围和实用类的能力。
我希望能使用Traits和Boost::MPL提供一个通用的解决方案。已经想过一个简单方案，其基本思想如下程序所示：（使用了Loki::Typelist）

#include <vector>
using namespace std;
#include <typelist.h>
#include <static_check.h>
using namespace Loki;
#include "boost/tuple/tuple.hpp"
using namespace boost;

template <class policy>
class Host : public policy
{
public:
template <class Tupe, typename TypeList> Host(const Tupe & tupe, const TypeList& tl)
{
policy::Init(tupe,tl);
}
};

struct VectorSizeTag{};
class Policy
{
vector<int > v;
public:
Policy(){}

template <class Tupe, typename TypeList> void Init(const Tupe & tupe, const TypeList& tl)
{
enum {vectorsizeindex = TL::IndexOf<TypeList,VectorSize>::value};
STATIC_CHECK(vectorsizeindex != -1,Policy_cannot_initialized);

v.resize(get<vectorsizeindex>(tupe));
}
};

int _tmain(int argc, _TCHAR* argv[])
{
tuple<int > tuple(100);
Typelist<VectorSize,NullType> TypeList;

Host<Policy> host(tuple,TypeList);

return 0;
}

具体来说，就是用Tuple存储所需要的各种参数，并提供一个Typelist说明其参数的用途，然后各个Policy从这个Tuple中根据Typelist中所述的用途选取各自需要的参数。

但是，这个参数的用途是很难确定的，并且有的Policy并不知道他的参数在整个系统中的作用。这需要在初始化各个Policy时有一些必要的交互。具体的细节一下还想不清楚，请大家多多指教。