For every template type an argument of a set type

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

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

DEMO


wandbox example - (works with C++11)


If you do not require SFINAE, you can use static_assert to make sure your conditions are met:

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>...>{}, "");
    }
};

(If you need SFINAE, use std::enable_if.)

std::conjunction checks that all the conditions passed to it are true.


With the above example, the following calls are valid/invalid:

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

As you can see, implicit conversions are not allowed with this solution. You could use std::is_convertible instead of std::is_same if you want them to be allowed.