Получаете тип для создания шаблона?

Question

У меня следующая ситуация:

У меня есть объект типа MyClass, у которого есть метод для приведения себя к базовому классу. Класс включает в себя typedef для своего базового класса и метод для выполнения upcast.

template <class T, class B>
class BaseClass;

template <class T>
class NoAccess;

template <class T>
class MyClass : public BaseClass<T, NoAccess<T> >
{
  private:
    typedef BaseClass<T, NoAccess<T> > base;

  public:
    base &to_base();
};

Мне нужно передать результат вызова base функтору Operator:

template <class Y>
class Operator
{
   Operator(Y &x);
};

Operator<???> op(myobject.to_base());

Есть ли простой способ заполнить ??? при условии, что я не хочу использовать NoAccess?

Answer 1

Вы можете определить заводскую функцию для использования вывода типа:

template< class Y >
Operator<Y> create_operator( Y &y ) {
    return Operator<Y>( y );
}

Answer 2

Я вижу три возможности:

1. make MyClass<T,B>::base a public идентификатор

2. измените ваш оператор и сделайте конструктор шаблоном, используя стирание типа (может быть сложно):
   class Operator { template<class Y> Operator(Y &x); }

3. переместить код, создающий объект Operator, в собственный шаблон функции:
   template<typename T> Operator<T> createOperator(const T& base)
{return Operator<T>(base);}

Answer 3

Вы можете сделать typedef общедоступным:

Operator<MyClass<type>::base> op(myobject.to_base());