父类指针指向子类实例对象(多态与普通函数区别)

考点:父类指针指向子类实例对象,调用普通重写方法时,会调用父类中的方法。而调用被子类重写虚函数时,会调用子类中的方法。

 1 class A
 2 {
 3 public:
 4  void FuncA()
 5  {
 6      printf( "FuncA called\n" );
 7  }
 8  virtual void FuncB()
 9  {
10      printf( "FuncB called\n" );
11  }
12 };
13 class B : public A
14 {
15 public:
16  void FuncA()
17  {
18      A::FuncA();
19      printf( "FuncAB called\n" );
20  }
21  virtual void FuncB()
22  {
23      printf( "FuncBB called\n" );
24  }
25 };
26 void main( void )
27 {
28  B  b;
29  A  *pa;
30  pa = &b;
31  A *pa2 = new A;
32  pa->FuncA(); ( 333  pa->FuncB(); ( 434  pa2->FuncA(); ( 535  pa2->FuncB();
36  delete pa2;
37 }

运算结果:

FuncA called
FuncBB called
FuncA called
FuncB called

 pa->FuncA(); ( 3)//pa=&b动态绑定但是FuncA不是虚函数,所以FuncA called
 pa->FuncB(); ( 4)//FuncB是虚函数所以调用B中FuncB,FuncBB called  
 pa2->FuncA(); ( 5)//pa2是A类指针,不涉及虚函数,调用的都是A中函数,所以FuncA called FuncB called
 pa2->FuncB()
 
再次说明了,子类中被重写的虚函数的运行方式是动态绑定的,与当前指向类实例的父类指针类型无关,仅和类实例对象本身有关。
 

多态按字面的意思就是多种形态。当类之间存在层次结构,并且类之间是通过继承关联时,就会用到多态。

C++ 多态意味着调用成员函数时,会根据调用函数的对象的类型来执行不同的函数。

虚函数 是在基类中使用关键字 virtual 声明的函数,可以实现。在派生类中重新定义基类中定义的虚函数时,会告诉编译器不要静态链接到该函数。 virtual int area() ;

我们想要的是在程序中任意点可以根据所调用的对象类型来选择调用的函数,这种操作被称为动态链接,或后期绑定.

纯虚函数:您可能想要在基类中定义虚函数,以便在派生类中重新定义该函数更好地适用于对象,但是您在基类中又不能对虚函数给出有意义的实现,这个时候就会用到纯虚函数。 virtual int area() = 0;

那么为什么要用虚函数?

如果子类覆盖的父类的虚函数
则父类的指针或引用实际指向子类的对象
那通过该指针或引用调用虚函数时,则将调用子类的(虚)函数
如果不是虚函数,则将调用父类的函数
虚函数的优势在于当用指针调用虚函数的时候,即使是基类类型的指针,也会调用到派生类型的函数。

我们知道,用C++开发的时候,用来做基类的类的析构函数一般都是虚函数。可是,为什么要这样做呢?下面用一个小例子来说明:    
    有下面的两个类:

class ClxBase
{
public:
    ClxBase() {};
    virtual ~ClxBase() {};

    virtual void DoSomething() { cout << "Do something in class ClxBase!" << endl; };
};

class ClxDerived : public ClxBase
{
public:
    ClxDerived() {};
    ~ClxDerived() { cout << "Output from the destructor of class ClxDerived!" << endl; }; 

    void DoSomething() { cout << "Do something in class ClxDerived!" << endl; };
};

    代码

ClxBase *pTest = new ClxDerived;
pTest->DoSomething();
delete pTest;

    的输出结果是:

Do something in class ClxDerived!
Output from the destructor of class ClxDerived!

    这个很简单,非常好理解。
    但是,如果把类ClxBase析构函数前的virtual去掉,那输出结果就是下面的样子了:

Do something in class ClxDerived!

    也就是说,类ClxDerived的析构函数根本没有被调用!一般情况下类的析构函数里面都是释放内存资源,而析构函数不被调用的话就会造成内存泄漏。我想所有的C++程序员都知道这样的危险性。当然,如果在析构函数中做了其他工作的话,那你的所有努力也都是白费力气。
    所以,文章开头的那个问题的答案就是--这样做是为了当用一个基类的指针删除一个派生类的对象时,派生类的析构函数会被调用。
    当然,并不是要把所有类的析构函数都写成虚函数。因为当类里面有虚函数的时候,编译器会给类添加一个虚函数表,里面来存放虚函数指针,这样就会增加类的存储空间。所以,只有当一个类被用来作为基类的时候,才把析构函数写成虚函数。

部分内容来自:https://blog.csdn.net/sunstars2009918/article/details/7036797

posted @ 2020-03-18 10:45  星海violet  阅读(1593)  评论(0编辑  收藏  举报