虚函数重要性质总结

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



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

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

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



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



类切割注意点：

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&的一个匿名对象，由于引用所以没有创建新对象，还是原来对象的另一个别名，同时具有指针的多态性质。



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