Как выполнить ковариантные типы возврата при возврате shared_ptr? - PullRequest
Новая
       21

Как выполнить ковариантные типы возврата при возврате shared_ptr?

19 голосов
/ 22 апреля 2010 
using namespace boost;

class A {};
class B : public A {};

class X {
  virtual shared_ptr<A> foo();
};

class Y : public X {
  virtual shared_ptr<B> foo();
};

Типы возвращаемых данных не ковариантны (и, следовательно, не являются законными), но они были бы, если бы вместо этого я использовал необработанные указатели.Какова общепринятая идиома, чтобы обойти это, если она есть?

Ответы [ 3 ]

11 голосов
/ 22 апреля 2010

Я думаю, что решение принципиально невозможно, потому что ковариация зависит от арифметики указателей, которая несовместима с умными указателями.

Когда Y::foo возвращает shared_ptr<B> динамическому вызывающему, его необходимо привести к shared_ptr<A> перед использованием. В вашем случае B* можно (вероятно) просто переосмыслить как A*, но для множественного наследования вам понадобится немного магии, чтобы сообщить C ++ о static_cast<A*>(shared_ptr<B>::get()).

4 голосов
/ 12 сентября 2011

Не напрямую, но вы можете подделать его, сделав виртуальные функции недоступными извне класса и превратив вызов виртуальной функции в не виртуальную функцию.Недостатком является то, что вам придется помнить о реализации этой функции-оболочки в каждом производном классе.Но вы можете обойти это, поместив в макрос и объявление функции virtul, и оболочку. 

using namespace boost; // for shared_ptr, make_shared and static_pointer_cast.

// "Fake" implementation of the clone() function.
#define CLONE(MyType) \
    shared_ptr<MyType> clone() \
    { \
        shared_ptr<Base> res = clone_impl(); \
        assert(dynamic_cast<MyType*>(res.get()) != 0); \
        return static_pointer_cast<MyType>(res); \
    }

class Base 
{
protected:
    // The actual implementation of the clone() function. 
    virtual shared_ptr<Base> clone_impl() { return make_shared<Base>(*this); }

public:
    // non-virtual shared_ptr<Base> clone();
    CLONE(Base)
};

class Derived : public Base
{
protected:
    virtual shared_ptr<Base> clone_impl() { return make_shared<Derived>(*this); }

public:
    // non-virtual shared_ptr<Derived> clone();
    CLONE(Derived)
};


int main()
{
    shared_ptr<Derived> p = make_shared<Derived>();
    shared_ptr<Derived> clone = p->clone();

    return 0;
}
0 голосов
/ 12 сентября 2011

Я просто возвращаю пустой указатель и сразу же оборачиваю его в общий указатель.

...