1 #include<iostream> 2 #include<ctime> 3 #include <stdio.h> 4 #include<cstring> 5 #include<cstdlib> 6 #include <map> 7 #include <string> 8 using namespace std; 9 class A 10 { 11 public: 12 A(){ 13 cout << "A()" << endl; 14 } 15 16 ~A(){ 17 cout << "~A()" << endl; 18 } 19 virtual void func(int val = 1) 20 { 21 std::cout << "A->" << val << std::endl; 22 } 23 24 virtual void test() 25 { 26 func(); 27 } 28 }; 29 30 class B:public A 31 { 32 public: 33 B(){ 34 cout << "B()" << endl; 35 } 36 37 ~B(){ 38 cout << "~B()" << endl; 39 } 40 void func(int val = 0) 41 { 42 std::cout << "B->" << val << std::endl; 43 } 44 }; 45 46 #if 1 47 int main(){ 48 B*p = new B; 49 p->test(); 50 delete p; 51 } 52 #endif
由于p指向了继承类B的对象,所以,在调用A中的test之后,虚函数func()会调用继承类B的函数,而默认形参仍然会使用test所在的类A的形参1,从而输出B->1。
http://www.cnblogs.com/zhoug2020/archive/2012/05/23/2514215.html
让我们开门见山的讨论本话题:继承一个含有默认参数值的虚函数。
此情况下,本条目的证明问题则显得十分了然:虚函数是动态绑定的,而默认参数值是静态绑定的。
你说啥?静态绑定于动态绑定之间的区别已经让你头晕目眩了?(静态绑定又称早期绑定,动态绑定又称晚期绑定,这是官方说法。)我们只好复习一下了。
一个对象的静态类型就是你在对其进行声明时赋予它的类型。请考虑下面的类层次结构:
class Shape {
public:
enum ShapeColor { Red, Green, Blue };
// 所有形状必须提供一个自我绘制函数
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;
};
用UML来表示:
现在请考虑下面的指针:
Shape *pc = new Circle; // 静态类型 = Shape*
Shape *pr = new Rectangle; // 静态类型 = Shape*
示例中,ps,pc以及pr都声明为指向Shape的指针,因此他们的静态类型均为Shape*。请注意,这样做使得无论他们实际指向的对象是什么类型,他们的静态类型都必为Shape*。
对象的动态类型是通过他当前引用的对象的类型决定的。也就是说,动态类型表明了他应具有怎样的行为。在上文的示例中,pc的动态类型是Circle*,pr的动态类型是Rectangle*。而对于ps来说,他在当前根本不具备动态类型,因为他(目前)还没有引用任何对象呢。
动态类型,顾名思义,在程序运行时可能会有所改变,通常是通过赋值操作发生:
ps = pr; // ps当前的动态类型为Rectangle*
虚函数是动态绑定的,这就意味着,对于一个特定的函数调用,其调用对象的动态类型将决定调用这一函数的哪个版本:
pr->draw(Shape::Red); // 调用 Rectangle::draw(Shape::Red)
我知道这些都是老 生常谈了,你当然已经对虚函数有了透彻的理解。只有在虚函数包含默认参数值时,情况才有所不同。这是因为(如上文所述),虚函数是动态绑定的,但是默认参 数是静态绑定的。这也就意味着对于一个虚函数,你可能会调用它在派生类中的定义,而默认参数值则采用基类中的值:
这种情况下,由于pr的动态类型是Rectangle*,于是此处便调用了虚函数draw的Rectangle版本,正如你所愿。在Rectangle::draw中,默认参数值是Green。然而,因为pr的静态类型是Shape*,这里的draw调用将采用Shape类中的默认参数值,而不是Rectangle!最终,在Shape类和Rectangle类之间,对于draw的调用必将出现混乱的无法预知的现象。
这里ps,pc和pr是指针,然而这并不影响上文的结论。如果他们是引用的话,问题同样存在。这里只有一个重点:draw是虚函数,他的一个默认参数值在派生类中被重定义了。
为何C++在这一问题上如此倒行逆施? 答案是:运行时效率。如果默认参数值是动态绑定的话,那么编译器必须提供一整套方案,为运行时的虚函数参数确定恰当的默认值。而这样做,比起C++当前使用的编译时决定机制而言,将会更复杂、更慢。鱼和熊掌不可兼得,C++将设计的中心倾向了速度和简洁,你在享受效率的快感的同时,如果你忽略本条目的建议,你就会陷入困惑。
一切看上去似乎尽善尽美了,但是一旦你不假思索的遵守本条建议,为基类和派生类分别提供默认参数值的话,看看将会发生什么:
public:
enum ShapeColor { Red, Green, Blue };
virtual void draw(ShapeColor color = Red) const = 0;
};
class Rectangle: public Shape {
public:
virtual void draw(ShapeColor color = Red) const;
};
吁……恼人的重复代码。还有更糟的:这些重复代码彼此还有依赖:如果Shape中的默认参数值改变了的话,那么所有的派生类中相应的值都必须改变。否则这些函数仍将改变继承来的默认参数值。那么怎么办呢?
遇到麻烦了?虚函数无法按照你预想的方式运行?这时候明智的做法是:考虑一个替代的设计方案,第35条中介绍了几种虚函数的替代方案。其中一种是非虚拟接口惯例方案(NVI惯例):在基类中用一个公有的非虚函数调用一个私有的虚函数,并在派生类中重定义这一虚函数。在这里,我们将默认参数置于非虚函数中,让虚函数做具体的工作。
public:
enum ShapeColor { Red, Green, Blue };
void draw(ShapeColor color = Red) const // 现在draw是非虚函数
{
doDraw(color); // 调用一个虚函数
}
private:
virtual void doDraw(ShapeColor color) const = 0;
// 这个函数做真正的工作
};
class Rectangle: public Shape {
public:
private:
virtual void doDraw(ShapeColor color) const; //此处不需要默认参数值
};
这一设计方案使得draw函数中color参数的缺省值永远为Red。
铭记在心
·避免在对函数中继承得来的默认参数值进行重定义,这是因为默认参数值是静态绑定的,而(派生类中唯一一类可以重定义的)虚函数是动态绑定的。