虚函数联系到多态,多态联系到继承。关于多态,简而言之就是用父类型别的指针指向其子类的实例,然后通过父类的指针调用实际子类的成员函数。这种技术可以让父类的指针有“多种形态”,这是一种泛型技术。所谓泛型技术,说白了就是试图使用不变的代码来实现可变的算法。比如:模板技术,RTTI技术,虚函数技术,要么是试图做到在编译时决议,要么试图做到运行时决议。

下面来看一段简单的代码
  class A{
  public:
  void print(){ cout<<”This is A”<<endl;}
  };
  class B:public A{
  public:
  void print(){ cout<<”This is B”<<endl;}
  };
  int main(){ //为了在以后便于区分,我这段main()代码叫做main1
  A a;
  B b;

  a.print();
  b.print();
  }
  通过class A和class B的print()这个接口,可以看出这两个class因个体的差异而采用了不同的策略,输出的结果也是我们预料中的,分别是This is A和This is B。但这是否真正做到了多态性呢?No,多态还有个关键之处就是一切用指向基类的指针或引用来操作对象。那现在就把main()处的代码改一改。
  int main(){ //main2
  A a;
  B b;
  A* p1=&a;
  A* p2=&b;

  p1->print();
  p2->print();
  }
  运行一下看看结果,结果却是两个This is A。问题来了,p2明明指向的是class B的对象但却是调用的class A的print()函数,这不是我们所期望的结果,那么解决这个问题就需要用到虚函数。
  class A{
  public:
  virtual void print(){ cout<<”This is A”<<endl;} //现在成了虚函数了
  };
  class B:public A{
  public:
  void print(){ cout<<”This is B”<<endl;} //这里需要在前面加上关键字virtual吗?
  };
  毫无疑问,class A的成员函数print()已经成了虚函数,那么class B的print()成了虚函数了吗?回答是Yes,我们只需在把基类的成员函数设为virtual,其派生类的相应的函数也会自动变为虚函数。所以,class B的print()也成了虚函数。那么对于在派生类的相应函数前是否需要用virtual关键字修饰,那就是你自己的问题了。
  现在重新运行main2的代码,这样输出的结果就是This is A和This is B了
  现在来消化一下,我作个简单的总结,指向基类的指针在操作它的多态类对象时,会根据不同的类对象,调用其相应的函数,这个函数就是虚函数。

虚函数是如何做到的
  虚函数是如何做到因对象的不同而调用其相应的函数的呢?现在我们就来剖析虚函数。我们先定义两个类
  class A{ //虚函数示例代码
  public:
  virtual void fun(){cout<<1<<endl;}
  virtual void fun2(){cout<<2<<endl;}
  };
  class B:public A{
  public:
  void fun(){cout<<3<<endl;}
  void fun2(){cout<<4<<endl;}
  };
  由于这两个类中有虚函数存在,所以编译器就会为他们两个分别插入一段你不知道的数据,并为他们分别创建一个表。那段数据叫做vptr指针,指向那个表。那个表叫做vtbl,每个类都有自己的vtbl,vtbl的作用就是保存自己类中虚函数的地址,我们可以把vtbl形象地看成一个数组,这个数组的每个元素存放的就是虚函数的地址,请看图:

  

通过上图,可以看到这两个vtbl分别为class A和class B服务。现在有了这个模型之后,我们来分析下面的代码:

  A *p=new A;
  p->fun();
  毫无疑问,调用了A::fun(),但是A::fun()是如何被调用的呢?它像普通函数那样直接跳转到函数的代码处吗?No,其实是这样的,首先是取出vptr的值,这个值就是vtbl的地址,再根据这个值来到vtbl这里,由于调用的函数A::fun()是第一个虚函数,所以取出vtbl第一个slot里的值,这个值就是A::fun()的地址了,最后调用这个函数。现在我们可以看出来了,只要vptr不同,指向的vtbl就不同,而不同的vtbl里装着对应类的虚函数地址,所以这样虚函数就可以完成它的任务。子类重写的虚函数的地址直接替换了父类虚函数在虚表中的位置,因此当访问虚函数时,该虚表中的函数是谁的就访问谁。 
  而对于class A和class B来说,他们的vptr指针存放在何处呢?其实这个指针就放在他们各自的实例对象里。由于class A和class B都没有数据成员,所以他们的实例对象里就只有一个vptr指针。通过上面的分析,现在我们来实作一段代码,来描述这个带有虚函数的类的简单模型。
  #include<iostream>
  using namespace std;
  //将上面“虚函数示例代码”添加在这里
  int main(){
  void (*fun)(A*);
  A *p=new B;
  long lVptrAddr;
  memcpy(&lVptrAddr,p,4);
  memcpy(&fun,reinterpret_cast<long*>(lVptrAddr),4);
  fun(p);

  delete p;
  system("pause");
  }
  用VC或Dev-C++编译运行一下,看看结果是不是输出3,如果不是,那么太阳明天肯定是从西边出来。现在一步一步开始分析。
  void (*fun)(A*); 这段定义了一个函数指针名字叫做fun,而且有一个A*类型的参数,这个函数指针待会儿用来保存从vtbl里取出的函数地址。
  A* p=new B; new B是向内存(内存分5个区:全局名字空间,自由存储区,寄存器,代码空间,栈)自由存储区申请一个内存单元的地址然后隐式地保存在一个指针中.然后把这个地址赋值给A类型的指针P
  long lVptrAddr; 这个long类型的变量待会儿用来保存vptr的值。
  memcpy(&lVptrAddr,p,4); 前面说了,他们的实例对象里只有vptr指针,所以我们就放心大胆地把p所指的4bytes内存里的东西复制到lVptrAddr中,所以复制出来的4bytes内容就是vptr的值,即vtbl的地址。

  现在有了vtbl的地址了,那么我们现在就取出vtbl第一个slot里的内容。
  memcpy(&fun,reinterpret_cast<long*>(lVptrAddr),4); 取出vtbl第一个slot里的内容,并存放在函数指针fun里。需要注意的是lVptrAddr里面是vtbl的地址,但lVptrAddr不是指针,所以我们要把它先转变成指针类型。
  fun(p); 这里就调用了刚才取出的函数地址里的函数,也就是调用了B::fun()这个函数,也许你发现了为什么会有参数p,其实类成员函数调用时,会有个this指针,这个p就是那个this指针,只是在一般的调用中编译器自动帮你处理了而已,而在这里则需要自己处理。
  delete p; 释放由p指向的自由空间。
  system("pause"); 屏幕暂停。

  如果调用B::fun2()怎么办?那就取出vtbl的第二个slot里的值就行了。
  memcpy(&fun,reinterpret_cast<long*>(lVptrAddr+4),4); 为什么是加4呢?因为一个指针的长度是4bytes,所以加4。或者memcpy(&fun,reinterpret_cast<long*>(lVptrAddr)+1,4); 这更符合数组的用法,因为lVptrAddr被转成了long*型别,所以+1就是往后移sizeof(long)的长度

再看下一段代码
  #include<iostream>
  using namespace std;
  class A{ //虚函数示例代码2
  public:
  virtual void fun(){ cout<<"A::fun"<<endl;}
  virtual void fun2(){cout<<"A::fun2"<<endl;}
  };
  class B:public A{
  public:
  void fun(){ cout<<"B::fun"<<endl;}
  void fun2(){ cout<<"B::fun2"<<endl;}
  }; //end//虚函数示例代码2
  int main(){
  void (A::*fun)(); //定义一个函数指针
  A *p=new B;
  fun=&A::fun;
  (p->*fun)();
  fun = &A::fun2;
  (p->*fun)();

  delete p;
  system("pause");
  }
  你能估算出输出结果吗?如果你估算出的结果是A::fun和A::fun2,呵呵,恭喜恭喜,你中圈套了。其实真正的结果是B::fun和B::fun2,如果你想不通就接着往下看。给个提示,&A::fun和&A::fun2是真正获得了虚函数的地址吗?
  首先我们回到第二部分,通过段实作代码,得到一个“通用”的获得虚函数地址的方法
  #include<iostream>
  using namespace std;
  //将上面“虚函数示例代码2”添加在这里
  void CallVirtualFun(void* pThis,int index=0){
  void (*funptr)(void*);
  long lVptrAddr;
  memcpy(&lVptrAddr,pThis,4);
  memcpy(&funptr,reinterpret_cast<long*>(lVptrAddr)+index,4);
  funptr(pThis); //调用
  }

  int main(){
  A* p=new B;
  CallVirtualFun(p); //调用虚函数p->fun()
  CallVirtualFun(p,1);//调用虚函数p->fun2()
  system("pause");
  }

CallVirtualFun方法
  现在我们拥有一个“通用”的CallVirtualFun方法。这个通用方法和第三部分开始处的代码有何联系呢?联系很大。由于A::fun()和A::fun2()是虚函数,所以&A::fun和&A::fun2获得的不是函数的地址,而是一段间接获得虚函数地址的一段代码的地址,我们形象地把这段代码看作那段CallVirtualFun。编译器在编译时,会提供类似于CallVirtualFun这样的代码,当你调用虚函数时,其实就是先调用的那段类似CallVirtualFun的代码,通过这段代码,获得虚函数地址后,最后调用虚函数,这样就真正保证了多态性同时大家都说虚函数的效率低,其原因就是,在调用虚函数之前,还调用了获得虚函数地址的代码。

转载于:https://www.cnblogs.com/raiven2008/p/4260881.html

虚函数如何实现多态 ?相关推荐

  1. C++语言虚函数表实现多态原理

    首先介绍一下为什么会引进多态呢,基于c++的复用性和拓展性而言,同类的程序模块进行大量重复,是一件无法容忍的事情,比如我设置了苹果,香蕉,西瓜类,现在想把这些东西都装到碗这个函数里,那么在主函数当中, ...

  2. 【C++】多态 —— 条件 | 虚函数重写 | 抽象类 | 多态的原理

    多态 1. 多态 2. 多态的定义和实现 2.1 多态的条件 2.2 虚函数重写的两个例外 2.2.1 协变 2.2.2 析构函数的重写 2.3 只有父类带 virtual 的情况 2.4 C++11 ...

  3. c语言支持虚函数,C语言多态虚函数.doc

    中类的多态与虚函数的使用 出处:PConline 2005年03月16日 作者:管宁 责任编辑:xietaoming 文章导读:类的多态特性是支持面向对象的语言最主要的特性,很多人错误的认为,支持类的 ...

  4. 【C++】多态(万字详解) —— 条件 | 虚函数重写 | 抽象类 | 多态的原理

  5. C++多态中虚函数的深入理解

    c++中动态多态性是通过虚函数来实现的.静态多态性是通过函数的重载来实现的,在程序运行前的一种早绑定,动态多态性则是程序运行过程中的一种后绑定.根据下面的例子进行说明. #include <io ...

  6. 【C++ 语言】面向对象 ( 继承 | 重写 | 子类调用父类方法 | 静态多态 | 动态多态 | 虚函数 | 纯虚函数 )

    文章目录 类的继承 方法的重写 子类中调用父类方法 多态 虚函数 虚函数示例 纯虚函数 相关代码 类的继承 1. 继承表示 : C++ 中继承可以使用 ":" 符号 , 格式为 & ...

  7. 复习笔记(五)——C++多态和虚函数

    静态绑定与动态绑定 静态绑定: -编译时就能确定一条函数调用语句要调用的函数 -在程序编译时多态性体现在函数和运算符的重载上 动态绑定: -运行时才能确定函数调用语句调用的函数 -程序运行时的多态性通 ...

  8. C++编程思想:继承与虚函数以及多态

    文章目录 简介 实现虚函数多态的技术原理 对象切边 析构函数和构造函数中的虚函数 使用继承的类的析构函数应该使用虚函数修饰符 简介 继承与虚函数与多态是浑然一体的三个概念,父类中虚函数可以表现出多态特 ...

  9. C++_虚继承_虚函数_纯虚函数(多继承的二义性,多态)

    基本信息 每一个类都有一个虚表,以及虚表指针; 虚表的内容是编译器决定的,虚表中用于存放虚函数的指针, 程序运行时的类型信息等; 每个多态对象都存放着一个指向当前类型的虚表的指针, 该指针在构造函数中 ...

  10. 初入c++(六)虚函数实现多态,虚析构函数,虚函数表和多态实现机制,纯虚函数。

    1.c++多态的概念以及用途. 1.1虚函数实现多态 通过基类指针只能够访问派生类的成员变量,不能够访问派生类的成员函数. 解决问题的办法:使用虚函数(virtual function),只需要在函数 ...

最新文章

  1. http://blog.sina.com.cn/s/blog_5bd6b4510101585x.html
  2. CYQ.DBImport 数据库反向工程及批量导数据库工具 V2.0 发布[增加批量导出数据库脚本及数据库设计文档]...
  3. word整个表格首行缩进_Word排版对不齐?别忘了这个明星按键
  4. 【Flutter】Dart的方法与箭头函数
  5. Ubuntu下安装配置Phabricator
  6. Android Studio 工程项目的结构
  7. 指派问题的遗传算法求解 Java实现
  8. Flutter开发之——动画-Lottie
  9. ubuntu 常用软件包安装、卸载和删除的方法
  10. 用银行卡号查相应的归属银行,卡种类
  11. 电子产品--耐久性试验--可靠性试验--热测试试验--老化试验
  12. 王之泰《面向对象程序设计(java)》课程学习总结
  13. 基于JavaEE的开放平台出租车系统_JSP网站设计_MySQL数据库设计
  14. ThreeJs 学习之旅(十六)—Physics(物理)
  15. 网站建设的几个细节小技巧@江苏一网推
  16. CPM、CPC、CPA、CPS、CPL、CPR 是什么意思 -解析互联网广告术语
  17. ArduPilot之开源代码基础知识Threading概念
  18. 手把手教你升级Keil MDK的ARM编译器
  19. Fresco+Recycleview+OKhttp+Retrofit
  20. Python 阿拉伯数字转换为中文大写数字

热门文章

  1. 别再透支你的社交信用了
  2. Centos7.x 装机优化
  3. mybatis的二表联合查询
  4. 设置windows服务依赖项
  5. 【Linux】解决Wesnoth中文乱码问题
  6. 增加javascript的trim函数
  7. mac 关闭 mysqld 进程(亲测可用)
  8. docker容器和宿主机时间不一致的问题
  9. Leetcode 224.基本计算器
  10. FormData 上传文件