Variadic templates for saving typing

[Kaba]

Hmm.. Should this compile in C++11 (the compiler at Ideone does not)?

template <typename A, typename B>
class C {};

template <typename... TypeSet>
void f(const C<TypeSet...>& c) {}

int main()
{
C<int, int> c;
f(c);
return 0;
}

The idea is to save typing in case I'm not interested in the actual
template-arguments of C.

 

[Melzzzzz]

Hmm.. Should this compile in C++11 (the compiler at Ideone does not)?

template <typename A, typename B>
class C {};

template <typename... TypeSet>
void f(const C<TypeSet...>& c) {}

int main()
{
C<int, int> c;
f(c);
return 0;
}

The idea is to save typing in case I'm not interested in the actual
template-arguments of C.

This works:
template <typename A, typename B>
class C {};

template <template <class...> class C,typename... TypeSet>
void f(const C<TypeSet...>& c) {}

int main()
{
C<int, int> c;
f(c);
return 0;
}

 

[Kaba]

12.8.2012 18:48, Melzzzzz kirjoitti:

This works:
template <typename A, typename B>
class C {};

template <template <class...> class C,typename... TypeSet>
void f(const C<TypeSet...>& c) {}

int main()
{
C<int, int> c;
f(c);
return 0;
}

True, but it matches more than it should