在 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 支持variadic templates，但还没有得到很好的支持（我认为现代版本的 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> { };