#include<iostream> using namespace std; class Shape{ protected: int width; int height; public: Shape(int w,int h){ width=w; height=h; }; void getArea(){ cout<<"shape"; } }; //公有继承 class Regtangle:public Shape{ public: Regtangle(int w,int h):Shape(w,h){}; void getArea(){ cout<<"Regtangle"; } }; class Article:public Shape{ public: Article(int w,int h):Shape(w,h){}; void getArea(){ cout<<"Article"; } }; int main(){ Shape *p; Regtangle r(1,2); Article a(2,3); p=&r; p->getArea(); p=&a; p->getArea(); return 0; }
导致错误输出的原因是,调用函数 area() 被编译器设置为基类中的版本,这就是所谓的静态多态,或静态链接 - 函数调用在程序执行前就准备好了。有时候这也被称为早绑定,因为 area() 函数在程序编译期间就已经设置好了。
但现在,让我们对程序稍作修改,在 Shape 类中,area() 的声明前放置关键字 virtual,如下所示:
编译器看的是指针的内容,而不是它的类型。因此,由于 tri 和 rec 类的对象的地址存储在 *shape 中,所以会调用各自的 area() 函数。
正如您所看到的,每个子类都有一个函数 area() 的独立实现。这就是多态的一般使用方式。有了多态,您可以有多个不同的类,都带有同一个名称但具有不同实现的函数,函数的参数甚至可以是相同的。
函数 是在基类中使用关键字 virtual 声明的函数。在派生类中重新定义基类中定义的虚函数时,会告诉编译器不要静态链接到该函数。
我们想要的是在程序中任意点可以根据所调用的对象类型来选择调用的函数,这种操作被称为动态链接,或后期绑定。
您可能想要在基类中定义虚函数,以便在派生类中重新定义该函数更好地适用于对象,但是您在基类中又不能对虚函数给出有意义的实现,这个时候就会用到纯虚函数。
class Shape { protected: int width, height; public: Shape( int a=0, int b=0) { width = a; height = b; } // pure virtual function virtual int area() = 0; };