C++程序运行时内存布局之----------this到底是什么？

最新推荐文章于 2021-11-09 02:15:55 发布

编程小问号

最新推荐文章于 2021-11-09 02:15:55 发布

阅读量473

点赞数

分类专栏： C/C++

C/C++ 专栏收录该内容

197 篇文章 2 订阅

订阅专栏

先问一个问题，在C++里，成员函数里的this指针和调用此函数的对象地址总是一样的吗？如果你的回答是：不一定。那么至少你是个老手吧，下面的内容你就不用看了；如果你的回答是：是啊，那么强烈建议你看看下面的内容。

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

1没有虚表的情况

view plain copy to clipboard print ?

#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;
}

[cpp] view plain copy print ?

#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有一个虚表的情况

view plain copy to clipboard print ?

#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;
}

[cpp] view plain copy print ?

#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单继承的情况

view plain copy to clipboard print ?

#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;
}

[cpp] view plain copy print ?

#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有虚函数的情况

view plain copy to clipboard print ?

#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;
}

[cpp] view plain copy print ?

#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都有虚函数的情况。

代码：

view plain copy to clipboard print ?

#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;
}

[cpp] view plain copy print ?

#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;}

结果：