Шаблон из шаблона специализации

Question

Есть ли способ получить шаблон от специализации шаблона? Например. std::unordered_map от переменной типа std::unordered_map<char, char>, которая будет передана в качестве параметра шаблона шаблона.

Минимальный пример:

#include <unordered_map> 

template <template <class ...> class t_map> 
class A 
{ 
public: 
    typedef t_map <int, int> map_type; 
}; 

int main(int argc, char const **argv) 
{ 
    std::unordered_map<char, char> map; 

    // decltype yields std::unordered_map<char, char> (as expected). 
    typename A<decltype(map)>::map_type map_2; 
    return 0; 
} 

Answer 1

Вот пример того, как создать новый тип, где параметр шаблона (целое) обмениваются (строка):

#include <vector> 
#include <string> 

template <typename container, typename newt> 
struct replace; 

template <typename p1, typename alloc, template<typename,typename > class containerTemplate, typename newt> 
struct replace<containerTemplate<p1,alloc>,newt> { 
public: 
    typedef containerTemplate<newt,alloc> result; 
}; 

int main() { 
replace<std::vector<int>,std::string>::result vs; 
vs.push_back("a string"); 
} 

Таким образом, вы можете пройти станд :: unordered_map в качестве шаблона параметр для вашей функции и заменить символ любым другим типом, который вы хотите. Возможно, вам придется настроить свой пример на свои нужды. Но принцип должен быть ясным.

EDIT: Более общие для контейнеров, менее общий для замены:

template <class Container> 
struct replace; 

template <template <class...> class Container, class... Ts> 
struct replace<Container<Ts...>> { 
    typedef Container<std::string> result; 
}; 

Answer 2

Я не совсем уверен, это то, что вы ищете, но не Шаблонный псевдоним декларация вписывается в ваш пример?

#include <iostream> 
#include <map> 

template <typename T> 
using mm = std::map<T, T>; 

int main() 
{ 
    mm<int> i; 
    mm<char> c; 
}