封装,继承和多态是C++语言的三大特性。而虚函数的作用就是实现多态性,多态性又包含编译时的多态和运行时的多态两大类,即静态多态性和动态多态性。
静态多态性是指定义在一个类或一个函数中的同名函数,根据参数表区别语义,并通过静态联编来实现,静态联编在编译时就已经确定好了。
动态多态性:
当程序发现虚函数名前的关键字virtual后,会自动将其作为动态联编处理,即在程序运行时动态的选择合适的成员函数。
定义虚函数的限制:
非类的成员函数不能定义为虚函数,类的静态成员函数和构造函数不能定义为虚函数,但析构函数可以定义为虚函数。当将积累的析构函数定义为虚函数后,当利用delete删除一个窒息那个派生类定义的对象指针时,系统会调用相应类的析构函数,而不这样做的话,只调用基类的析构函数。
只需要在声明函数的类体在声明函数的类体中使用关键字“virtual”将函数声明为虚函数,而定义函数时不需要使用关键字“virtual”。
- 当将基类中的某一成员函数声明为虚函数后,派生类中的同名函数自动成为虚函数。
虚函数表:
虚函数是通过一张虚函数表来实现的。这张表解决了集成、覆盖的问题,保证其放映实际的函数,编译器必须保证虚函数表的指针存在于对实例中最前面的位置(为了保证正确取到虚函数的偏移量)。这就是说我们通过对象实例的地址得到这张虚函数表,然后就可以遍历其中的函数指针,并调用相应的函数。
未完待续==