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

Question

我已使用以下内容为我的应用程序编写策略：

策略类如下所示：

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

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

要编写策略：

typedef Cons<Policy1, Cons<Policy2, Cons<Policy3, Policy4> > > MyPolicy;

使用 MyPolicy：

init_with<MyPolicy>(...);
//...
cleanup_with<MyPolicy>(...);

他们会打电话的地方：

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 行有点难看。拥有可以执行此操作的策略组合器将是理想的：

typedef CombinePolicy<Policy1, Policy2, Policy3, Policy4> MyPolicy;

由于我们可以有任意数量的策略，CombinePolicy 需要 C++0x 中的可变参数模板支持，这仅在尖端编译器中实验性地可用。然而，boost:mpl 库似乎通过使用一堆预处理技巧解决/解决了这个问题。我猜我可以使用类似的东西：

typedef mpl::list<Policy, Policy2, Policy3, Policy4> Policies;

然后调用：

init_with<Policies>(...);

然后会使用：

typedef iter_fold<Policies, begin<Policies>::type,
                  some_magic_lambda_expression>::type MyPolicy;

很明显，我在这里搞清楚 some_magic_lambda_expression 有点麻烦。我敢肯定，这对于 mpl 专家来说是微不足道的。

提前致谢。

Answer 1

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

无论如何，结果证明解决方案简单而优雅。

第一个 iter_fold 不是我想要的，因为我不知道如何指定一个可以遵循 null 类型的迭代器。所以我摆弄 fold 并找到以下内容：

typedef fold<Policies, Null, Cons<_1, _2> >::type MyPolicy;

为了让它工作，我需要为 Cons 提供 Null 类型和特化：

struct Null { };

template<class PolicyT>
struct Cons<Null, PolicyT> {
  static void init() { PolicyT::init(); }
  static void cleanup() { PolicyT::cleanup(); }
};

Answer 2

我认为您的问题是运行时调用而不是元函数，因为您想在实际运行时对象上调用 init 函数。

你可以试试 mpl 的运行时算法， 喜欢：

for_each<Policies>(InitPolicy());

与

struct InitPolicy() {
    template<class Policy>
    void operator() (Policy& p) { p.init_options(); }
};

Answer 3

我认为您正在寻找类似的东西：

typedef 
  iter_fold<
    Policies,
    begin<Policies>::type,
    Cons<_1,_2>
  >::type
  MyType;

如果您内置某种 CRTP 以在编译时调用硬连线的基函数，您可能还想查看inherit_linearly<>。