可变长度模板参数列表？

Question

我记得看到过这样的事情：

template <ListOfTypenames>
class X : public ListOfTypenames {};

也就是说，X 继承了作为模板参数传递的类型名的可变长度列表。当然，这段代码是假设的。

不过，我找不到这方面的任何参考。是否可以？是C++0x吗？

Answer 1

你可以用当前的 C++ 来完成。您为模板提供了“足够多”的参数，并为它们提供了默认值：

class nothing1 {};
class nothing2 {};
class nothing3 {};

template <class T1 = nothing1, class T2 = nothing2, class T3 = nothing3>
class X : public T1, public T2, public T3 {};

或者您可以变得更复杂并使用递归。首先，前向声明模板：

class nothing {};

template <class T1 = nothing, class T2 = nothing, class T3 = nothing>
class X;

然后专门处理所有参数均为默认值的情况：

template <>
class X<nothing, nothing, nothing> {};

然后正确定义通用模板（之前仅前向声明）：

template <class T1, class T2, class T3>
class X : public T1, public X<T2, T3>

注意如何在基类中继承 X但你错过了第一个参数。所以它们都沿着一个地方滑动。最终它们都将成为默认值，并且专业化将启动，它不会继承任何内容，从而终止递归。

更新：只是有一种奇怪的感觉，我之前发布过类似的内容，猜猜看……

Answer 2

听起来您指的是 C++0x Variadic 模板。您还可以使用 Alexandrescu 的 TypeList 构造（来自 洛基。

我相信所讨论的可变参数模板语法如下所示。

template <typename...T>
class X : public T... {};

Answer 3

正如其他人已经回答的那样，可变参数模板是下一个标准的一部分，但可以在当前的 C++ 中进行模拟。一种方便的工具是使用 Boost.MPL 库。在代码中，您编写一个模板参数（我们将其命名为“Typelist”），模板的用户将类型列表包装在 MPL 序列中。示例：

#include "YourType.h"
#include "FooBarAndBaz.h"
#include <boost/mpl/vector.hpp>

YourType<boost::mpl::vector<Foo, Bar, Baz> > FooBarBaz;

在“YourType”的实现中，您可以使用各种元函数访问Typelist中的元素。例如，at_c 是列表的第 N 元素。另一个例子，您问题中的“X”类可以用 inherit_linearly 编写为：

//Warning: Untested
namespace bmpl = boost::mpl;
template<class Typelist>
class X : bmpl::inherit_linearly<Typelist, bmpl::inherit<bmpl::_1, bmpl::_2> >::type
{
...
};

Answer 4

可变数量的模板是下一个 C++ 标准的一部分。但是，如果您使用 GCC（从版本 4.3 开始），您可以体验一下它。以下是GCC 中可用的 C++0x 功能列表。您正在寻找可变参数模板。

顺便说一句，如果您需要有关如何实现 Earwicker 所描述的继承机制的正式参考，可以在书上找到 C++ 模板。