功能爲可變參數模板參數

Question

假設我們有一個類

template <int(*F)(int, int)> 
class A { 
    // ... 
}; 

它將一個函數作爲模板參數。

現在我想創建一個可變參數模板，它將函數作爲模板參數。

template <int(*F...)(int, int)> // this won't compile 
template <int(*F)(int, int)...> // this won't compile either 

如何正確地做到這一點？

Answer 1

template <int(*...F)(int, int)> 
class A { 
    // ... 
}; 

Answer 2

你可以做

using Function_t = int(*)(int, int); 

template <Function_t ... Fs> struct s{}; 

否則，如果你不想的typedef

template <int(*...Fs)(int, int)> struct s{}; 

注意使用：第二個版本不能匿名（Fs是必需的）爲ISO C++ 11要求帶圓括號的包裝聲明有一個名稱。

Answer 3

只需使用F作爲模板參數。 這不僅可以使用函數作爲參數，還可以使用實現括號操作符的其他類型。 這些類被稱爲函子。

Answer 4

函數指針類型的語法很煩人。因此，圍繞它的代碼：

template<class T> using type=T; 

template< type<int(int,int)>* ... Fs > 
class A { 
};