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();
};
Върнатите типове не са ковариантни (нито, следователно, са законни), но биха били, ако вместо това използвах необработени указатели. Какъв е общоприетият идиом за заобикаляне на това, ако има такъв?
Мисля, че решението е фундаментално невъзможно, защото ковариацията зависи от аритметиката на указателя, която е несъвместима с интелигентните указатели.
Когато Y::foo връща shared_ptr<B> на динамичен повикващ, той трябва да бъде прехвърлен към shared_ptr<A> преди употреба. Във вашия случай B* може (вероятно) просто да бъде преинтерпретирано като A*, но за множествено наследяване ще ви трябва малко магия, за да кажете на C++ за static_cast<A*>(shared_ptr<B>::get()).
shared_ptr.
- person Potatoswatter; 16.08.2012
shared_ptr Не разбирам: shared_ptr не могат ли да се конвертират?
- person curiousguy; 28.05.2013
Не директно, но можете да го фалшифицирате, като направите действителните виртуални функции недостъпни извън класа и обвиете извикването на виртуална функция в невиртуална функция. Недостатъкът е, че ще трябва да запомните да приложите тази функция за обвиване на всеки производен клас. Но можете да заобиколите това, като поставите както декларацията на 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;
}
Просто връщам гол указател и го увивам веднага в споделения указател.
