C++ 模板专用化和模板参数数量

c++ template specialization and number of template arguments

本文关键字：数数 参数 专用 C++      更新时间：2023-10-16

我刚刚开始学习模板，我正在经历一个实现TypeList的示例，并看到了TypeList的Length方法的实现。

template <class TList> struct Length;
template <> struct Length<NullType>
{
    enum { value = 0 };
};
template <class T, class U>
struct Length< Typelist<T, U> >
{
    enum { value = 1 + Length<U>::value };
};

我的问题是主长度模板只有 1 个参数 (TList(，但专业化有 2 个参数。这怎么可能，我在其他地方读到专业化的参数数量较少

以下专业化是每种类型的Length专业化Typelist<T, U>。这对模板参数描述了显然需要两个参数TypeList<T, U>。它不直接定义 Length 的模板参数。

template <class T, class U>
struct Length< Typelist<T, U> >
{
    enum { value = 1 + Length<U>::value };
};

对于template <class TList> struct Length;，专用化定义了TList = Typelist<T, U>以及T和U是类型。

第一个：

template <> struct Length<NullType>

是完全专业化，第二个：

template <class T, class U>
struct Length< Typelist<T, U> >

是部分专业化。

通过完全专业化，您可以给出要专业化的确切类型。通过部分专用化，您可以允许遵守某些限制的所有类型，在这种情况下，它能够创建类型：Typelist<T, U>，还必须提供两个模板类型参数。

有关更多详细信息，请参阅此处：

http://en.cppreference.com/w/cpp/language/template_specializationhttp://en.cppreference.com/w/cpp/language/partial_specialization

我的问题是主长度模板只有 1 个参数 (TList(，但专业化有 2 个参数。这怎么可能，

这就是部分专用化所允许的，模板参数列表必须不同(有关详细信息，请参阅上面的链接(，但它们必须提供与主模板期望的相同数量的类型参数(Length< Typelist<T, U> >(。

相关文章：