Шаблон как параметр шаблона

[Сtrl]

Хочется делать вроде такого:

template <class container, class character>
class MyClass{
...
container<character> object;
...
};

А затем вызывать так:

MyClass<list, int>

Но это невозможно в силу того, что container должен быть шаблоном, а передается как обычный класс. Как решать?

[Syuf]

Ответ заключен в названии вашей темы.
Шаблонные параметры шаблонов: http://easy-coding.blogspot.com/2009...g-post_13.html
В вашем случае так:

template <template <typename> Cont, typename T>
class MyClass
{
... Cont<T> obj;
};

[Сtrl]

Статья хорошая, спасибо за ссылку. Самое главное - я и сам до этого додумался, погуглив немного, но студия требовала два параметра, что и вгоняло меня в недоумение. Теперь разобрался.

[Rififi]

Сtrl

MyClass<list, int>

и чем это лучше MyClass<list<int> >
?

[pproger]

2Syuf

template <template <typename> class Cont, typename T>
class MyClass
{
... Cont<T> obj;
};

все-таки.

2Rififi
хотя бы тем, что второй аргумент можно сделать по умолчанию. да и нашему шаблону нужно имя типа знать, чтобы инстанцироваться, т.е тебе придется писать

MyClass<int, vector<int> >

а вообще правильно так:

template <
    typename T,
    template <typename ELEM, typename ALLOC = std::allocator<ELEM> >
    class Cont = std::vector>
class MyClass {
public:
    Cont<T> obj;
};

MyCLass<int> v1;
MyCLass<int, deque> v2;
MyCLass<int, list> v3;

[Syuf]

2Syuf

Код:
template <template <typename> class Cont, typename T>
class MyClass
{
... Cont<T> obj;
};все-таки.

Бывает... _

[Rififi]

pproger

хотя бы тем, что второй аргумент можно сделать по умолчанию.

по-умолчанию точно также можно сделать и обычный шаблонный тип

template <typename T, typename Container = std::vector<T> >
struct X {};

в STL именно так и сделано, кстати.

да и нашему шаблону нужно имя типа знать, чтобы инстанцироваться

тип выводится через value_type у всех std-контейнеров.

[pproger]

2Rififi

по-умолчанию точно также можно сделать и обычный шаблонный тип

template <typename T, typename Container = std::vector<T> >
struct X {};

угу, а если захочешь использовать контейнер не по умолчанию, придется писать так
X<int, list<int> > v; (привет stl-адаптерам, хотя тут понятно, что хотели оставить возможность пользователю определять аллокатор)

тип выводится через value_type и всех std-контейнеров.

да, выводится. но логичнее идти сверху вниз, т.е передать тип своему классу, дальше от него уже инстанцировать другие шаблоны. ну тут мне нечего конкретного сказать