在 C++ 中对任意长度的类型列表进行模板化；

Question

这是我希望能够输入的内容：

class foo : public watchKeys<A, B, C> {}; //Or any list of keys

Boost::mpl 有序列，允许您执行此操作，但我不想必须这样做：

class foo : public watchKeys<mpl::list<A, B, C> > {};

我不介意它内部“丑陋”或冗长，但我希望 watchKeys 最终的使用方式非常简单直观。我也无法弄清楚 boost 是如何做到这一点的，但这似乎是因为我和模板之间有一层宏。

我该怎么办？我宁愿不为每种数量的类型做巨大的模板列表，但如果这是唯一的，那就是唯一的方法......

编辑：我已经相当确定没有办法做我想做的事（几乎，但你不能有可变数量的宏参数），但问题仍然产生有用且信息丰富的答案。

Answer 1

每种类型的巨大模板列表是当前版本的 C++ 中实现此目的的唯一方法。有关如何进行的示例，请参阅 boost::tuple。

C++0X 支持可变参数模板，但这还没有得到很好的支持（我认为现代版本的 GCC 虽然有实验性支持）。

Answer 2

或者你可以递归地执行

template<typename Head, typename Tail>
struct list { };

struct emptylist { };

class foo : public watchKeys<list<A, 
                             list<B, 
                             list<C, emptylist> > > > { };

然后你可以像这样处理它

template<typename List>
struct process;

template<typename Head, typename Tail>
struct process< list<Head, Tail> > : process<Tail> { 
  // process Head
};

template<>
struct process<emptylist> { };