句柄类存储和管理基类指针。指针所指的对象的类型可以变化,即可以指向基类对戏那个又可以指向派生类类型对象。用户通过句柄类访问继承层次的操纵。因为句柄类使用指针执行操作,虚成员的行为将在运行时根据句柄实际绑定的对象的类型而变化。因此,句柄的用户可以获得动态行为但无需操心指针的管理。

  包装了继承层次的句柄有两个重要的设计考虑因素

  1、像对任何保存指针的类一样。必须确定对复制控制做些什么。包装了继承层次的句柄通常表现的像一个只能指针或像一个值。

  2、句柄类决定句柄接口屏蔽还是不屏蔽继承层次,如果不屏蔽继承层次,用户必须了解和使用基本层次中的对象。

  我们将定义名为Sale_item的指针型句柄类,表示Item_base层次,Sales_item的用户将像使用指针一样使用它:将用户Sals_item绑定到Item_base类型的对象并使用*和—>操作符执行Item_base的操作。

  例如:Sale_item item(Bulk_item("0-102-34529",35,4,43));

  item->net_price();//item像是指针一样。

  用户可以不必管理句柄指向的对象,Sales_item类将完成这部分工作。当用户通过Sales_item类对像那个调用函数式,将获得多态行为。

  Sales_item类将有两个数据成员,都是指针,一个指针将指向Item_base对戏那个,而另一个将指向使用计数,Item_base指针可以指向Item_base 也可以指向Item_base 派生类类型的对象,通过指向使用计数,多个Sale_item对象可以共享同一个计数器。

class Sales_item
{
public:
 Sales_item():p(0),use(new size_t(1)){}
 Sales_item(const Item_base&);
 Sales_item(const Sales_item &i):p(i.p),use(i.use)
 {
 ++*use;
 }
 ~Sales_item(){dec_use();};
 Sales_item& operator=(const Sales_item&);
 const Item_base *operator->()const{if(p) return p;}
 const Item_base&  operator*()const{if(p) return *p;}
private:
 Item_base *p;
 size_t *use;
 void dec_use()
 {if(--*use==0){delete p;delete use;}}

};
 


Sales_item& Sales_item::operator=(const Sales_item& i)
{
    ++*i.use;
 dec_use();
 p=i.p;
 use=i.use;
 return *this;


}
 


  要实现Item_base对象的构造函数,必须首先解决一个问题:我们不知道给予构造函数的对象的实际类型,我们知道他是一个Item_base对象或者是它的派生类的对象,句柄类经常需要在不知道对象的确切类型是分配一直对象的新副本。解决这个问题的通用方法是定义虚操作进行赋值,我们称将该操作clone

class Item_base
{
public:
 virtual Item_base* clone()const
 {
 return new Item_base(*this);
 }
};


class Bulk_item:public Item_base
{

public:
 Bulk_item* clont()const
 {
 return new Bulk_item(*this);
 }

};
 


Sales_item::Sales_item(const Item_base &item):p(item.clone()),use(new size_t(1)){}


  像默认构造函数一样,这个构造函数分配并初始化使用计数,它调用形参的clone产生那个对象的虚副本,如果实参是Item_base对象,则运行Item_base的clone函数。如果是Bulk_item对象则执行它的clone函数。