多态是面向对象的程序设计的关键技术。多态:调用同一个函数名,可以根据需要但实现不同的功能。多态体现在两个方面,我们以前学过的编译时的多态性(函数重载)和现在我们这一章将要学习的运行时的多态性(虚函数)。
运行时多态:运行时的多态性是指在程序执行之前,根据函数名和参数无法确定应该调用哪一个函数,必须在程序的执行过程中,根据具体的执行情况来动态地确定。
前面我们在介绍继承的时候,通过基类的指针或引用指向派生类对象后,调用派生类和基类中同名的方法的时候,调用的均是基类的成员,不能访问派生类的成员。这是在运行之前就可以确定的,而要实现运行时的多态,我们要通过虚函数来实现。
多态使用
1.若要访问派生类中相同名字的函数,必须将基类中的同名函数定义为虚函数,基类的指针指向派生类对象后, 就可以调用派生类的同名的成员函数。
CCurrentTime currentTime;
CTime *p = ¤tTime;
CTime& time = currentTime;
time.getHour();
在前面我们没有将基类的getHour函数设置为虚函数,所以虽然这是一个包含派生类的对象的基类的引用,它也不能根据我们刚才所说的运行时多态来判断所包含的对象来调用该类的getHour函数,只会根据基类的这是一个基类的引用来调用基类的getHour函数,指针也是一样。
1)将基类同名的函数定义为虚函数可以使用C++关键字virtual来实现。在基类成员函数声明前加virtual关键字。
2)在派生类中重新定义基类中的虚函数时,可以不用关键字virtual来修饰这个成员函数 。
在程序的执行过程中,依据指针具体指向哪个类对象,或依据引用哪个类对象,才能确定绑定哪个成员函数,实现动态绑定。
注意:
1)当在基类中把成员函数定义为虚函数后,在其派生类中定义的虚函数必须与基类中的虚函数同名,参数的类型、顺序、参数的个数必须一一对应,若函数名相同,但参数的个数不同或者参数的类型不同时,则属于函数的重载,而不是虚函数。若函数名不同,显然这是不同的成员函数。
2)实现这种动态的多态性时,必须使用基类类型的指针变量,并使该指针指向不同的派生类对象,并通过调用指针所指向的虚函数才能实现动态的多态性。通过对象名访问虚函数则不会实现动态多态性。
3)在派生类中没有重新定义虚函数时,与一般的成员函数一样,当调用这种派生类对象的虚函数时,则调用其基类中的虚函数。
4)可把析构函数定义为虚函数,但是,不能将构造函数定义为虚函数。构造函数不能被继承,每一个类都需要自己的构造函数来初始化对象。当派生类的对象销毁的时候,先调用派生类的析构函数,再调用基类的析构函数,如果基类的析构函数不是虚函数,在对基类的指针或者引用进行销毁的时候,调用的就是基类的析构函数,没有调用派生类的析构函数,一般的情况下这是没有问题的。但是我们如果需要在派生类的内部执行一些必要的清理工作,比如释放一些占用的内存,或者释放占用线程的锁,这个时候不调用派生类的析构函数就会导致内存泄漏。我们一般讲基类的析构函数设置为虚函数。
5)多态时通过虚函数动态绑定实现。内部则是通过虚函数表实现。调用时的执行速度要慢。虚函数表是一张表,其内部存储很多虚函数的地址。基类对象有一张,子类也有一张,初始时子类继承基类的表,若子类覆盖(重写)了基类的虚函数,则将子类的虚函数表对应项目替换为子类虚函数指针。
这个大家先大概了解,随着理解的加深,可以深入学习一下。