Можно ли преобразовать типы в пакете параметров?
Можно ли преобразовать типы пакета параметров и передать его дальше?
Например. учитывая следующее:
template<class... Args> struct X {};
template<class T> struct make_pointer { typedef T* type; };
template<class T> struct make_pointer<T*> { typedef T* type; };
Можем ли мы определить шаблонmagic или что-то подобное, так что имеет место следующее утверждение:
typedef magic<X, make_pointer, int, char>::type A;
typedef X<int*, char*> B;
static_assert(is_same<A, B>::value, ":(");