如何创建函数模板，从而扩展不代表函数参数的参数包？

Question

我很抱歉，但是在用标题的一句话来表达此案时，我遇到了一个大问题。

问题：我有一个基于许多“属性”的类模板（不要从字面上理解这个“ property”关键字）：

template<typename ... P>
class C: public P... {}

然后，我想要单独的，免费的函数模板，该模板需要两个实例，并对每个“属性”执行一些调用：

template<typename ... P>
void foo(C<P> &c1, C<P> &c2)
{
    { doSomething<p>()... }      // for each type p in pack P
}

template<typename T>
void doSomething() {}

问题是P不代表我的函数参数集。而是参数化参数类型。所以我不知道怎么写“扩展”。这样的事情有可能吗？

Answer 1

在我看来，您只是在函数参数中缺少参数包扩展。然后还有一个小的错字（p-> P），您似乎打算使用fold-expression来为语法稍有不同的所有类型执行函数：

template<typename ... P>
void foo(C<P...> &c1, C<P...> &c2)
{
    // Parentheses and comma required to signify fold expression using the comma operator
    ( doSomething<P>(), ... ); 
}