local_type_hash

local_type_hash.hpp

#include<iostream>
#include<type_traits>

template<class>
struct wrap{};

template<std::size_t N, class T, class ...R>
struct A
	:A<N + 1, R...>
{
	using A<N + 1, R...>::operator();
	std::integral_constant<std::size_t, N> operator()(wrap<T>);
};
template<std::size_t N, class T>
struct A<N, T>
{
	std::integral_constant<std::size_t, N> operator()(wrap<T>);
};

template<class L, class...R>
struct Y :L
{
	using L::operator();
	template<class T>
	decltype(Y<R...>{}(T{})) operator()(T);
};
template<class L>
struct Y<L> :L
{};

int main()
{
	Y<A<0, char, int, long>, A<3, char, int*, int*>, A<6, char, int*, long>> c;
	using C = decltype(c.operator()(wrap<int*>{}));
	std::cout << C::value;
}