C++多态的原理.docVIP

C++ 多态 C++标准的解释为：多态性是使用不同的对象的相同方法时产生不同的动作。 例如两个人北京到上海，火车和飞机都是交通工具的一种，一个人乘坐火车，一个人乘坐飞机，他们乘坐的时间一定会有差异， 在这个例子中 这两个人都乘坐交通工具去上海，可以说使用了相同的方法，但是产生不同的结果，飞机比火车的速度快，结果是乘坐飞机的人先到达目的地 C++支持两种多态性：一种是编译时的多态性，另一种是运行时的多态性 编译时的多态性是通过重载函数来实现的。重载函数有下述两种方式： 1 在一个类中说明的重载 在一个类中说明的重载函数之间，靠所带的参数个数或参数类型的不同加以区分。在编译时系统就可以根据参数上的差异来区分这些函数 class CTest { public: CTest(); ~CTest(); void Test(); void Test(int iData); }; 在上边的类中，有两个Test函数，编译器在编译的时候会根据函数的返回值、函数名、参数进行名字粉碎，只要两个函数不完全相同,粉碎后的名字就不会相同，调用时会调用名字粉碎后的函数， 2 基类成员函数在派生类中的重载 一种是参数有所差别的重载（同上） 另一种是函数所带的参数相同，只是它们属于不同层的类 思考：我们在运用指针变量时，都是父类指针调用父类成员函数，子类指针调用子类成员函数，可不可以用父类指针调用子类成员函数呢？ 答案是可以的，利用虚函数可以使用父类指针调用子类对象的方法，这种现象就是多态常用的方法，下面我们来了解下虚函数！ 在C++中，运行时的多态性是用虚函数来实现的 什么是虚函数呢？ 虚函数是C++中用于实现多态的机制。核心理念就是通过基类访问派生类定义的函数 虚函数是在基类中成员函数前加关键字 virtual 的成员函数。 虚函数使用的注意事项： 在派生类重定义虚函数时必须有相同的函数原型，包括返回类型，函数名、参数个数、参数类型的顺序必须相同 虚函数必须是类的成员函数。不能为全局函数，也不能为静态函数 析构函数可以是虚函数，但构造函数不能为虚函数 下面我们来实际操作下，来熟悉下多态和虚函数： 执行以下代码 class CDad { public: CDad() { m_iInt = 0; } ~CDad() { } virtual void Test() { printf(CDad\n); } protected: private: int m_iInt; }; class CSon : public CDad { public: CSon() { m_iData = 0; } ~CSon() { } void Test() { printf(CSon\n); } protected: private: int m_iData; }; int main(int argc, char* argv[]) { CSon son; CDad *dad = son; dad-Test(); return 0; } 运行结果是 CDad； 如图一： ? ? 这是父类函数没有被声明成虚函数的情况！ 下面，我们在父类 void Test（）函数前加上virtual关键字 继续执行代码 运行结果是CSon； 如下图二： ? 我们利用了父类的指针指向子类对象，同时调用父类和子类相同的方法时产生了不同的动作，这就是多态 下面我们看看虚函数的实现原理 首先提问两个问题: 问题一：在具有继承关系的两个类中实例化一个子类对象占多大的内存空间？ 问题二：在有虚函数的类中，实例化一个对象占多大的内存空间？ 我们先看第一个问题，现在有如下代码： class CDad { public: protected: private: int m_iInt; }; class CSon : public CDad { public: protected: private: int m_iData; }; int main(int argc, char* argv[]) { CSon son; int i = sizeof(son); return 0; } 此程序运行结果为 i = 8; 问题二，在上边父类的Teest 函数前加 virtual，使其成为虚函数，运行程序 运行结果 i= 12 由此看来在有虚函数的类中比没有虚函数的类多4个字节，这是为什么呢? 新概念 虚表： 编译器在实例化含有虚函数的对象时，把所有的虚函数地址按照顺序排列起来，形成一张虚函数的地址表，简称虚表 我们调试运行上边的代码，如图三： 运行后发现如果没有加virtual的时候 son的内存内容为 0