C++程序运行时内存布局——this

非静态成员函数,无论是不是虚函数,都隐藏了一个this指针参数。这个参数的目的就是给函数提供一个基地址,以便于函数体内能找到对象的成员变量。那非静态成员函数是如何根据this指针找到成员变量的呢?直接看例子吧
1 没有虚表的情况

#include <iostream>
#include <stdio.h>
using namespace std;
class A
{
public:
	   int x;
   	int y;
public:
	void F1()
	{
   		this->x = 1;
   		this->y = 2;
   		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
int main(int argc, char** argv)
{
   	A a;
   	cout<<"a对象的地址是:"<<&a<<endl;
	   cout<<"a对象的大小是:"<<sizeof(A)<<endl;
	   cout<<"成员a.x的地址是: "<<&a.x<<endl;
   	cout<<"成员a.x的偏移是:"<<&A::x<<endl;
	   a.F1();
	   cin>>argc;
	   return 0;
}

那么函数F1的实现伪代码为:
*(this+&A::x-1) = 1;
*(this+&A::y-1) = 2;
其中&A::x是成员x的偏移+1,&A::y是成员y的偏移+1,这可是C++基本语法的知识,希望你知道,呵呵。可这些偏移量是相对应那里的偏移呢,是对象地址吗,答案是NO。是相对于第一个成员变量的偏移,这对于有些对象也许没有差别,但是对于有虚表的类的对象,就有差别了。这些偏移在编译期间就是确定了的。对于本例在VC++2010下&A::x,值为1, &A::y,值为5。为什么不是0,4,请看《Inside The C++ Object Model》。
所以,对于找到成员变量,需要进一步确定的只有this的值。程序运行结果如下:

可见此例中,对象的地址与this指针的地址相同,内存图如下所示。

2 有一个虚表的情况

#include <iostream>
#include <stdio.h>
using namespace std;
class A
{
public:
   	int x;
	   int y;
public:
	virtual void F1()
	{
		   this->x = 1;
		   this->y = 2;
   		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
int main(int argc, char** argv)
{
   	A* p = new A();
   	cout<<"a对象的地址是:"<<p<<endl;
	   cout<<"a对象的大小是:"<<sizeof(A)<<endl;
   	cout<<"成员a.x的地址是: "<<&p->x<<endl;
   	cout<<"成员a.x的偏移是:"<<&A::x<<endl;
	   p->F1();
   	cin>>argc;
   	return 0;
}

此时函数F1的实现伪代码为:
*(this+4+&A::x-1) = 1;  //+4是因为存在虚表指针
*(this+4+&A::y-1) = 2;  //+4是因为存在虚表指针
程序运行结果如下:

内存布局如下:

结论:this的值和对象地址相同,成员变量偏移量不因虚表指针存在而改变。带虚表的类的成员函数对成员变量的寻址方式不同,增加一个+4。
3 单继承的情况

#include <iostream>
#include <stdio.h>
using namespace std;
class A
{
public:
	int x;
	int y;
public:
	void F1()
	{
		this->x = 1;
		this->y = 2;
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
class B : public A
{
public:
	int z;
public:
	virtual void F2()
	{
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
int main(int argc, char** argv)
{
	B* pb = new B();
	cout<<"对象的地址为:"<<std::hex<<std::showbase<<pb<<endl;
	pb->F1();
	pb->F2();
	cin>>argc;
	return 0;
}

运行结果:

内存布局:

结论:this指针的值受两个因素确定,一是对象的地址,二是定义成员函数的类。This指向的是对象内,定义该方法的类得subobject。
4 多继承的情况
先看A没有虚函数,B有虚函数的情况

#include <iostream>
#include <stdio.h>
using namespace std;
class A
{
public:
	int x;
	int y;
public:
	void F1()
	{
		this->x = 1;
		this->y = 2;
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
class B
{
public:
	int z;
public:
	virtual void F2()
	{
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
class C : public A, public B
{
public:
	int a;
public:
	virtual void F2()
	{
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
	void F3()
	{
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
int main(int argc, char** argv)
{
	C* pc = new C();
	cout<<"对象的大小为:"<<sizeof(C)<<endl;
	cout<<"对象的地址为:"<<std::hex<<std::showbase<<pc<<endl;
	pc->F1();
	pc->F2();
	pc->F3();
	cin>>argc;
	return 0;
}

结果:

内存布局:

再看,如果A,B都有虚函数的情况。
代码:

#include <iostream>
#include <stdio.h>
using namespace std;
class A
{
public:
	int x;
	int y;
public:
	virtual void F1()
	{
		this->x = 1;
		this->y = 2;
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
class B
{
public:
	int z;
public:
	virtual void F2()
	{
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
class C : public A, public B
{
public:
	int a;
public:
	virtual void F2()
	{
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
	void F3()
	{
		cout<<"this指针得值是:"<<std::hex<<std::showbase<<this<<endl;
	}
};
int main(int argc, char** argv)
{
	C* pc = new C();
	cout<<"对象的大小为:"<<sizeof(C)<<endl;
	cout<<"对象的地址为:"<<std::hex<<std::showbase<<pc<<endl;
	cout<<"x的地址"<<&pc->x<<endl;
	cout<<"z的地址"<<&pc->z<<endl;
	pc->F1();
	pc->F2();
	pc->B::F2();
	pc->F3();
	cin>>argc;
	return 0;
}

结果:

内存布局:

结论:再一次验证了this指针的值的确定方法,this始终要保证指向定义了该成员函数的类得subobject。因为C++保证base class subobject与base class object完全对应,从而保证了成员函数能根据成员变量在定义了该变量的类中的偏移寻址。
转自:http://blog.csdn.net/smstong/article/details/6604388

Leave a Reply

Your email address will not be published. Required fields are marked *