Vorlage aus Vorlagenspezialisierung

Question

Gibt es eine Möglichkeit, die Vorlage aus einer Vorlagenspezialisierung zu erhalten? Z.B. std::unordered_map von einer Variablen des Typs std::unordered_map<char, char>, die als Vorlagevorlagenparameter übergeben werden soll.

Minimal Beispiel:

#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

Hier ist ein Beispiel dafür, wie eine neue Art zu schaffen, in dem die Template-Parameter (int) (von string) ausgetauscht wird:

#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"); 
} 

So können Sie std :: unordered_map als Vorlage passieren kann Parameter für Ihre Funktion und ersetzen Sie char durch einen anderen Typ, den Sie möchten. Möglicherweise müssen Sie mein Beispiel an Ihre Bedürfnisse anpassen. Aber das Prinzip sollte klar sein.

EDIT: Weitere generic für Container, weniger generisch für Ersatz:

template <class Container> 
struct replace; 

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

Answer 2

Ich bin nicht ganz sicher, ist es das, was Sie suchen, aber nicht Alias ​​Erklärung passen in Ihrem Beispiel templatized?

#include <iostream> 
#include <map> 

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

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