c++ - 参数包参数消耗

Question

可以得到参数包的第一个元素，如this

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;
}

但不可能像 this 那样得到 last 元素

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 提示:

error: 'type' in 'struct type_list_last_element<type_list<int, float, char>>' does not name a type

标准中的哪些段落描述了这种行为？

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

编辑:

澄清一下:我不是在问如何从参数包中提取最后一个元素，我知道该怎么做。我真正想要的是从后面而不是前面挑选包装，因此对于每个元素一直递归到后面是无效的。显然，事先把顺序倒过来才是最明智的选择。

Answer 1

相关条款是 14.5.5:8 末尾的项目符号:

14.5.5 Class template partial specializations [temp.class.spec]

8 - Within the argument list of a class template partial specialization, the following restrictions apply:[...]

• An argument shall not contain an unexpanded parameter pack. If an argument is a pack expansion (14.5.3), it shall be the last argument in the template argument list.