fork download

copy

#include<iostream>
#include<type_traits>
 
template <typename ...Ts>
struct types;
 
template <typename T, typename ...Ts>
struct types < T, Ts... > : public types<Ts...>
{
    template <typename F>
    struct find : public types<Ts...>::template find<F>
	{
	};
 
	template <>
	struct find < T > : public std::true_type
	{
		typedef T type;
	};
};
 
template <>
struct types < >
{
	template <typename F>
	struct find : public std::false_type
	{};
};
 
int main()
{
    using namespace std;
    cout << types<int, char>::find<int>::value << endl;
    cout << types<int, char>::find<float>::value << endl;
}
 

prog.cpp:15:12: error: explicit specialization in non-namespace scope 'struct types<T, Ts ...>'
  template <>
            ^
prog.cpp:16:9: error: template parameters not deducible in partial specialization:
  struct find < T > : public std::true_type
         ^
prog.cpp:16:9: note:         'Ts'

Standard output is empty