第一章 3.5 虚函数.docVIP

3.4 语言特征 在带类的C的基础上引进了一些新特征，从而形成了C++，它们是： l）虚函数（3.5节） 2）函数名和运算符重载（3.6节） 3）引用（3.7节） 4）常量（3.8节） 5）用户可控制的自由空间存储区控制（3.9节） 6）改进的类型检查（3.10节） 此外，调用和返回函数（2.11节）被去掉了，因为它们没什么用处。还修改了许多细节，以产生出一个更清晰的语言。 3.5虚函数 虚函数是C＋＋里最显著的新特征。它也必然是对人们用这个语言进行程序设计的风格影响最大的东西。虚函数的思想是从Simula借来的，以一种适当的方式出现在这里，希望能比较容易做出简单而有效的实现。需要虚函数的理由在［Stroustrup，1986]［Stroustrup，1986b]里有阐述，为了强调虚函数在C++ 程序设计中的核心作用，我在这里要从[Stroustrup，1986］引征一些细节：。 “一个抽象数据类型定义了一种黑盒子。一旦定义好之后，它就不会实际地与程序其他部分产生交互作用了。没有其他办法能为某些新的用途而调整它，除非是修改它的定义。这可能带来很严重的灵活性问题。考虑一个为在图形系统里使用而定义的shape类型。假定目前情况下系统必须支持圆、三角形和矩形，再假定你已经有了一些类： c1ass point{ /*... */ }; c1ass color{ /*... */ }; 你可能把shape类定义成下面的样子： enum kind { circle, triangle, square }; class shape { point center; color col; kind k; // representation of shape pub1ic: point where () { return center; } void move (point to) { center = to; draw(); } void draw(); void rotate (int ); // more operations }; 这里“表示种类的域”k是必需的，以便draw（）和rotate（）一类函数能确定它们当时正在处理的形状（shape）的种类（在Pascal语言里我们可以用一个带标志k的变体记录）。函数draw（）的定义可能像下面这样： void shape:: draw () { switch (k) { case circle: // draw a circle break; case triangle: // draw a triangle break; case square: // draw a square break; } } 这真是一个烂泥潭。像draw()这样的函数必须“理解”现存的所有形状。这样，每当有一种新形状被加入系统时，所有这类函数的代码都必须扩充。如果你定义了一个新形状，处理形状的每个操作都必须检查并（做可能需要的）修改。如果你无法接触所有这些操作的源代码，就无法将一个新的形状加入到系统中。加入一个新形状牵涉到“触及”与形状有关的各种重要操作的代码，这需要高超的技艺，也很可能将潜在的错误引进处理其他形状的代码里。为特定的形状选择表示方式也将受到很严格的束缚，因为它们的表示（至少其中的一部分）必须能放进由通用类型shape的定义所规定的固定框架里面。 实际问题是，在这里没有区分任意形状的普遍性质（例如，一个形状有一种颜色，它可以被画出来，等等）和与某种特定形状有关的属性（例如，圆是一种有圆心的形状，应该由一个画圆的函数来画，等等）。面向对象的程序设计就是要表达这种差异并从中获益。如果在某种语言里存在能够表述和利用这种差异的结构，它就能支持面向对象的程序设计。其他语言则不行。 Simula的继承机制提供了一种解决方案，我把它移植到了C++里。首先需要描述一个类，用它定义所有形状的普遍性质： class shape { point center; color col; //... public: point where() { return center; } void move(point to) { center = to; draw(); } virtual void draw(); virtual void rotate(int); //... }; 那些只能在这里给出调用界面定义，而又必须针对每个特定类型专门定义实现的函数在这里都需要标明virtual（按照Simula和C++的说法，“可以在将来由这个类派生的类重新定义”）