参数包参数消耗

Question

可以获得参数包的第一个元素，如这

template <typename... Elements>
struct type_list
{
};

template <typename TypeList>
struct type_list_first_element
{
};

template <typename FirstElement, typename... OtherElements>
struct type_list_first_element<type_list<FirstElement, OtherElements...>>
{
    typedef FirstElement type;
};

int main()
{
   typedef type_list<int, float, char> list;
   typedef type_list_first_element<list>::type element;
   return 0;
}

但不可能获得类似于这的最后一个元素

template <typename... Elements>
struct type_list
{
};

template <typename TypeList>
struct type_list_last_element
{
};

template <typename LastElement, typename... OtherElements>
struct type_list_last_element<type_list<OtherElements..., LastElement>>
{
    typedef LastElement type;
};

int main()
{
   typedef type_list<int, float, char> list;
   typedef type_list_last_element<list>::type element;
   return 0;
}

gcc 4.7.1抱怨：

错误：'struct type_list_last_element>‘中的' type’没有命名类型

标准中的哪些芦笋描述了这种行为？

在我看来，模板参数包在某种意义上是贪婪的，因为它们消耗了所有匹配的参数，在本例中，这意味着OtherElements消耗了所有三个参数(int、float和char)，然后LastElement就什么都没有了，所以编译失败了。我的假设正确吗？

编辑：

为了澄清:我不是问如何从参数包中提取最后一个元素，我知道如何这样做。我真正想要的是把包从后面拿出来，而不是前面，这样的话，每个元素都会一直循环到后面，这将是无效的。最明智的选择显然是提前逆转顺序。

Answer 1

相关条款是14.5.5:8结尾的项目：

14.5.5类模板部分专门化temp.class.spec 8.在类模板部分专门化的参数列表中，适用以下限制：

• 参数不应包含未展开的参数包。如果参数是pack展开(14.5.3)，则它将是模板参数列表中的最后一个参数。

Answer 2

观察：

1. 如果只有<first,...>不是空的，那么<...>的最后一个元素与<...>的最后一个元素是相同的。
2. 一个元素列表<elem>的最后一个元素是elem

因此，您必须使用尾模板递归地执行此操作：

递归：

template <typename TypeList>
struct type_list_last_element;

template <typename FirstElement, typename... OtherElements>
struct type_list_last_element<type_list<FirstElement, OtherElements...>>
{
    typedef typename type_list_last_element<type_list<OtherElements...>>::type type;
};

尾巴：

template <typename LastElement>
struct type_list_last_element<type_list<LastElement>>
{
    typedef LastElement type;
};

更新和用法：

int main()
{
   typedef type_list<int, float, char> list;
   typedef type_list_last_element<list>::type last;
   return 0;
}

端更新

请参阅意为