为可变参数专门化 class 模板

Question

我想为可变参数专门化一个 class 模板：

template <typename... Ts>
struct TypeList
{
};

template <typename T>
class Foo
{
};

//Is next "specialization" even possible?
template <typename... Ts>
class Foo<TypeList<Ts...>>
{
};

Foo<TypeList<int, int>> i1{}; // OK
Foo<int, int> i2{}; // NOK:  error: wrong number of template arguments (2, should be 1)

我希望 Foo 的用户可以选择提供 TypeList 或明确的类型列表。

Answer 1

您可以做什么，以允许两种语法：

template <typename ... Ts>
class Foo : Foo<TypeList<Ts...>>
{
};

// Specialization
template <typename ... Ts>
class Foo<TypeList<Ts...>>
{
// ...
};