fork download

copy

#include <iostream>
#include <string>
 
template <std::size_t Index, typename first, typename ...remaining>
struct type_at
{
    typedef typename type_at<Index - 1, remaining...>::type type;
};
 
template <typename first, typename ...remaining>
struct type_at<0, first, remaining...>
{
	typedef first type;
};
 
template <std::size_t Index, typename first, typename ...remaining>
struct value_at
{
	static typename type_at<Index, first, remaining...>::type 
	get(first First, remaining... args)
	{
		return value_at<Index - 1, remaining...>::get(args...);
	}
};
 
template <typename first, typename ...remaining>
struct value_at<0, first, remaining...>
{
	static first get(first First, remaining...)
	{
		return First;
	}
};
 
template <std::size_t Index, typename T, typename ...Args>
typename type_at<Index, T, Args...>::type
get(T t1, Args... args)
{
	return 
		static_cast<type_at<Index, T, Args...>::type>
		(
			reinterpret_cast<void*>
			(
				value_at<Index, T, Args...>::get(t1, args...)
			)
		);
}
 
 
int main()
{
	int   * a     = new int(10);
	double* b     = new double(3.14);
	std::string c = "But I'm a string :(";
 
	std::cout<< *get<0>(a, b, &c) <<"\n";
	std::cout<< *get<1>(a, b, &c) <<"\n";
	std::cout<< *get<2>(a, b, &c) <<"\n";
}

prog.cpp: In function ‘typename type_at<Index, first, remaining>::type get(T, Args ...)’:
prog.cpp:40:15: error: expected type-specifier
   static_cast<type_at<Index, T, Args...>::type>
               ^
prog.cpp:40:15: error: expected ‘>’
prog.cpp:40:15: error: expected ‘(’
prog.cpp:46:4: error: expected ‘)’ before ‘;’ token
   );
    ^
prog.cpp: In function ‘typename type_at<Index, first, remaining>::type get(T, Args ...) [with unsigned int Index = 0u; T = int*; Args = {double*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >*}; typename type_at<Index, first, remaining>::type = int*]’:
prog.cpp:47:1: warning: control reaches end of non-void function [-Wreturn-type]
 }
 ^
prog.cpp: In function ‘typename type_at<Index, first, remaining>::type get(T, Args ...) [with unsigned int Index = 1u; T = int*; Args = {double*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >*}; typename type_at<Index, first, remaining>::type = double*]’:
prog.cpp:47:1: warning: control reaches end of non-void function [-Wreturn-type]
 }
 ^
prog.cpp: In function ‘typename type_at<Index, first, remaining>::type get(T, Args ...) [with unsigned int Index = 2u; T = int*; Args = {double*, std::basic_string<char, std::char_traits<char>, std::allocator<char> >*}; typename type_at<Index, first, remaining>::type = std::basic_string<char>*]’:
prog.cpp:47:1: warning: control reaches end of non-void function [-Wreturn-type]
 }
 ^

Standard output is empty