虚函数重要性质总结

我们经常用虚函数完成运行时的类函数多态行为。这是很基本的了。

 

但是我们想这样一个问题？

如果我们想我们的类层次结构实现一个函数多态，那么我们就会想着为我们类层次结构中的基类添加虚函数，然后派生类依次重写。

但是不是只有直接调用虚函数才能实现多态行为呢？

 

别忘了，我们函数之间是可以相互调用的，你也看到我说的是直接。所以，我们可以通过基类一个普通函数，让此普通函数调用虚函数，实现派生类直接调用基类普通函数实现多态。这些东西说起来很简单。但实际相灵活运用，并且用的恰到好处，那可是需要很高的水平啊。其实以上提的这两种方法本质都是利用了虚函数的多态行为。但是后一种也时常在实际的使用，而初学者也经常会误会，搞不懂其中的玄机。

 

类切割注意点：

class A{public: A(){cout<<"A's default construction is invoked!"<<endl;} ~A(){cout<<"A's destruction is invoked!"<<endl;} A( const A& rhs ){cout<<"A's copy construction is invoked!"<<endl;} virtual void Show() const{cout<<"A's Show"<<endl;}};class B:public A{public: B(){cout<<"B's construction is invoked!"<<endl;} ~B(){cout<<"B's destruction is invoked!"<<endl;} virtual void Show() const {cout<<"B's Show"<<endl;}};main(){    B b;    ((A)b).Show();}

其输出时什么呢？

 

答案是：

A's default construction is invoked!
B's construction is invoked!
A's copy construction is invoked!
A's Show
A's destruction is invoked!
B's destruction is invoked!
A's destruction is invoked!

 

原因是：((A)b)是C++重要的对象切割，这种切割会把b对象产生临时A类对象。是一个全新的对象，所以调用的虚函数是A类的。

 

如果在main()

{

    B b;

    ((A&)b).Show();

}

其输出时什么呢？

 

答案是：

A's default construction is invoked!
B's construction is invoked!
B's Show
B's destruction is invoked!
A's destruction is invoked!

原因是：((A&)b)相当于把b传递给A&的一个匿名对象，由于引用所以没有创建新对象，还是原来对象的另一个别名，同时具有指针的多态性质。

 

另外容易混淆的是：在类函数中以类作用域符号调用虚函数方式将不会有多态性之，而是单纯的调用对应类的对应函数。切记！