基类与派生类,父类指针指向子类对象

先看一段代码:

 1 #include<iostream>
 2 
 3 using namespace std;
 4 
 5 class Base{
 6 public:
 7     Base() { cout<<"Base Creted"<<endl; }
 8     ~Base() { cout<<"Base Destroyed"<<endl; }
 9 };
10 
11 class Derived: public Base {
12 public:
13     Derived() { cout<<"Derived Created"<<endl; }
14     ~Derived() { cout<<"Derived Destroyed"<<endl; }
15 };
16 
17 int main()
18 {
19     Base *pB = new Derived();
20     delete pB;
21     pB = NULL;
22     return 0;
23 }

运行结果如下,情理之中,意料之内:

C++创建对象的时候先创建基类部分,然后创建派生部分。析构的时候要反过来了,先释放子类部分,然后在释放父类部分。但是这里只释放了父类部分,没有释放派生类的部分。为什么呢?

原因很明确:因为之类pB是基类指针,虽然指向的是派生类,只能调用自己的函数,我们是无法通过基类指针调用到子类的成员函数的(除非采用virtual,也就是迟绑定技术)。

虚函数

为了不造成内存泄漏,我们将上面代码改成:

1 class Base{
2 public:
3     Base() { cout<<"Base Creted"<<endl; }
4     virtual ~Base() { cout<<"Base Destroyed"<<endl; }   //virtual关键字很关键哦
5 };

运行结果正确了:

和之前版本相比,基类的析构函数多了一个 virtual 关键字。这样就使得父类类型的指针可以调用子类的成员函数。虚拟函数就是为了对“如果你以一个基础类指针指向一个衍生类对象,那么通过该指针,你只能访问基础类定义的成员函数”这条规则反其道而行之的设计。如果你打算将某个类作为基类,那么一定要定义一个虚析构函数。

虚函数通过动态绑定技术实现了C++的运行时的多态性。让我们可以通过基类的指针或者引用调用派生类的方法。C++中还有一个多态性是编译时的多态,通过模版实现。

《Effective C++》条款 07 p40:为多态基类声明virtual析构函数。

《Effective C++》条款 07 p44:

  • 带多态性质的base classes应该声明一个virtual析构函数。如果class带有任何virtual函数,它就应该拥有一个virtual析构函数
  • Classes的设计目的如果不是作为base classes 使用,或不是为了具备多态性,就不该声明virtual析构函数。

动态绑定的是怎么实现的?

1、为每个含义虚函数的类创建一个虚函数表VTable,存到常量区,依次存放虚函数的地址。对于每个派生类来说,如果没有重写基类的虚函数,那么派生类的虚函数表中的函数地址还是基类的那个虚函数地址。

2、为每个含有虚函数的对象创建一个指向VTable的指针VPtr,所以说同类对象的VPtr是一样的。

3、当基类指针指向派生类时,放生了强制转换,基类的指针指向了派生类的VPtr,这样当pBase->func()时,就可以调用派生类的func()了。

4、没有虚函数的类也就没有VTable表了,或者这个表为空。这样基类指针自然调用不到派生类的函数了。

 

思考:

为何要让父类指针指向派生类对象?

我觉得是为了实现C++的多态性。比如简单工厂模式,一开始我们并不知道需要生产哪种产品,也就不知道返回的是什么类型的产品,此时只能用基类指针去指向返回值。除此之外还没想到其他的使用场景。

posted @ 2018-03-08 23:05  guhowo  阅读(9385)  评论(1编辑  收藏  举报