句柄类存储和管理基类指针。指针所指的对象的类型可以变化,即可以指向基类对戏那个又可以指向派生类类型对象。用户通过句柄类访问继承层次的操纵。因为句柄类使用指针执行操作,虚成员的行为将在运行时根据句柄实际绑定的对象的类型而变化。因此,句柄的用户可以获得动态行为但无需操心指针的管理。
包装了继承层次的句柄有两个重要的设计考虑因素
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)){}