Здравствуйте, enots, Вы писали:

E>Здравствуйте, night beast, Вы писали:

NB>>Здравствуйте, enots, Вы писали:

E>>>Здравствуйте, night beast, Вы писали:
NB>>>>была такая мысль
NB>>>>можно посмотреть компилируемый пример?

E>>>Он то компилится если объект не создавать

NB>>я тебя не понимаю, какой объект
NB>>см. ответ rg45, объясняющий почему не компилится.

E>что то я не увидел объяснения ... по поводу не использования struct цитата от _DAle_ из стандарта — это я понял.

объясняю

E>>>template< template<class T> class R,  class T1 = vector<T> > 
class Test {
   typedef T1 type;
};

использовать T вне class R нельзя.
потому, что

template<class T> Second {};
Test<Second> x; // какой тип имеет Test::type

то есть

template< template<class T, class S=T /*можно*/> class R,  class T1 = vector<T /*нельзя*/> >

зато ты можешь использовать R

template< template<class T> class R,  class T1 = R<int> >

>> какой объект
E>объект класса шаблона

и без объекта не должен компилироваться.