C虚函数默认参数问题.docxVIP

条款38: 决不要重新定义继承而来的缺省参数值 让我们从一开始就把问题简化。缺省参数只能作为函数的一部分而存在；另外，只有两种函数可以继承：虚函数和非虚函数。因此，重定义缺省参数值的唯一方法是重定义一个继承而来的函数。然而，重定义继承而来的非虚函数是一种错误（参见条款37），所以，我们完全可以把讨论的范围缩小为 继承一个有缺省参数值的虚函数 的情况。 既然如此，本条款的理由就变得非常明显：虚函数是动态绑定而缺省参数值是静态绑定的。 什么意思？你可能会说你不懂这些最新的面向对象术语；或者，过度劳累的你一时想不起静态和动态绑定的区别。那么，让我们来复习一下。 对象的静态类型是指你声明的存在于程序代码文本中的类型。看下面这个类层次结构： enum ShapeColor { RED, GREEN, BLUE }; // 一个表示几何形状的类 class Shape { public: // 所有的形状都要提供一个函数绘制它们本身 virtual void draw(ShapeColor color = RED) const = 0; ... }; class Rectangle: public Shape { public: // 注意：定义了不同的缺省参数值 ---- 不好! virtual void draw(ShapeColor color = GREEN) const; ... }; class Circle: public Shape { public: virtual void draw(ShapeColor color) const; ... }; 用图形来表示是下面这样： Shape // / / / / Rectangle Circle 现在看看这些指针： Shape *ps; // 静态类型 = Shape* Shape *pc = new Circle; // 静态类型 = Shape* Shape *pr = new Rectangle; // 静态类型 = Shape* 这个例子中， ps， pc，和pr都被声明为Shape指针类型，所以它们都以此作为自己的静态类型。注意，这和它们真的所指向的对象的类型绝对没有关系 ---- 它们的静态类型总是Shape*。 对象的动态类型是由它当前所指的对象的类型决定的。即，对象的动态类型表示它将执行何种行为。上面的例子中，pc的动态类型是Circle*，pr的动态类型是Rectangle*。至于ps，实际上没有动态类型，因为它（还）没有指向任何对象。 动态类型，顾名思义，可以在程序运行时改变，典型的方法是通过赋值： ps = pc; // ps的动态类型 // 现在是Circle* ps = pr; // ps的动态类型 // 现在是Rectangle* 虚函数是动态绑定的，意思是说，虚函数通过哪个对象被调用，具体被调用的函数就由那个对象的动态类型决定： pc-draw(RED); // 调用Circle::draw(RED) pr-draw(RED); // 调用Rectangle::draw(RED) 我知道这些都是老掉牙的知识了，你当然也了解虚函数。（如果想知道它们是怎么实现的，参见条款M24）但是，将虚函数和缺省参数值结合起来分析就会产生问题，因为，如上所述，虚函数是动态绑定的，但缺省参数是静态绑定的。这意味着你最终可能调用的是一个定义在派生类，但使用了基类中的缺省参数值的虚函数： pr-draw(); // 调用Rectangle::draw(RED)! 这种情况下，pr的动态类型是Rectangle*，所以Rectangle的虚函数被调用 ---- 正如我们所期望的那样。Rectangle::draw中，缺省参数值是GREEN。但是，由于pr的静态类型是Shape*，这个函数调用的参数值是从Shape类中取得的，而不是Rectangle类！所以结果将十分奇怪并且出人意料，因为这个调用包含了Shape和Rectangle类中Draw的声明的组合。你当然不希望自己的软件以这种方式