前提:存在多态性(虚函数)
版本1
1、每个类都会维持一份虚表(该表存的是虚函数的入口地址)
2、每个类产生一个对象时,都会产生一个虚指针,该指针指向对应类的虚表
3、当基类指针指向派生类对象,调用相关操作时:
基类指针首先指向派生类对象虚指针(派生类对象虚指针当然是指向派生类对象虚表了),通过该指针遍历虚表,
若匹配,则执行该操作(即派生类函数),若无(不匹配,相关操作对应的函数为非虚函数,虚表本来就是存放虚函数地址的),
则基类指针就指向派生类的普通函数地址直接遍历,执行操作,
若还未找到就去基类的普通函数地址中找,执行操作。
版本2
1、每个类都会维持一份虚表(该表存的是虚函数的入口地址)
2、每个类也会维持一个虚指针(我想应该是静态的),该指针指向对应类的虚表
3、当基类指针指向派生类对象,调用相关操作时:
基类指针首先指向派生类对象虚指针(派生类对象虚指针当然是指向派生类对象虚表了),通过该指针遍历虚表,
若匹配,则执行该操作(即派生类函数),则基类指针就指向派生类的普通函数地址直接遍历,执行操作,
若还未找到就去基类的普通函数地址中找,执行操作。
版本3
1、每个类都会维持一份虚表(该表存的是虚函数的入口地址)
2、每个类产生一个对象时,都会产生一个虚指针,但是,该指针是动态绑定的,可以指向基类也可以是派生类
3、当基类指针指向派生类对象,调用相关操作时:
基类指针指向该虚指针,而该指针首先指向派生类虚表,通过该指针遍历虚表,
若匹配,则执行该操作(即派生类函数),若无(不匹配,相关操作对应的函数为非虚函数,虚表本来就是存放虚函数地址的),
则该指针就指向派生类的普通函数地址直接遍历,执行操作,
若还未找到就去基类的普通函数地址中找,执行操作。
注意:
1、虚指针是属于类的还是伴随着对象的产生而产生?
2、sizeof(classname)字节要多4字节(貌似是虚指针),这样虚指针是属于类的,若属于类,则应该是静态的,而静态的是不占类字节大小的,何解?