¿Es posible transformar los tipos en un paquete de parámetros?
¿Es posible transformar los tipos de un paquete de parámetros y pasarlo?
P.ej. dado lo siguiente:
template<class... Args> struct X {};
template<class T> struct make_pointer { typedef T* type; };
template<class T> struct make_pointer<T*> { typedef T* type; };
¿Podemos definir una plantilla?magic
o algo similar para que se cumpla la siguiente afirmación:
typedef magic<X, make_pointer, int, char>::type A;
typedef X<int*, char*> B;
static_assert(is_same<A, B>::value, ":(");