Dla każdego szablonu wpisz argument typu zbioru

Question

Powiedz, że mam klasę szablonu variadic. Jak utworzyć funkcję taką, że jej argumenty są typu ustawionego, na przykład int, z liczbą argumentów równą liczbie typów szablonów?

template <typename... Types> 
class Test 
{ 
public: 
    void Func(???); // I don't know how to declare such a function 
} 

Test<string, bool, long> myTest; // Three types 
myTest.Func(905, 36, 123315); // Three arguments, but always of type int. 

Ostatecznie celem tej funkcji jest zwrócenie krotki podanych int. Dla uproszczenia pokazałem, że funkcja jest nieważna w przykładowym kodzie.

Answer 1

template <typename... Types> 
class Test 
{ 
    template <typename> 
    using int_t = int; 

public:  
    void Func(int_t<Types>... ints) 
    { 
    } 
}; 

DEMO

Answer 2

wandbox example - (działa z C++ 11)

---

Jeśli nie wymagają SFINAE, można użyć static_assert aby upewnić spełnione są twoje warunki:

template <typename... Types> 
class Test 
{ 
public: 
    template <typename... Ts> 
    void Func(Ts...) 
    { 
     static_assert(sizeof...(Ts) == sizeof...(Types), ""); 
     static_assert(std::conjunction<std::is_same<Ts, int>...>{}, ""); 
    } 
}; 

(Jeśli potrzebujesz SFINAE, użyj std::enable_if.)

std::conjunction sprawdza, czy wszystkie warunki przekazane do niego są prawdziwe.

---

Z powyższego przykładu, następujące połączenia są prawidłowe/nieprawidłowe:

myTest.Func(905, 36, 123315); // valid 
myTest.Func(905, 36, 123315.f); // invalid 
myTest.Func(905, 22); // invalid 

Jak widać, konwersje niejawne nie są akceptowane z tego rozwiązania. Możesz użyć std::is_convertible zamiast std::is_same, jeśli chcesz, aby były dozwolone.