在 C++ 中对于数据和操作进行封装的过程中是分开存储的,并且每一个非内联成员函数只会诞生一份函数实例,也就是说多个同类型的对象会共用一块代码,C++通过特殊的对象指针(this 指针)区分调用的对象,this 指针指向被调用的成员函数所属的对象。
概念:
C++ 规定,this 指针是隐含在对象成员函数内(实际存放于形参中)的一种指针。
当一个对象被创建后,它的每一个成员函数都含有一个系统自动生成的隐含 this 指针,用以保存这个对象的地址,也就是说虽然我们没有写上 this 指针,编译器在编译的时候也是会加上的。
因此 this 指针也称为“指向本对象的指针”,this 指针并不是对象的一部分,不会影响sizeof的结果。
this 指针是 C++ 实现封装的一种机制,它将对象和该对象调用的成员函数连接在一起,在外部看来,每一个对象都拥有自己的函数成员。
this 指针的本质:当一个对象调用某成员函数时,编译器会隐式传入一个参数,这个参数就是 this 指针:
this 指针中存放的就是这个对象的首地址
其实编译器在生成程序的过程时,加入了获取对象首地址的相关代码,并把获取的首地址存放在了寄存器ECX之中(不同编译器可能不同)
成员函数的其它参数都是存放在栈之中的,而 this 指针参数则是存放在寄存器之中(不同编译器可能不同)。
this 指针永远指向当前对象,是不可改变的,并且无需定义,可直接使用。
由于静态成员是由类实例化的所有对象公共的,所以静态成员没有 this 指针,静态成员函数由于没有 this 指针这个参数,所以不能操作非静态成员变量。
类中定义的非静态成员函数,编译器会隐式的添加一个形参 this,在调用非静态成员函数时,编译器会对 this 传递当前对象的地址,所以在函数中就可以使用 this 指代当前对象。
this 指针的使用:
当形参和成员变量同名时,可用 this 指针来区分
在类的非静态成员函数中可使用 return *this 返回对象本身(链式编程)
当声明一个为空(NULL)的对象指针,虽然该指针没有指向任何空间,但是编译器还是会为其添加this指针,只是该this指针也为空,当使用该空指针调用成员函数时,若函数中并没有使用到this指针(没有用到对象成员属性和this指针),该函数调用将可以实现
举个例子:
class CNullPointCall
{
public :
static void Test1();
void Test2();
void Test3( int iTest);
void Test4();
private :
static int m_iStatic;
int m_iTest;
};
int CNullPointCall::m_iStatic = 0 ;
void CNullPointCall::Test1()
{
cout << m_iStatic << endl;
}
void CNullPointCall::Test2()
{
cout << " Very Cool! " << endl;
}
void CNullPointCall::Test3( int iTest)
{
cout << iTest << endl;
}
void CNullPointCall::Test4()
{
cout << m_iTest << endl;
}
这样调用:
CNullPointCall * pNull = NULL; // 没错,就是给指针赋值为空
pNull -> Test1(); // call 1
pNull -> Test2(); // call 2
pNull -> Test3( 13 ); // call 3
pNull -> Test4(); / / call 4
运行结果是除了 call 4 那行代码与其余3行代码的本质区别是使用到了 this 指针。
对于类成员函数而言,并不是一个对象对应一个单独的成员函数体,而是此类的所有实例化对象都公用这个成员函数体。当程序被编译之后,此成员函数地址即已确定。而成员函数之所以能把属于此类的各个数据区分开来就是靠这个 this 指针,函数体内所有对类数据成员的访问,都会转化成 this - > 数据成员 的方式。
而一个 this 指针并不是对象本身的一部分,不会影响对象“sizeof”的结果,this 的作用域在类内部,当在类的非静态成员函数中访问类的非静态成员的时候,编译器会自动将对象本身的地址作为一个隐含参数传递给函数,也就是说,即使我们没有写上 this 指针,编译器在编译的时候也是会加上 this 的。例如上一个例子中,Test4 想要访问类的成员变量,因此会使用到 this 指针,这个时候会发现 this 指针的值是 NULL,就会造成程序崩溃。