c++ - 可变参数模板将参数解包到类型名

Question

我想解压 func 中的参数包(见 A 行)，但它不起作用。如何在 func< > 中解压或仅修改 A 行？

#include <iostream>
using namespace std;

void func()
{
   cerr << "EMPTY" << endl;
}

template <class A, class ...B> void func()
{
   cerr << "A: "  << endl;
   func<B... >(); // line A
}


int main(void)
{
   func<int,int>();
   return 0;
}

预期输出:

A:
A:

编辑:所有的答案都很好。非常感谢

Answer 1

有时一次解压所有东西比递归解压更容易。如果你只是想要一个参数包 for_each，你可以使用 the braced-init-list expansion trick 的变体。 ( Live demo at Coliru ):

template <class A>
void process_one_type() {
    cerr << typeid(A).name() << ' ';
}

template <class ...B> void func()
{
    int _[] = {0, (process_one_type<B>(), 0)...};
    (void)_;
    cerr << '\n';
}