附录C模拟虚构造函数.PDFVIP

下载 附录C 模拟虚构造函数 在一个构造函数调用期间，虚机制并不工作（出现早期绑定），有时这很让人为难。 另外，我们可能想组织我们的代码，使得在创建一个对象时不用选择一个确切的构造函数 类型，也就是，我们想说：“我不准确地知道我们是哪种类型的对象，但这与我们自己创建自 己的信息有关。”这个附录介绍了两种“虚构造函数”方法。第一个是一种充分发展的技术， 它在堆栈上和堆上都可以工作，但实现起来较为复杂。第二种则简单得多，但我们只能在堆上 创建对象。 C.1 全功能的虚构造函数 让我们来看一个经常被引用的“ s h a p e s ”例子。对于一个对象，我们可能想在构造函数内 设置每件事，然后调用 d r a w ( )来画出这个对象。 d r a w ( )应该是一个虚函数，是一条它应该准确 画它自身的消息，依赖于它是一个圆、矩形、线等。然而，这些在构造函数内并不能工作，原 因就是第1 4章介绍的：当在构造函数中调用一个虚函数时，虚函数将分解为本地的函数体。 如果我们想在构造函数中调用一个虚函数并让它能正确工作，我们必须用一种模拟虚构造 函数的技术。这是一个棘手的问题。记住虚函数是这样一种函数：我们送一条消息到一个对象， 然后让这个对象算出该做些什么。但构造函数用来创建一个对象。所以一个虚构造函数好象在 说：“我不确切地知道你是哪种类型的对象，那么你自己创建吧。”在一般的构造函数中， `编 译器必须知道哪个V TA B L E 的地址绑到了这个V P T R上和它是否已存在，一个虚构造函数并不 能做这些，因为它在编译时并不知道全部的类型信息。因此说一个构造函数不能是虚函数是有 道理的，因为它是一种必须知道对象类型全部信息的函数。 仍然有一些时候，我们想要一些东西类似于虚构造函数的行为。 在s h a p e这个例子中，在构造函数的参数表中传递一些特殊信息，并让构造函数在没有更 多信息的情况下创建特殊的形状（圆、矩形或三角形）。通常，我们不得不显式地调用 c i r c l e 、 s q u a r e或t r i a n g l e 的构造函数。 Coplien [1] 称他对这个问题的解决方案为“信封和信纸”类。信封类是基类，一个包含指 向基类对象的指针的外壳。“信封类”的构造函数决定（在运行时间，即当构造函数被调用时， 而不是编译时间，即当类型检查已完成时）创建哪种特定类型，然后创建这种类型的对象（在 堆上），并将这个对象赋给它的指针。所有的函数调用都由基类通过它的指针来完成。 下面是s h a p e例子的一个简化版： [1] James O.Coplien ，《高级C + +编程风格与习语》，A d d i s o n _ We s l e y, 1992 。 416 C++编程思想 下载 附录C 模拟虚构造函数 417 下载 基类s h a p e包含一个指向s h a p e类型对象的指针，这也是它唯一的数据成员。当我们建立了 一个“虚构造函数”配置时，我们必须确保这个指针已经被初始化为指向一个已存在的对象。 t y p e枚举在类s h a p e 内部和s h a p e 的构造函数要在所有的派生类之后定义是这种方法的两个 限制。每次我们从s h a p e类中派生出新的子类型，我们必须回过头来把这个类型的名字加到 t y p e 枚举列表中。然后我们必须修改 s h a p e 的构造函数以处理新情况。其不利的一面是现在 s h a p e类 和所有 s h a p e 的派生类之间存在着依赖关系。有利的一面是这种一般情况下出现在程序体中 （可能不止一处，这使得可维护性差）的关系被限制在一个类中。另外这还产生了一种像第3章 中介绍的“cheshire cat ” 的效果。在这种情况下，所有特定形状类的定义可以隐藏在实现文件 中。这样，基类的接口是用户可以看到的唯一的东西。 在这个例子中，我们必须传递给构造函数的关于创建对象类型的信息是很清楚的，它是类 型的一个枚举值。当然我们可以用其他信息—比方说，在语法分析程序中扫描器的输出可能 被传递给“虚构造函数”，然后用这个文本串来决定准确的是要创建什么。