this指针指向的是当前对象的起始地址,这个大家都知道。this指针变量是编译器所维护的,对于程序员来说属于const,是一个定值。一般对象创建调用构造函数时,通过编译器在构造函数里‘偷偷’安插的代码完成this指针变量的赋值。所以下面的代码输出结果是一致的。
- #include <iostream>
- using namespace std;
- class Test
- {
- public:
- Test()
- {
- cout<<this<<endl;
- }
- };
- int main()
- {
- Test test;
- cout<<&test<<endl;
- system("pause");
- }
现在谈一下this指针对于编译器的作用:
由于类成员函数不同于一般的函数,类成员函数一般要修改对象里的成员变量,对于c语言中一个函数要修改一个struct中变量的值一般是函数有一个结构体类型的参数,正如下面的代码:
- #include <iostream>
- using namespace std;
- struct Test
- {
- int a;
- int b;
- };
- void Change(Test * t)
- {
- t->a=1;
- t->b=2;
- }
- int main()
- {
- Test test;
- test.a=0;
- test.b=0;
- cout<<test.a<<endl;
- cout<<test.b<<endl;
- cout<<"after changed:"<<endl;
- Change(&test);
- cout<<test.a<<endl;//输出1
- cout<<test.b<<endl;//输出2
- system("pause");
- }
c语言中的函数通过类似上面的方法,修改结构体成员的值。而c++中则可以直接用如下的方式:
- #include <iostream>
- using namespace std;
- struct Test
- {
- int a;
- int b;
- void Change()
- {
- a=1;
- b=2;
- }
- };
- int main()
- {
- Test test;
- test.a=0;
- test.b=0;
- cout<<test.a<<endl;
- cout<<test.b<<endl;
- cout<<"after changed:"<<endl;
- test.Change();
- cout<<test.a<<endl;//输出1
- cout<<test.b<<endl;//输出2
- system("pause");
- }
上如方法比c语言显得优雅一些,但实际上test.Change();调用方式编译器的内部实现和Change(&test)相似的,甚至可以说比
Change(&test)要效率低些。其中this指针就扮演了&test相同作用的角色。对于类的声明,编译器获得了必要类对象的内存布局的信息,对于对象中各数据成员相对于对象起始地址的偏移量了如指掌了。如下代码:
- #include <iostream>
- using namespace std;
- class Test
- {
- public:
- int a;
- int b;
- };
- int main()
- {
- Test test;
- printf("%d/n",&Test::a);//输出0
- printf("%d/n",&Test::b);//输出4
- //不要用cout,可能是operator<<实现问题,
- //cout<<&Test::b变成了判断是否为真从而
- //得不到正确的结果
- //cout<<&Test::a<<endl;
- //cout<<&Test::b<<endl;
- system("pause");
每个类的对象在内存的布局中包含了类中所声明的非静态的数据成员,一旦知道了对象的起始地址,也就说this值一旦确定,编译器通过this指针+偏移量就能访问和操作类成员变量的值了。所以this指针的作用之一也在于此。接着上面说到类成员函数
是如何访问类成员变量的,其实分析到这儿,相信您也已经基本明白了。对,编译在实现成员函数调用时,隐式的传入this指针
- #include <iostream>
- using namespace std;
- class Test
- {
- public:
- Test():a(1),b(2){}
- int a;
- private:
- int b;
- };
- int main()
- {
- Test test;
- //a相对于对象的起始地址偏移为0
- //也就是说从对象的起始地址起往下
- //涵盖4个字节的内存是a所对应的内存
- cout<<*(int*)&test<<endl;//输出1
- //偏移4个字节后,再往下涵盖4个字节就是b对应
- //内存,注意b是private的,通过指针是可以访问
- //对象的私有变量的。
- cout<<*(int*)((int)&test+4)<<endl;//输出2
- system("pause");
- }
所以,对于this指针编译器主要用来访问对象中的数据成员的。
- #include <iostream>
- using namespace std;
- class Test
- {
- public:
- Test():a(1),b(2){}
- int a;
- int b;
- };
- typedef int Test::*Pmeb;
- int main()
- {
- ios::sync_with_stdio();
- Test test;
- Pmeb p=&Test::b;
- printf("%d/n",p);//输出4
- cout<<test.*p<<endl;//输出2
- system("pause");
- }
还有指向类中非静态成员函数的指针,完成函数调用必须通过类的对象,由于隐式传入this指针的原因,如下代码:
- #include <iostream>
- using namespace std;
- class Test
- {
- public:
- Test():a(1),b(2){}
- int a;
- int b;
- void Print()
- {
- cout<<a<<endl;
- cout<<b<<endl;
- }
- };
- typedef void (Test::*Pfmeb)();
- int main()
- {
- Test test;
- Pfmeb p=&Test::Print;
- (test.*p)();
- system("pause");
- }
像static成员函数只能访问static成员变量和调用static函数的原因也是由于this指针的原因,static成员函数没有this指针。