可變參數模板參數包擴大函數調用

Question

我要尋找類似的東西：

template< typename T> 
void func(T t) 
{ 
} 

template< typename... Parms> 
void anyFunc(Parms... p) 
{ 
    func<Parms>(p)... ; //error 
    func(p)... ;   //error 
} 

如果參數組擴展另一個函數內部完成調用它的工作原理：

template< typename T> 
int some(T t) 
{} 

template< typename... Parms> 
void func(Parms ...p) 
{} 

template< typename... Parms> 
void somemore(Parms... p) 
{ 
    func(some(p)...); 
} 

int main() 
{ 
somemore(1,2,3,4,10,8,7, "Hallo"); 
} 

的參數包擴展也適用於基類初始值設定項列表。

是否有任何解決方案，也將工作的功能，將返回'空白'。上面的解決方法不會，而在參數列表中使用函數調用返回void無法工作。

任何想法？

Answer 1

不幸的是，正如你注意到的那樣，擴展參數包只在解析器期望逗號分隔的條目列表的某些上下文中有效 - 逗號僅僅是語法分隔符而不是逗號操作符的上下文。這可以說是當前文本中的一個缺陷。

醜陋的解決方法：

func((some(p), 0)...); 

請注意，函數參數的計算順序，從而some調用的順序，是不確定的，所以你必須要小心任何副作用。

Answer 2

怎麼樣一個小的輔助類：

template <typename Func, typename A, typename ...Args> struct Caller 
{ 
    static void call(Func & f, A && a, Args && ...args) 
    { 
    f(std::forward<A>(a)); 
    Caller<Func, Args...>::call(f, args...); 
    } 
}; 

template <typename Func, typename A> struct Caller<Func, A> 
{ 
    static void call(Func & f, A && a) 
    { 
    f(std::forward<A>(a)); 
    } 
}; 

template <typename Func, typename ...Args> 
void Call(Func & f, Args && ...args) 
{ 
    Caller<Func, Args...>::call(f, std::forward<Args>(args)...); 
} 

然後你就可以把你的客戶端代碼如下：

void foo(A); 
Call(foo, a1, a2, a3);