C++笔记：面向对象编程（Handle类）
句柄类
句柄类的出现是为了解决用户使用指针时须要控制指针的载入和释放的问题。
用指针訪问对象非常easy出现悬垂指针或者内存泄漏的问题。
为了解决这些问题，有很多方法能够使用，句柄类就是当中之中的一个。
句柄类是一种包装类。用于存储和管理基类的对象指针，减轻用户使用对象的负担。
句柄类使用指针运行操作，虚成员因为既能够指向基类型又能够指向派生类型，所以其行为将在运行时依据句柄实际绑定的对象而变化。
句柄类的设计有两个重要的考虑因素：
- 必须确定复制控制
- 是否屏蔽继承层次（不屏蔽用户须要了解基类对象的使用）
指针型句柄
- 指针型句柄能够像指针一样，将句柄类handler绑定到base类型对象上，并使用*和->运行base类型对象的操作，用户则不必管理handler的指向。指针型句柄将暴露全部的继承层次。
- 句柄类须要三个构造函数：默认构造函数、复制构造函数和使用base类型对象的构造函数。句柄类将保证当句柄对象存在时，base类型对象副本就存在。且使用句柄对象给句柄对象赋值时，将复制指针。而不是对象。除定义三个构造函数外，句柄类还应该定义解引用操作符和箭头操作符，这样能够达到将句柄类绑定到base类型对象上的目的。
- 句柄类相同使用计数来管理副本。句柄类中使用计数指针成员能够使多个句柄类对象能够共享同一计数器。
指针型句柄样例
class Sales_item { //Sales_item 为handle类
public:
Sales_item():p(0), use(new size_t(1)) {}
Sales_item(const Item_base& item): p(item.clone()), use(new size_t(1)) {}
Sales_item(const Sales_item& item):p(item.p), use(item.use) { ++*use; }
~Sales_item() { decr_use(); }
Sales_item& operator=(const Sales_item&);
const Item_base* operator->() const;
const Item_base& operator*() const;
private:
void decr_use();
private:
Item_base *p;
size_t *use;
};
Sales_item& Sales_item::operator=(const Sales_item& rhs)
{
++*rhs.use;
decr_use();
p = rhs.p;
use = rhs.use;
return *this;
}
const Item_base* Sales_item::operator->() const
{
if(p)
return p;
else
throw logic_error("unbound Sales_item");
}
const Item_base& Sales_item::operator*() const
{
if(p)
return *p;
else
throw logic_error("unbound Sales_item");
}
void Sales_item::decr_use()
{
if( --*use == 0 )
{
delete p;
delete use;
}
}
这个句柄类中要求Item_base类中有一个虚函数clone，这个虚函数的用途是解决基类型对象或者派生类型对象的复制，这样能够不用为句柄类针对每一种派生类型对象建立构造函数。
class Item_base{
public:
virtual Item_base* clone() const { return new Item_base(*this); }
};
以上代码就可以将Item_base类的指针包装起来。通过对Handler类对象的*和->操作。就可以直接訪问到所包装的Item_base类型对象。
值型句柄
- 部分时刻用户代码不能直接使用句柄定义的继承层次，用户代码必须通过句柄操作Base类型对象。像一个代理对象（Proximity）一样，句柄类提供众多的对Base类型操作的成员函数及操作符。
- 值型句柄因为经常直接參加运算符与函数操作。而这些运算符和函数中经常会訪问到句柄类中的保护部分（protected和private），所以须要在句柄类中将这些运算符与函数都加为友元。使句柄类对自己定义的运算符和函数开放。
- 句柄类中相同保持指向基类对象和计数器的两个指针。指针销毁条件和句柄构造函数都与指针型句柄相同。但不同的是。值型句柄不定义*和->两个操作符。基类对象指针全然封闭在句柄类中。
- 推荐值型句柄通过其派生类和基类派生类来完毕各种值型操作，保持面向对象的设计风格。
值型句柄样例
class Query {
friend Query operator~ (const Query&);
friend Query operator| (const Query&, const Query&);
friend Query operator& (const Query&, const Query&);
private:
Query(Query_base *query): q(query), use(new size_t(1)) { }
public:
Query(const string& s): q(new WordQuery(s)), use(new size_t(1)) { }
Query(const Query &c): q(c.q), use(c.use) { ++*use; }
Query& operator= (const Query&);
~Query(){ decr_use(); }
set<line_no> eval(const TextQuery &t) const
{
return q->eval(t);
}
private:
void decr_use();
private:
Query_base *q;
size_t *use;
};
void Query::decr_use()
{
if ( --*use == 0 )
{
delete q;
delete use;
}
}
Query& Query::operator=(const Query& rhs)
{
++*rhs.use;
decr_use();
q = rhs.q;
use = rhs.use;
return *this;
}值型句柄不定义*和->两个操作符。基类对象指针全然封闭在句柄类中。
參考：
