c++ - 从另一个模板引用可变模板参数包

Question

我有一个定义类型集合的可变参数模板类

template <typename ... Types> class TypePack { };

多次实例化

typedef TypePack<T1, T2, T3> Pack1;
typedef TypePack<T1, T2, T4> Pack2;

我想从其他模板中引用TypePack参数

template <typename Pack> Client {
    static constexpr std::array<Foo, sizeof...(Pack::Types)> foos {
        make_foo<Pack::Types>()... 
    };
};
typedef Client<Pack1> Client1;
typedef Client<Pack2> Client2;

上面的代码显然是错误的，无法编译。它只是说明我想要实现的目标。

我可以通过宏定义 Pack1 和 Pack2，但我感觉应该可以在 C++14 中使用可变参数模板来实现

Answer 1

您正在寻找的是部分特化:

template <typename Pack> struct Client;

template <class... Ts>
struct Client<TypePack<Ts...>>
{
    static constexpr std::array<Foo, sizeof...(Ts)> foos {{ 
        make_foo<Ts>()...
    }};
};

// don't forget the definition
template <class... Ts>
constexpr std::array<Foo, sizeof...(Ts)> Client<TypePack<Ts...>>::foos;