क्या पैरामीटर पैक में प्रकारों को बदलना संभव है?

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; 
};