如何使用boost :: mpl来编写策略？

我使用类似下面的内容为我的应用程序编写策略:

策略类如下所示:

struct Policy {
  static void init();
  static void cleanup();
  //...
};

template 
struct Cons {
  static void init() {
    CarT::init();
    CdrT::init();
  }
  static void cleanup() {
    CdrT::cleanup();
    CarT::cleanup();
  }
  //...
};

撰写政策:

typedef Cons > > MyPolicy;

要使用MyPolicy:

init_with(...);
//...
cleanup_with(...);

他们打电话的地方:

MyPolicy::init_options(); // calls Policy1 to 4's init in order

和

MyPolicy::cleanup(); // calls Policy1 to 4's cleanup in reverse order

从本质上讲,Cons在这里构造一个类型列表.这很直接.然而,typedef cons line有点难看.拥有可以执行此操作的策略组合器是理想的:

typedef CombinePolicy MyPolicy;

由于我们可以拥有任意数量的策略,因此CombinePolicy在C++ 0x中需要可变参数模板支持,这只能在前沿编译器中通过实验获得.然而,似乎boost:mpl库通过使用一堆预处理技巧解决/解决了这个问题.我想我可以使用类似的东西:

typedef mpl::list Policies;

然后打电话:

init_with(...);

然后使用:

typedef iter_fold::type,
                  some_magic_lambda_expression>::type MyPolicy;

显然,我在这里找出some_magic_lambda_expression有点麻烦.我相信这对mpl专家来说是非常微不足道的.

提前致谢.

由于没有人满意地回答这个问题,我花了一些时间深入研究了boost :: mpl源代码.伙计,宏层和数百行专业化类并不漂亮.我现在更感谢boost库的作者使我们的元编程更容易,更便携.希望C++ 0x也能让图书馆作家的生活更轻松.

无论如何,解决方案变得简单而优雅.

首先iter_fold不是我想要的,因为我无法弄清楚如何指定一个可以被引用为null类型的迭代器.所以我摆弄折叠并找到以下内容:

typedef fold >::type MyPolicy;

为了使其工作,我需要提供Null类型和Cons的特化:

struct Null { };

template
struct Cons {
  static void init() { PolicyT::init(); }
  static void cleanup() { PolicyT::cleanup(); }
};