Частичная привязка шаблона, создайте новый шаблон как тип

Question

Есть ли способ частично привязать шаблон к типам параметров? Например, у меня есть следующий шаблон:

template<typename T, typename Q> struct generic { }; 

И у меня есть еще один шаблон, который принимает шаблонный класс в качестве параметра, ожидая, чтобы иметь возможность создавать его экземпляры с первым типом:

template<typename T, template<typename> class Impl> 
struct wrapper { 
    Impl<T> foo; 
}; 

Это может принять простой шаблон, например template<typename T> без изменений. Теперь я хочу частично связать шаблон generic, указав только Q и передавая его wrapper. Создание некоторого синтаксиса, возможно, что-то вроде этого:

template<typename T> bound = generic<T,some_type>; 

Я знаю, что может получить почти то, что я хочу с помощью наследования:

template<typename T> bound : public generic<T,some_type> { }; 

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

Answer 1

В C++ 11 вы можете использовать шаблон псевдонимами

template<class X> 
using Bind_CPP11 = generic<X, Y>; 

template<class X, template<class> class Impl> 
struct wrapper_CPP11 
{ 
    Impl<X> foo; 
}; 

В C++ 98/03, вы можете использовать простой class composition (я бы не использовать наследование здесь)

template<class X> 
struct Bind_CPP03 
{ 
    typedef generic<X, Y> type; 
}; 

template<class X, template<class> class Impl> 
struct wrapper_CPP03 
{ 
    typename Impl<X>::type foo; 
// ^^^^^^^^ to extract dependent type 
}; 

Live Example.