c++的句柄(一)
句柄来源于这样的需求:想把一个继承层次的对象装在一个容器里,显然不能用基类的数组,也不能用基类的数组指针,因为用基类的数组指针无法解决容器中存在多个identical对象的情况【多个指针指向同一个对象,那么删除这个对象后指针指向何处呢?或者这些和对象关联的指针都被指向别的地方了,那么这个对象的内存就泄露了】,而且未初始化的指针是很危险的,因此要考虑封装指针,使其成为不容易出错又好用的智能指针。解决
·
句柄来源于这样的需求:想把一个继承层次的对象装在一个容器里,显然不能用基类的数组,也不能用基类的数组指针,因为用基类的数组指针无法解决容器中存在多个identical对象的情况【多个指针指向同一个对象,那么删除这个对象后指针指向何处呢?或者这些和对象关联的指针都被指向别的地方了,那么这个对象的内存就泄露了】,而且未初始化的指针是很危险的,因此要考虑封装指针,使其成为不容易出错又好用的智能指针。解决问题的办法是用surrogate或者handle。
本节介绍handle【引用和计数分离的思想】,首先有一个全局的计数类,用来统计指向同一个对象的handle的数目,复制handle对象将不会复制基础对象。
在handle对象中封装基类指针和全局计数类指针,基类指针用以指向派生类的内存单元,计数类指针用以指向全局计数类。然后令handle对象具有和要指向的对象具有相同的行为(类似DP中的adapter模式),即通过句柄来转发其指向对象的操作
Class Handle
{
Public:
Handle():p(0),use(new std::size_t(1)){}//默认的构造函数,没有绑定任何对象, 然后分配一个新的计数器并将它初始化为1
Handle(const Item_base&) //构造函数,将传入的参数(用户自己创建对象)绑定到句柄,并在这些对象上关联句柄。
Handle(const Handle&i):p(i.p),use(i.use){++*use;} //构造函数,用其他句柄来初始化
~Handle() {decr_use();}// 析构函数递减引用计数,如果计数为0就释放对象的内存。
Handle& operator=(const Handle& rhs)// 复制句柄时,rhs指向对象的引用计数增加,而this 句柄指向的对象的引用计数减少
{
++*rhs.puse; //增加rhs指向的那个对象的引用计数
decr_use(); //减少this句柄指向的哪个对象的引用计数,因为现在句柄需要指向一个新的对象,原有指向的对象的引用计数应该减一。
p=rhs.p; // this句柄指向rhs指向的那个对象,在两个对象发生分歧时再clone
puse=rhs.puse; //因为this句柄不再指向原先的对象A,因此也不能保存A对象的引用计数*puse,而要指向B对象的引用计数
return *this;
}
const Item_base* operator->() const // 转发句柄指向对象的操作handle->dosomething() 等价于ptr->dosomething()
{
if(p) return p;
else throw std::logic_error("unbound Sales_item");
}
const Item_base& operator*() const // 返回指向的对象
{
if(p) return *p;
else throw std::logic_error("unbound Sales_item");
}
private:
Item_base *p; //存储基类的指针
std::size_t *puse;// 引用计数类的指针,指向全局的计数类,size_t其实就是int,但是不同平台实现不同,因此定义此类型为了统一各个平台。
void decr_use()
{
if(--*puse==0){delete p;delete puse;}
}
};//end of class
更多推荐
已为社区贡献1条内容
所有评论(0)