当我们进入一个房子之后可以看见房子里的桌子、椅子、地板等,但是看不到房子的全貌。
对于一个类的实例来说,你可以看到看到他的成员函数,成员变量,但是实例本身呢,就像你想要看到房子里的东西,要先找到房子一样,想要访问实例里的成员,就先要找到此实例,那么为了实现这个愿望,c++定义了一个指针,this指针,他时时刻刻都指向这个实例。
我们可以通过反汇编来理解这个情况。
现在有一个日期类:
class Date
{
public :
Date(int year = 2016,int month = 10,int day = 15)
:_year(year)
,_month(month)
,_day(day)
{}
Date(const Data& date)
:_year(data._year)
,_month(data._month)
,_day(data._day)
{}
void Print()
{
cout<<this<<endl;
}
private :
int _year;
int _month;
int _day;
};
进行实例化 创建类的对象d:
Date d(2015,02,03);
反汇编代码为:
push 3
push 2
push 7DFh
lea ecx,[d] (将d取有效地址给寄存器ecx)
call Data::Data (011111A4h)
F11红色指令后:
mov dword ptr [this],ecx,
将ecx的值赋给this,及this指向实例d。
this指针特性:
(1):类型Date* const
假设this指向对象d,那么一下*pdate与this值相同:
Date *pdate = &Data,
这说明this为一个类型为Data的指针,创建实例d1,d2,d3;分别调用print成员函数:
Date d1;
d1.Print();
Data d2;
d2.Print();
Data d3;
d3.Print();
得结果:00D4FA0C
00D4F9F8
00D4F9E4
可以发现,this指针指向每个实例的首地址,且对于不同对象,this指针值不同。
以上,可知类型Date* const
(2):this指针并不是对像的本身的一部分,不影响sizeof的结果
对于以上日期类
函数存于代码段区域
sizeof结果为12
(3)this指针的作用域在类成员函数的内部
可将this定义在类成员函数外部进行测试
(4)this指针是类成员函数的第一个默认隐含参数,编译器自动维护传递,类编写者不能显示传递。
如上日期类中的print函数,看起来时无参的,其实编译器会给其一个隐含参数”Data *const this“
反汇编如下:
d1.Print();
lea ecx,[d1]
call Data::Print (0E9144Ch)
F11红色指令:
mov dword ptr [this],ecx
可见。
且若在类中加入以下成员函数:
void Test(const Date& date)
{
_year = date._year;
_month = date._month;
_day = date._day;
}
在函数改写阶段,函数被改写为:
void Test(Date *const this,const Date &date)
{
this->_year = date._year;
this->_month = date._month;
this->_day = date._day;
}
(5)只有在类的非静态成员函数中才可以使用this指针,其他任何函数都不可以。