如何在给定 std::variant 的情况下检索模板参数包？

Question

示例代码

template<typename T = std::variant<int,double,float>>
void f()
{
}

是否有可能以某种方式检索 std::variant 参数包作为可变参数模板参数（或其他方式）？ 我需要获取可以运行折叠表达式的类型列表，因此对于上面的示例，我需要像 typename... Args 和 int,double,float 这样的东西，我可以运行折叠表达式，给定一个变体（这部分是必不可少的）。 此外，我真的只需要包含类型的类型，而不是这些类型的具体对象。

Answer 1

如果你有这样的功能：

template<class... Vs>
void foo( std::variant<Vs...> const& );

您可以将declval<T>() 传递给它以访问模板参数：

template<typename T = std::variant<int,double,float>>
void f() {
  using U = decltype(foo(std::declval<T&>()));
}

然后你可以用Vs...做任何你想做的事情。

更新：现在我有了更多信息，这里是我的最新示例：

template<class T = std::variant<int,double,float>>
void f() {
  print_alternative_types(T{});
}

template<class... Vs>
void print_alternative_types( std::variant<Vs...> const& ) {
  (..., (std::cout << typeid(Vs).name() << '\n'));
}