标签:c smart-pointers return-type virtual-functions
在C中我们可以这样做:
struct Base
{
virtual Base* Clone() const { ... }
virtual ~Base(){}
};
struct Derived : Base
{
virtual Derived* Clone() const {...} //overrides Base::Clone
};
但是,以下内容不会做同样的伎俩:
struct Base
{
virtual shared_ptr<Base> Clone() const { ... }
virtual ~Base(){}
};
struct Derived : Base
{
virtual shared_ptr<Derived> Clone() const {...} //hides Base::Clone
};
在此示例中,Derived :: Clone隐藏Base :: Clone而不是覆盖它,因为标准表示重写成员的返回类型可能仅从引用(或指针)更改为base到引用(或指针)到派生.这有什么聪明的解决方法吗?当然有人可能会争辩说Clone函数无论如何都应该返回一个普通的指针,但是现在让我们忘记它 – 这只是一个例证.我正在寻找一种方法来启用虚拟功能的返回类型从智能指针更改为Base到指向Derived的智能指针.
提前致谢!
更新:感谢Iammilind,我的第二个例子确实无法编译
解决方法:
您无法直接执行此操作,但在非虚拟接口惯用法的帮助下,有几种方法可以模拟它.
在原始指针上使用协方差,然后将它们包装起来
struct Base
{
private:
virtual Base* doClone() const { ... }
public:
shared_ptr<Base> Clone() const { return shared_ptr<Base>(doClone()); }
virtual ~Base(){}
};
struct Derived : Base
{
private:
virtual Derived* doClone() const { ... }
public:
shared_ptr<Derived> Clone() const { return shared_ptr<Derived>(doClone()); }
};
这只适用于你实际上有一个原始指针开始.
通过铸造模拟协方差
struct Base
{
private:
virtual shared_ptr<Base> doClone() const { ... }
public:
shared_ptr<Base> Clone() const { return doClone(); }
virtual ~Base(){}
};
struct Derived : Base
{
private:
virtual shared_ptr<Base> doClone() const { ... }
public:
shared_ptr<Derived> Clone() const
{ return static_pointer_cast<Derived>(doClone()); }
};
在这里,您必须确保Derived :: doClone的所有覆盖实际上都返回指向Derived或从其派生的类的指针.
标签:c,smart-pointers,return-type,virtual-functions 来源: https://codeday.me/bug/20190919/1813234.html
本站声明: 1. iCode9 技术分享网(下文简称本站)提供的所有内容,仅供技术学习、探讨和分享; 2. 关于本站的所有留言、评论、转载及引用,纯属内容发起人的个人观点,与本站观点和立场无关; 3. 关于本站的所有言论和文字,纯属内容发起人的个人观点,与本站观点和立场无关; 4. 本站文章均是网友提供,不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属;如您发现该文章侵犯了您的权益,可联系我们第一时间进行删除; 5. 本站为非盈利性的个人网站,所有内容不会用来进行牟利,也不会利用任何形式的广告来间接获益,纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。