Passant modèle en tant que paramètre non spécialisé modèle

Question

Puis-je faire quelque chose comme

template<class Key, class Data, class Compare = less<Key>, template<typename T> class Allocator<T> = allocator<T> > 
    class mymap { 
     typedef map<Key,Data,Compare,Allocator<pair<const Key, Data> > > storageMap; 
     typedef vector<Data,Allocator<Data> > storageVector; 
} 

modèle est donc passé à la classe unspecialiazed et instancié plus tard.

Answer 1

Oui, voici un exemple compilable minimal:

#include <map> 
#include <vector> 
using namespace std; 

template < 
    class Key, 
    class Data, 
    class Compare = less<Key>, 
    template <typename T> class Allocator = allocator 
> 
class mymap 
{ 
public: 
    typedef map<Key,Data,Compare,Allocator<pair<const Key, Data> > > storageMap; 
    typedef vector<Data,Allocator<Data> > storageVector; 
}; 

int main() 
{ 
    mymap<int,long>::storageMap m; 
    mymap<int,long>::storageVector v; 
    return 0; 
} 

Answer 2

Oui, il est appelé un "paramètre modèle-modèle", et la syntaxe est

template <class Key, class Data, class Compare = less<Key>, 
      template <typename T> class Allocator = allocator > 
class mymap { 
    typedef map<Key,Data,Compare,Allocator<pair<const Key, Data> > > storageMap; 
    typedef vector<Data,Allocator<Data> > storageVector; 
}