c++ - 与可变参数模板一起使用

Question

我知道下面的代码可以编译:

template<class Type>
class Foo
{
    using type = Type;
};

现在，我正在尝试编译以下代码:

template<class Type, class... OtherTypes>
class Foo
{
    using type = Type;
    // using types = OtherTypes;
    // using... types = OtherTypes;
    // using types... = OtherTypes;
    // using types = OtherTypes...;
    // using types... = OtherTypes...;
};

我尝试了注释中代码的所有选项，但没有一个可以编译。我该如何解决？

Answer 1

您不能将一组类型作为类中的一个类型。

你能得到的最接近的大致是:

template<class...Ts> struct types_t { constexpr types_t(){}; };
template<class...Ts> constexpr types_t<Ts...> types{};

这些是表示类型包的值和类型。

template<class Type, class... OtherTypes>
class Foo
{
  using type=Type;
  using types=types_t<OtherTypes...>;
};

然后我们可以编写使用捆绑类型并在其他地方使用它们的辅助函数。

template<template<class...>class Z, class Types>
struct apply_types;    
template<template<class...>class Z, class...Ts>
struct apply_types<Z, types_t<Ts...>> {
  using type=Z<Ts...>;
};

template<template<class...>class Z, class Types>
using apply_types_t = typename apply_types<Z,Types>::type;

现在apply_types< some_template, some_types_t >获取包中的类型并将它们传递给模板。