如何在返回shared_ptr时实现协变返回类型？
如何在返回shared_ptr时实现协变返回类型？
提问于 2010-04-22 10:02:50
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
Stack Overflow用户
回答已采纳
发布于 2010-04-22 10:20:56
我认为解决方案基本上是不可能的，因为协方差依赖于指针算法，这与智能指针不兼容。
当Y::foo将shared_ptr<B>返回给动态调用者时，必须将其强制转换为shared_ptr<A>才能使用。在您的示例中，B*可以(可能)简单地重新解释为A*，但对于多重继承，您需要一些魔法来告诉C++有关static_cast<A*>(shared_ptr<B>::get())的信息。
Stack Overflow用户
发布于 2011-09-12 17:38:01
不是直接的，但您可以通过使实际的虚函数不能从类外部访问并将虚函数调用包装到非虚函数中来伪造它。缺点是您必须记住在每个派生类上实现此包装器函数。但是您可以通过将虚拟函数声明和包装器都放入宏来绕过此问题。
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;
}Stack Overflow用户
发布于 2011-09-12 19:01:56
我只返回一个空指针，并立即将其包装在共享指针中。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/2687790
复制相关文章
相似问题
腾讯云开发者
