Передача неспециализированного шаблона в качестве параметра шаблона

Question

Могу ли я сделать что-то вроде

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

Итак, шаблон передается классу без специализации и создается позже.

Answer 1

Да, вот минимальный компилируемый пример:

#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

Да, это называется «параметр шаблона-шаблона», а синтаксис:

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