函數參數的C++模板包

Question

是否可以創建一個模板函數來接收函數指針的可變參數包？

template<ReturnType (*FN)(), ReturnType (*FNX...)()> 
void run() { 
    ... 
    run<FNX...>(); 
    ... 
} 

我試着放在我能想到的所有地方...，但我不能得到它來編譯。這不支持？

Answer 1

你可以使用這個語法，但它看起來很奇怪：

template<void(*... Functions)()> 
void call_all() 
{ 
    initializer_list<int>{(Functions(), 0)...}; 
} 

我別名類型，雖然：

template <typename T> 
using function_ptr = add_pointer_t<enable_if_t<is_function<T>::value,T>>; 

template<function_ptr<void()>... Functions> 
void call_all() 
{ 
    initializer_list<int>{(Functions(), 0)...}; 
} 

您還可以使用輔助類做更多先進的加工：

using fp = function_ptr<string()>; 

template<fp First, fp... Others> 
struct helper 
{ 
    static void run() 
    { 
     helper<First>::run(); 
     helper<Others...>::run(); 
    } 
}; 

template<fp One> 
struct helper<One> 
{ 
    static void run() 
    { 
     DBG(One()); 
    } 
}; 

template<fp... Functions> 
void run() 
{ 
    helper<Functions...>::run(); 
} 

live demo