Можно ли преобразовать типы в пакете параметров?

Question

Можно ли преобразовать типы пакета параметров и передать его?

например. учитывая следующее:

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, ":(");

Answer 1

Да, мы можем сделать это

template<template<typename...> class List, 
         template<typename> class Mod, 
         typename ...Args>
struct magic {
    typedef List<typename Mod<Args>::type...> type;
};