团队学生技术交流讲座(ppt 46页).pptVIP

派生类中的虚函数 虚函数是类成员函数(class member function); 在派生类(derived class)中对虚函数的实现重新定义称之为覆盖(override) 虚函数的“身份”在继承之间能被持续传递下去 再次运行，结果… #include iostream using namespace std; enum note { middleC, Csharp, Eflat };. class Instrument { public: virtual void play(note) const { cout Instrument::play endl; } }; // Wind objects are Instruments // because they have the same interface: class Wind : public Instrument { public: // Redefine interface function: void play(note) const { cout Wind::play endl; } }; void tune(Instrument i) { // ... i.play(middleC); } int main() { Wind flute; tune(flute); // Upcasting return 0; } 这次结果是我们希望的结果！ 我们引入了虚函数机制，导致了这样的结果。 “神奇的” 执行方式 ？ 以基类指针运行虚函数，程序就能执行我们所期望的正确的派生类的函数体，虚函数为什么会有这样“神奇的”运行机制呢？ 通过继承而相关的不同类，他们的对象能够对同一个函数作出不同的响应.这样“神奇的” 多态性是怎样实现的呢? 静态绑定与动态绑定 绑定(binding) 程序自身彼此关联的过程，确定程序中的操作调用与执行该操作的代码间的关系。 静态绑定(early binding) 绑定过程出现在编译阶段，用对象名或者类名来限定要调用的函数。 动态绑定(dynamic/later binding) 绑定过程工作在程序运行时执行，在程序运行时才确定将要调用的函数。 “神奇的” 执行方式 ——动态绑定 C++的虚函数在运行时正是通过动态绑定实现多态机制的。 动态绑定是如何实现的呢？ 动态绑定是通过编译器运用虚函数表VTBL和虚表指针VPTR而实现，在运行时通过动态查询实现对正确函数体的绑定。 VTBL 编译器会为声明了虚函数的类建立一个虚函数表。 VTBL实际上是一个函数指针数组，每个虚函数占用这个数组的一个入口（slot）。 一个类只有一个VTBL，不管它有多少个实例。 派生类有自己的VTBL，但是派生类的VTBL与基类的VTBL有相同的函数排列顺序，同名的虚函数被放在两个数组的相同位置上。 VPTR 在创建类实例的时候，编译器还会在每个实例的内存布局中增加一个VPTR指针，该指针指向本类的VTBL。 最后，是动态联编 在调用此类的构造函数时，在类的构造函数中，编译器会隐含执行VPTR与VTBL的关联代码，将VPTR指向对应的VTBL。这就将类与此类的VTBL联系了起来。 ?在调用类的构造函数时，指向基类的指针此时已经变成指向具体的类的this指针，依靠此this指针,进一步得到正确的VPTR，即可得到正确的VTBL，从而实现了多态性。在此时才能真正与函数体进行连接，这就是动态联编。 一个更大的例子… #include iostream using namespace std; enum note { middleC, Csharp, Cflat }; // Etc. class Instrument { public: virtual void play(note) const { cout Instrument::play endl; } virtual char* what() const { return Instrument; } virtual void adjust(int) {} }; class Wind : public Instrument { public: void play(note) const { cout Wind::play endl; } char* what() const { return Wind; } void adjust(int) {} }; class Percussion : public Instrument { public: void play(n