遍历模板参数包，没有争论的专业化的作用是什么?

我有以下一段代码：

template<typename... Types>
struct TupleSize;
template<typename Head, typename... Tail>
struct TupleSize<Head, Tail...>
{
static const size_t value = sizeof(Head) + TupleSize<Tail...>::value;
};
template<> struct TupleSize<>
{
static const size_t value = 0;
};

int main()
{
//consuming_templates();
//template_functions();
//variadic();
TupleSize<>::value;
TupleSize<int, double, char>::value;
getchar();
return 0;
}

我不明白以下角色是什么：

template<typename... Types>
struct TupleSize;

实际使用的地方，因为我知道TupleSize<>：：value;返回0和另一段代码：

template<typename Head, typename... Tail>
struct TupleSize<Head, Tail...>
{
static const size_t value = sizeof(Head) + TupleSize<Tail...>::value;
};

用于拆分参数包并递归计算值。

这只是一个声明，如果是，为什么，如果不是在哪里使用。我能想象到的唯一情况是当递归达到其最终值时，即成为 TupleSize。但是我不明白模板结构类型怎么会这样存在，不应该是：

template<typename... Types>
struct TupleSize<typename... Types>;