在64位下运行
单个类带虚函数的数据成员布局
类中引入虚函数时,会有额外的成本付出
(1)编译的时候,编译器会产生虚函数表,参考三章五节
(2)对象中会产生 虚函数表指针vptr,用以指向虚函数表的
(3)增加或者扩展构造函数,增加给虚函数表指针vptr赋值的代码,让vptr指向虚函数表;
(4)如果多重继承,比如你继承了2个父类,每个父类都有虚函数的话,每个父类都会有vptr,那继承时,子类就会把这两根vptr都继承过来,
如果子类还有自己额外的虚函数的话,子类与第一个基类共用一个vptr(三章四节)(自己的虚函数地址在第一个虚函数表里);
(5)析构函数中也被扩展增加了虚函数表指针vptr相关的赋值代码,感觉这个赋值代码似乎和构造函数中代码相同;
class MYACLS
{
public:
int m_i;
int m_j;
virtual void myvirfunc() {} //虚函数
MYACLS()
{
int abc = 1; //方便加断点
}
~MYACLS()
{
int def = 0;//方便加断点
}
};
图是32位下:(64位不同)
单一继承父类带虚函数的数据成员布局
布局上图右
#include <iostream>
using namespace std;
class Base
{
public:
int m_bi;
virtual void mybvirfunc() {}
};
class MYACLS :public Base
{
public:
int m_i;
int m_j;
virtual void myvirfunc() {} //虚函数
MYACLS()
{
int abc = 1; //方便加断点
}
~MYACLS()
{
int def = 0;//方便加断点
}
};
int main()
{
cout << sizeof(MYACLS) << endl;
//偏移值(相对父类或者子类this指针的)
printf("MYACLS::m_bi = %d\n", &MYACLS::m_bi);
printf("MYACLS::m_i = %d\n", &MYACLS::m_i);
printf("MYACLS::m_j = %d\n", &MYACLS::m_j);
MYACLS myobj;
myobj.m_i = 3;
myobj.m_j = 6;
myobj.m_bi = 9;
/*
24
MYACLS::m_bi = 8
MYACLS::m_i = 16
MYACLS::m_j = 20
*/
return 1;
}
注解: myobj内存地址, vptr,父类m_bi ,补全,子类m_i, 子类m_j
单一继承父类不带虚函数的数据成员布局
#include <iostream>
using namespace std;
class Base
{
public:
int m_bi;
//virtual void mybvirfunc() {}
};
class MYACLS :public Base
{
public:
int m_i;
int m_j;
virtual void myvirfunc() {} //虚函数
MYACLS()
{
int abc = 1; //方便加断点
}
~MYACLS()
{
int def = 0;//方便加断点
}
};
int main()
{
cout << sizeof(MYACLS) << endl;
//偏移值(相对父类或者子类this指针的)
printf("MYACLS::m_bi = %d\n", &MYACLS::m_bi);
printf("MYACLS::m_i = %d\n", &MYACLS::m_i);
printf("MYACLS::m_j = %d\n", &MYACLS::m_j);
MYACLS myobj;
myobj.m_i = 3;
myobj.m_j = 6;
myobj.m_bi = 9;
/*
24
MYACLS::m_bi = 0
MYACLS::m_i = 12
MYACLS::m_j = 16
*/
return 1;
}
注解: myobj内存地址, vptr,父类m_bi ,子类m_i, 子类m_j,补全
可以看到虽然父类成员m_bi偏移为0,但是实际上还是vptr在最前面!
结论:
this指针,加上偏移值 就的能够访问对应的成员变量,比如m_bi = this指针+偏移值,关于this指针见下一节(父类不带虚函数,即没有vptr,所以父类首地址(this)其实是m_bi地址)