Funkcje jako argumenty o zmiennej liczbie argumentów szablonów

Question

Załóżmy, że mamy klasa

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

Zajmuje funkcję jako szablon argumentu.

Teraz chcę utworzyć szablon variadic, który przyjmuje funkcje jako parametry szablonu.

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

Jak zrobić to poprawnie?

Answer 1

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

Answer 2

Można zrobić

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

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

indziej, jeśli nie chcesz używać typedef

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

Uwaga: druga wersja nie może być anonimowy (Fs jest wymagane) jako ISO C++ 11 wymaga, aby deklaracja opakowania w nawiasach miała nazwę.

Answer 3

Po prostu użyj F jako argumentu szablonu. Umożliwia to nie tylko użycie funkcji jako parametru, ale także innych typów implementujących operator nawiasów. Klasy te nazywane są funktorów.

Answer 4

Składnia wskaźnika funkcji funkcji jest denerwująca. Więc koduj go:

template<class T> using type=T; 

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