条款41：区分继承和模板.docVIP

条款41：区分继承和模板 条款41: 区分继承和模板 考虑下面两个设计问题： · 作为一位立志献身计算机科学的学生，你想设计一个类来表示对象的堆栈。这将需要多个不同的类，因为每个堆栈中的元素必须是同类的，即，它里面包含的必须只是同种类型的对象。例如，会有一个类来表示int的堆栈，第二个类来表示string的堆栈，第三个类来表示string的堆栈的堆栈，等等。你也许对设计一个最小的类接口（参见条款18）很感兴趣，所以会将对堆栈的操作限制在：创建堆栈，销毁堆栈，将对象压入堆栈，将对象弹出堆栈，以及检查堆栈是否为空。设计中，你不会借助标准库中的类（包括stack ---- 参见条款49），因为你渴望亲手写这些代码。重用（Reuse）是一件美事，但当你的目标是探究事情的工作原理时，那就只有挖地三尺了。 · 作为一位爱猫的宠物迷，你想设计一个类来表示猫。这也将需要多个不同的类，因为每个品种的猫都会有点不同。和所有对象一样，猫可以被创建和销毁，但，正如所有猫迷所知道的，猫所做的其它事不外乎吃和睡。然而，每一种猫吃和睡都有各自惹人喜爱的方式。 这两个问题的说明听起来很相似，但却导致完全不同的两种设计。为什么？ 答案涉及到类的行为 和 类所操作的对象的类型之间的关系。对于堆栈和猫来说，要处理的都是各种不同的类型（堆栈包含类型为T的对象，猫则为品种T），但你必须问自己这样一个问题：类型T影响类的行为吗？如果T不影响行为，你可以使用模板。如果T影响行为，你就需要虚函数，从而要使用继承。 下面的代码通过定义一个链表来实现Stack类，假设堆栈的对象类型为T： class Stack { public: Stack(); ~Stack(); void push(const T object); T pop(); bool empty() const; // 堆栈为空? private: struct StackNode { // 链表节点 T data; // 此节点数据 StackNode *next; // 链表中下一节点 // StackNode构造函数，初始化两个域 StackNode(const T newData, StackNode *nextNode) : data(newData), next(nextNode) {} }; StackNode *top; // 堆栈顶部 Stack(const Stack rhs); // 防止拷贝和 Stack operator=(const Stack rhs); // 赋值(见条款27) }; 于是，Stack对象将构造如下所示的数据结构： Stack对象 top-- data+next-- data+next-- data+next-- data+next ------------------------------------------------------------------------------------ StackNode对象 链表本身是由StackNode对象构成的，但那只是Stack类的一个实现细节，所以StackNode被声明为Stack的私有类型。注意StackNode有一个构造函数，用来确保它所有的域都被正确初始化。即使你闭着眼睛都可以写出一个链表，但也不要忽视了C++的一些新特性，如struct中的构造函数。 下面看看你对Stack成员函数的实现。和许多原型（prototype）的实现（离制作成软件产品相差太远）一样，这里没有错误检查，因为在原型世界里，没有东西会出错。 Stack::Stack(): top(0) {} // 顶部初始化为null void Stack::push(const T object) { top = new StackNode(object, top); // 新节点放在 } // 链表头部 T Stack::pop() { StackNode *topOfStack = top; // 记住头节点 top = top-next; T data = topOfStack-data; // 记住节点数据