c++ - 如何创建函数模板，以扩展不代表函数参数的parameter-pack？

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>(), ... ); 
}

我也觉得您想将 c1和 c2传递给 doSomething(我想应该把对象当作 T&？)，否则该函数将仅取决于类型，而不取决于该类型的实际对象。