避免boost::shared_ptr管理的共享对象在其外被无意中删除

boost::shared_ptr(已进入C++ TR1标准)是管理共享对象的好帮手,但由于能用其get()方法获取原对象裸指针,因此存在其管理的对象被人为意外删除的危险。最近看boost相关资料时发现一些方法能避免该问题:

方案1:使用包装类

class T {
protected:
~T() {...}
public:
....
};

class TWrapper {
};

boost::shared_ptr<T> p(new TWrapper);
delete p.get(); // Oops...编译期错误

这是因为shared_ptr对象内部指向的共享引用计数对象保存的是原始指针(这里就是TWrapper*),引用计数为0时可以用该指针正常调用delete,而从get()方法获得的是shared_ptr对象缓存的指针,类型为T*,而class T的析构函数被保护了,故不能显式被delete。该方案缺点是需要引入一个新类,且当原类构造函数有多种形式时,包装类也要对应提供这些形式的构造函数,二者是紧耦合的;优点是创建对象方式同以前没有变化。

方案2:使用自定义析构函数

class T {
struct deleter {
void operator() (T *p) { delete p; }
};
friend class deleter;
protected:
T() {...}
~T() {...}
public:
static boost::shared_ptr<T> createObject()
{
return boost::shared_ptr<T>(new T(), T::deleter());
}
};

boost::shared_ptr<T> p = T::createObject();
delete p.get(); // Oops...编译期错误

该方案利用shared_ptr的自定义析构函数形式实现,将析构函子类作为私有类封装在class T内部,以避免被外部直接利用;创建对象时也不再使用标准new形式,而是封装了对应的静态工厂方法,为了避免绕过工厂方法创建对象,还要将class T的构造函数也保护起来。该方案的缺点是创建对象方法彻底改变,且工厂方法接口要同原有类构造函数的形式一致;优点是所有的机制都封装在原有类内部,不需要额外引入新类型。

从shared_ptr内部的共享引用计数对象保存原始指针这一特性可知,若创建shared_ptr对象时传入的是派生类指针,即使基类没有将析构函数定义为virtual的,共享对象被删除时也会正常调用派生类的析构函数:

class Base {
public:
~Base() { cout << "Base dtor\n"; }
};

class Derived:virtual public Base {
public:
~Derived() { cout << "Derived dtor\n"; }
};

{
boost::shared_ptr<Base> p(new Derived);
} // shared_ptr对象在此释放管理的对象,会顺序调用Derived和Base类的析构函数

Base *q=new Derived;
delete q; // 这里因为Base类的析构函数不是virtual的,因此这里只会调用Base类的析构函数
  • 0
    点赞
  • 0
    收藏
    觉得还不错? 一键收藏
  • 0
    评论
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值