Tour

Action speaks louder than words ...

  博客园  :: 首页  :: 新随笔  :: 联系 :: 订阅 订阅  :: 管理

  当我们希望使用容器来保存继承体系中的对象时,容器用于继承体系中的类型会有影响:派生类对象复制到基类对象时,派生类对象将被切掉。那么解决这一问题的方法通常是使用容器保存基类对象的指针,这些指针实际指向的是程序运行时动态分配的派生类对象,用户必须保证在容器析构前调用delete来释放动态分配的对象,如下例:

 1 class Base
 2 {
 3 public:
 4     virtual void action() = 0;
 5 };
 6 class Derived1 : public Base
 7 {...};
 8 class Derived2 : public Base
 9 {...};
10 class Derived3 : public Base
11 {...};
12 
13 void fun()
14 {
15     vector<Base*> v;
16 
17     v.push_back(new Derived1);
18     v.push_back(new Derived2);
19     v.push_back(new Derived3);
20 
21     for(int i=0; i!=v.size(); i++)
22         v[i]->action();
23         
24     for(int i=0; i!=v.size(); i++)
25         delete v[i];
26     
27     return;
28 }

  我们可以使容器保存之前定义的Handle类对象,Handle类对象管理继承层次中的对象指针,对其生命周期进行控制,而不用再结束时手动释放动态分配的内存。

1 vector<Handle<Base> > vh;
2 vh.push_back(new Derived1);
3 vh.push_back(new Derived2);
4 vh.push_back(new Derived3);
5 
6 for(int i=0; i!=vh.size(); i++)
7     vh[i]->action();

  在《C++ Primer》中,容器类保存句柄类,句柄类封装之前定义的Handle类对象,并通过Handle类对象对指针进行管理与计数,控制复制、赋值以及指针的释放。以<<C++Primer>>中的继承层次为例:

 1 class Item_Base
 2 {
 3 public:
 4     //...constructor...
 5     virtual Item_Base* clone()const {return new Item_Base(*this)}
 6 
 7     virtual double net_price(size_t) const;
 8     virtual ~Item_Base(){}
 9 private:
10     string isbn;
11 protected:
12     double price;
13 };
14 
15 class Bulk_item : public Item_Base
16 {
17 public:
18     //...constructor...
19     virtual Bulk_item* clone()const {return new Bulk_item(*this)}
20 
21     double net_price(size_t) const;
22 private:
23     size_t min_qty;
24     double discount;
25 };
26 
27 class Disc_item : public Item_Base
28 {
29 public:
30     //...constructor...
31     virtual Disc_item* clone()const {return new Disc_item(*this)}
32 
33     double net_price(size_t)const;
34 private:
35     size_t quantity;
36 };

  clone虚函数进行复制,对于派生类的返回类型必须与基类实例的返回类型完全匹配的要求,有一个例外:如果虚函数的基类实例返回类类型的引用或指针,则该虚函数的派生类实例可以返回基类实例返回的类型的派生类(或者是类类型的指针或引用)。有了clone函数的定义,对于句柄类的构造函数就很简单了:

 1 class Sales_item
 2 {
 3 public:
 4     Sales_item():h(){}
 5     Sales_item(const Item_Base &item):h(item.clone()) {}
 6     const Item_Base & operator*() const{return *h}
 7     const Item_Base * operator->() const {return h.operator->}
 8 private:
 9     Handle<Item_Base> h;
10 };

  这种方式进行处理时,客户代码段甚至不需要进行new操作,所有的分配和释放都在Sales_item内部完成。

1 vector<Sales_item> vItem;
2 vItem.push_back(Disc_Item());
3 vItem.push_back(Bulk_item());

 

posted on 2014-12-12 08:49  Tourun  阅读(319)  评论(0编辑  收藏  举报