C++ Primer 学习笔记_71_面向对象编程 --句柄类与继承面向对象编程

引言：

C++中面向对象编程的一个颇具讽刺意味的地方是：不能使用对象支持面向对象编程，相反，必须使用指针或引用。

通过pointer和reference进行的调用在运行时根据它们所绑定对象的动态类型而确定。但是使用指针或引用会加重类用户的负担，像上一节的习题15.29：需要用户显式释放动态申请的内存。

C++解决该问题的一个通用的技术是定义包装类或句柄类。句柄类存储和管理基类指针，指针所指向对象的类型可以变化，它既可以指向基类类型对象又可以指向派生类型对象。用户通过句柄类访问继承层次的操作。因为句柄类使用指针执行操作,虚成员的行为将在运行时根据句柄实际绑定的对象的类型而变化。因此,句柄的用户可以获得动态行为但无须操心指针的管理。

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

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

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

一、指针型句柄

我们将定义一个名为Sales_item的指针型句柄类，表示Item_base层次。Sales_item的用户将像一个指针一样使用它：用户将Sales_item绑定到Item_base类型的对象并使用*和->操作符进行Item_base的操作：

但是，用户不必管理句柄指向的对象，Sales_item类将完成这部分工作。当用户通过Sales_item类对象调用函数时，将获得多态行为。

1、定义句柄

Sales_item类有三个构造函数：默认构造函数、复制构造函数和接受Item_base对象的构造函数。第三个构造函数将复制 Item_base 对象,并保证: 只要 Sales_item 对象存在副本就存在。当复制 Sales_item 对象或给 Sales_item 对象赋值时,将复制指针而不是复制对象。像对其他指针型句柄类一样,将用使用计数来管理副本。 

迄今为止,我们已经使用过的使用计数式类,都使用一个伙伴类来存储指针 和相关的使用计数。这个例子将使用不同的设计,如图所示。

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

除了管理使用计数之外，Sales_item类还定义解引用操作符和箭头操作符：

2、使用计数式复制控制

复制Sales_item对象包括复制两个指针和将使用计数加1。析构函数将使用计数减1,如果计数减至0就撤销指针。因为赋值操作符需要完成同样的工作,所以在一个名为decr_use的私有实用函数中实现析构函数的行为。

赋值操作符：

除了复制控制成员以外,Sales_item定义的其他函数是操作函数operator*和operator->,用户将通过这些操作符访问Item_base成员。因为这两个操作符分别返回指针和引用,所以通过这些操作符调用的函数将进行动态绑定。

我们只定义了这些操作符的const版本,因为基础Item_base层次中的成员都是 const成员。

3、构造函数

出了复制构造函数，我们的句柄有两个构造函数：

1）将Item_base指针设置为0以指出该句柄并未关联任何对象。构造函数在自由存储区申请一个新的计数器并将它初始化为1。

2）我们希望句柄的用户创建自己的对象，并在这些对象上关联句柄。构造函数将分配适当类型的新对象并将形参复制到新分配的对象中，这样,Sales_item类将拥有对象并能够保证在关联到该对象的最后一个Sales_item对象消失之前不会删除对象。

二、复制未知类型

要实现接受Item_base对象的构造函数,必须首先解决一个问题:我们不知道给予构造函数的对象的实际类型。我们不知道它是一个Item_base对象或者是一个Item_base派生类型的对象。句柄类经常需要在不知道对象的确切类型时分配书籍的新副本。

【提示】

解决该问题的通用方法是定义虚操作进行复制，我们将该操作命名为clone。

为了支持句柄类，需要从基类开始，在继承层次的每个类型中增加clone，基类必须将该函数定义为虚函数：

每个类必须重定义该虚函数。因为函数的存在是为了生成类对象的新副本，所以定义返回类型为类本身：

定义句柄构造函数

它调用形参的clone产生那个对象的（虚）副本：如果实参是Item_base对象，则运行Item_base的clone函数；如果实参是Bulk_item对象，则执行Bulk_item的clone函数。