一、静态绑定和动态绑定
面向对象程序设计语言的另一特征,指不同对象接收到同一消息时会产生不同的行为。
继承处理的是类与类之间的层次关系问题,而多态则是处理类的层次结构之间以及同一个类内部同名函数的关系问题。
1、静态绑定:在编译程序时根据调用函数提供的信息,把对应的具体函数确定下来,通过函数重载和运算符重载来实现静态多态性。
2、动态绑定:在编译程序时还不能确定函数调用所对应的具体函数,只有程序运行过程中才能够确定函数调用所对应的具体函数,通过继承和虚函数来实现动态多态性。
静态多态性执行速度更快,但动态多态性提供了更多的灵活性、问题的抽象性和程序的可维护性。
二、虚函数
意义在于指示编译器,对这类函数延后联编(动态绑定),让程序运行过程中才确定与之对应的函数。(当基类定义虚函数且派生类重写了该虚函数,通过指向基类对象的指针或引用来调用派生类对象中的虚函数时,就会调用到该指针实际所指向的成员函数,即派生类的虚函数)
1、某成员函数声明为虚函数后,在类的继承体系中永远为虚函数(其派生类的虚函数可不写virtual),但该类的基类不受影响。
2、基类定义虚函数,通过基类指针或引用调用派生类时,将访问他们实际所指虚函数。
3、只有基类对象的指针和引用的访问才有该特性。
4、派生类的对象通过基类的成员函数访问到虚函数时,也会访问实际所指虚函数。
5、内联函数采用静态联编方式不能成为虚函数。
三、虚析构函数
可以确保在用delete销毁动态分配的派生类对象时调用到正确的析构函数,完成对象所占用内存空间的回收。
四、纯虚函数与抽象类
抽象类