Передача объекта класса шаблона в качестве параметра функции, который ожидает базовый класс шаблона

У меня есть класс шаблона, который параметризован другим классом с глубокой иерархией. Я хочу перейти к базовому классу шаблона функции, параметризованному другим базовым классом. Вот пример:

// Base template class test
#include <stdio.h>

// Base classes
template<class T>
class Method {
public:
    Method<T> (T * t) {
        this->t = t;
    }

    virtual int solve() = 0;

protected:
    T * t;
};

class Abstract {
public:
    virtual int get() = 0;
    virtual void set(int a) = 0;
};

// Concrete classes, there might be a few of them
template<class T>
class MethodImpl : public Method<T> {
public:
    MethodImpl<T> (T * t) : Method<T>(t) {}

    int solve() {
        return this->t->get() + 1;
    }
};

class Concrete : public Abstract {
public:
    int get() {
        return this->a;
    }
    void set(int a) {
        this->a = a;
    }
protected:
    int a;
};

// Uses methods of Base classes only
class User {
public:
    int do_stuff(Abstract & a, Method<Abstract> & ma) {
        a.set(2);
        return ma.solve();
    }
};

// Example usage
int main () {
    Concrete * c = new Concrete();
    MethodImpl<Concrete> * mc = new MethodImpl<Concrete>(c);

    User * u = new User();
    int result = u->do_stuff(*c, *mc);
    printf("%i", result);

    return 0;
}

Я получаю эту ошибку во время компиляции:

btc.cpp: In function 'int main()':
btc.cpp:62: error: no matching function for call to 'User::do_stuff(Concrete&, MethodImpl<Concrete>&)'
btc.cpp:50: note: candidates are: int User::do_stuff(Abstract&, Method<Abstract>&)

Однако он отлично работает, если я создаю локальные переменные с той же логикой:

int main () {
    Abstract * a = new Concrete();
    Method<Abstract> * ma = new MethodImpl<Abstract>(a);

    a->set(2);
    int result = ma->solve();
    printf("%i", result);

    return 0;
}

person Andrew    schedule 13.06.2012    source источник
comment
Ах, ковариация. Это было волшебное слово, которое я пытался придумать, та.   -  person Rook    schedule 13.06.2012
comment
Шаблон C++ не является ковариантным: Method<Concrete> не является производным классом от Method<Base>.   -  person Luc Touraille    schedule 13.06.2012


Ответы (2)


Это потому, что ваша функция do_stuff не является шаблонной, и нет простого приведения от MethodImpl<U> к MethodImpl<T>.

Что-то еще в духе

template<class T>
int do_stuff(T& t, Method<T> & mt) {
    ...
}

может помочь.

person Rook    schedule 13.06.2012
comment
Спасибо за редактирование; похоже, что мое исходное форматирование было съедено, и я не остановился, чтобы проверить! - person Rook; 13.06.2012

Типы MethodImpl<Concrete> и MethodImpl<Abstract> различны и не связаны наследованием. То же самое можно сказать о MethodImpl<Abstract> и MethodImpl<Concrete>.

Метод user::do_stuff ожидает Method<Abstract> &, поэтому он может принять MethodImpl<Abstract>& (или любой другой производный тип Method<Abstract>, но не MethodImpl<Concrete>&.

person juanchopanza    schedule 13.06.2012