虚函数和动态联编.pptVIP

虚函数 多态性是面向对象设计语言的基本特征。 仅仅是将数据和函数捆绑在一起，进行类的封装，使用一些简单的继承，还不能算是真正应用了面向对象的设计思想。 多态性是面向对象的精髓，也是难点。 在C++中，多态性是通过虚函数来实现的。 #include iostream.h class vehicle{　int wheels;　float weight;public:　void message(void) {cout Vehicle message\n;}}; class car : public vehicle{　int passenger_load;public:　void message(void) {cout Car message\n;}}; class truck : public vehicle{　int passenger_load;　float payload;public:　int passengers(void) {return passenger_load;}}; class boat : public vehicle{　int passenger_load;public:　int passengers(void) {return passenger_load;}　void message(void) {cout Boat message\n;}}; void main(){　vehicle *unicycle;　car *sedan;　truck semi;　boat sailboat; 　unicycle = new vehicle;　unicycle- message(); //输出Vehicle message　delete unicycle; 　unicycle = new car;　unicycle - message(); //输出Vehicle message //---------------------------------------- 　sedan = (car *) unicycle;　sedan - message(); //输出Car message　delete sedan; //---------------------------------------- 　semi.message(); //输出Vehicle message？？　sailboat.message(); //输出Boat message } 指针的类型决定调用那一个成员函数 因为指针的类型决定调用那一个成员函数，所以，一个vehicle*调用vehicle成员函数，即使它指向派生类的对象。 同样，一个car *也调用car 的成员函数。 我们把这称为早期联编或静态联编，因为指针要调用那一个函数是在编译时就确定的。 能不能通过该指针来调用派生类的成员函数呢？ 那么，当vehicle*指向派生类对象时，我们能不能通过该指针来调用派生类的成员函数呢？ 在C++中，我们是可以作到的，这要用到C++的多态特性。 也就是说，基类指针是调用基类的成员函数，还是调用派生类的成员函数，不是由指针的类型决定的，而是由指针指向的对象的类型决定的 动态联编或迟后联编 多态也称为动态联编或迟后联编，因为到底调用哪一个函数，在编译时不能确定，而要推迟到运行时确定。 也就是说，要等到程序运行时，确定了指针所指向的对象的类型时，才能够确定。 在C++中，动态联编是通过虚函数来实现的。 函数调用是通过相应的函数名来实现的。 对于源程序进行编译后，存放在内存中的可执行程序，函数实际上是一段机器代码，它是通过首地址进行标识和调用的。例如，假定定义一个函数：　　void func()　　{　　　//…　　};　　我们可以用下面的语句调用这个函数：　　func(); //调用func函数　　 这是在源程序中调用函数的方法，它是用函数名操作的。 函数执行的原理 我们看看在可执行程序中函数调用是怎么操作的，我们用汇编语言来说明，因为汇编语言和机器语言（计算机可以直接执行的语言）是一一对应的。　　在可执行程序中，函数调用使用下面的方法：　　call [xxxxx]xxxxx代表存放函数代码内存空间的首地址。　　 call是汇编语句中的一条指令，意思是调用一个函数。 实际操作过程是：保存当前地址、保护现场，跳转到xxxxx地址执行。 正是基于这个原因，在C/C++中的函数名是一个指针，该指针指向该函数段代码在内存中的首地址。 早期或静态联编的原理 如何将源程序中的函数调用和函数体（也就是在内存中该函数的机器代码）联系起来呢？ 这件工作是