C++ 中的类型数是多少？模板变体有限？

Question

我试图了解变体是如何实现的，并阅读：

http://www. codeproject.com/KB/cpp/TTLTyplist.aspx

我的印象是我无法编写采用 X 类型的变体；但是模板编写者选择了一些 N，而我在变体中只能拥有少于 N 的类型。

这是正确的吗？

谢谢！

Answer 1

在 C++03 中，没有可变参数模板。这意味着是；你只需要选择一些 N 去完成，然后接受它。

在 C++0x 中，将有可变参数模板，因此您可以对所有 X 使用一个定义。

如果您希望轻松更改数字，可以使用 Boost.Preprocessor 并让它为您完成工作：

#define MAXIMUM_TYPELIST_SIZE 20 // or something

struct empty{};

template <BOOST_PP_ENUM_BINARY_PARAMS(MAXIMUM_TYPELIST_SIZE, typename T, =empty)>
struct typelist;

template <BOOST_PP_ENUM_PARAMS(MAXIMUM_TYPELIST_SIZE, typename T)>
struct typelist
{
    typedef T1 head;
    typedef typelist<
            BOOST_PP_ENUM_PARAMS(BOOST_PP_DEC(MAXIMUM_TYPELIST_SIZE), T)> tail;
    enum
    {
        length = tail::length+1
    };
};

如果MAXIMUM_TYPELIST_SIZE如果是 5，这些宏将扩展到文章中的内容。

（当然，如果您使用Boost，只需使用他们的 元编程库。）

Answer 2

是的——库的实现设置了一些限制。 IIRC，在 Loki 中默认最大值为 99。看了那篇文章，他将限制设置为 5，这可能足以完成大量工作，但我可以看到超过它的可能性；我无法想象超过 Loki 允许的 99 个（尽管在任何一种情况下，如果您愿意的话，扩展限制都是一项微不足道的编辑工作）。

Answer 3

如果没有可变参数模板支持，模板作者只能提供看起来像可变参数模板的解决方法：

template<class Arg1=nil, class Arg2=nil /* , ... */>
struct foo {};

这里作者提供的模板参数数量是限制。

如果他们不提供这样的解决方法，您将被迫诉诸显式类型列表，相比之下，这相当笨拙：

typedef list<T1, list<T2, list<T3, nil> > > myTypeList;
foo<myTypeList>::bar;

这些不限于固定数量的类型，但不是我想显式使用的东西。

在下一个 C++ 标准中，这个问题将通过真正的可变参数模板来解决：

template<class... Args> // can take 0..n arguments 
struct foo {};

Answer 4

在现行标准下这是正确的；模板只能有固定数量的参数，库使用预处理器元编程等技术来模拟可变参数模板参数，直至达到某个设定的最大值。通常这在实践中不是什么大问题，因为最大值设置为远高于大多数人使用的值。

在新的 0x 标准中，支持真正的可变参数模板参数。