大家好，又见面了，我是你们的朋友全栈君。
一个类的对象中实际只包含了该对象的数据成员信息，当我们创建了多个类的对象时，使对象1调用该类的成员函数，为什么可以改变对象1中的信息，而不去设置其他对象的信息？成员函数在类中只有一份，所有该类的对象共同使用，编译器是如何识别并处理的呢？
编译器识别一个类分为三步：
1.识别类的类名
2.识别类的成员变量
3.识别类的成员函数并对成员函数进行修改
修改方式：
成员函数有一个隐藏的this指针，它指向调用该函数的对象
编译器为每个成员函数多加了一个参数，即this指针，它指向当前对象，并在函数内部的每个成员变量前都加上this指针
编译器是这样处理的：
class Person
{
public:
void SetInfo(Person *this, const char * name, const char *gender, int age)
{
strcpy(this->_name, name);
strcpy(this->_gender, gender);
this->_age = age;
}
private:
char _name[20];
char _gender[3];
int _age;
};this指针的性质：
- this指针其本身的内容是不能被改变的，其类型为：类类型 * const
- this指针不是对象本身的一部分，不影响该对象的大小
- this指针的作用域在类的非静态成员函数的内部，只能在其内部进行使用，其他任何函数都不能，静态成员函数内部无this指针，后面会详述。
- this指针是类中非静态成员函数的第一个默认隐含参数，编译器自动传递和维护，用户不可显示传递
函数调用约定
是指当一个函数被调用时，函数的参数会被传递给被调用函数，返回值会被返回给调用函数，总之，就是函数调用者与被调函数之间关于参数传递，返回值传递，堆栈清理，寄存器使用的一种约定。
它需要二进制级别兼容的强约定，函数调用者和函数体若使用不同的调用约定，可能会造成程序执行错误。
几种常用的调用约定：
其中，_cdecl是C/C++的默认调用约定，VC的调用约定中并没有_thiscall这个关键字，它是类成员函数默认调用约定；
C/C++中的main函数的调用约定必须是_cdecl,不允许更改。
对于_cdecl调用约定，为什么是调用者而不是函数体自己来平衡堆栈呢？
在这里我们应该要考虑类似于像scanf和printf这样的函数，这里我们应该明白这两个函数的参数都是可变的，如果参数不固定的话，在被调用函数内就无法知道参数究竟使用了多少个字节，所以为了实现可变参数，我们必须要在被调函数执行之后我们才知道参数究竟用了多少字节，所以我们在调用者来进行堆栈平衡操作。
这里我们重点说一下_thiscall调用约定：
- 它只能用在类的成员函数上
- 参数从右向左进行压栈
- 若参数个数确定，this指针通过ecx寄存器传递给被调用者；若参数不确定，this指针在所有参数被压栈后压入堆栈。
- 对于参数不确定的函数，调用者清理堆栈，否则函数自己清理堆栈。
问题：this指针是否可以为空？
上代码测一下先：
class Test
{
public:
Test(int data = 0)
:_data(data)
{}
void A()
{
cout << "A():" << this << endl;
}
void B()
{
cout << _data << endl;
}
private:
int _data;
};
int main()
{
Test t;
Test *p = NULL;
p->A();
p->B();
}运行结果是：当走到 p->A();时，程序可以正常运行，运行结果是这：
而再接着往下走，走到p->B();时，程序崩溃。
为什么会这样呢？
分析一下：
函数A（）中未调用任何成员变量
函数B（）调用了成员变量_data
这里的p相当于一个this指针，当函数走到p->A();这一步时，编译器会将p交给ecx，再直接去调用A（）函数，由于A（）函数中未涉及取空指针中的内容，只是简单的打印，因此不会出现问题。
走到p->B();时，编译器会将_data修改成this->_data,而访问空指针中的内容程序一定崩溃。
因此，this指针是可以为空的，只要在成员函数内部不访问其内容，程序可以正常执行的，但是安全起见，我们还是不要让this指针为空指针最好。
发布者：全栈程序员-站长，转载请注明出处：https://javaforall.net/145721.html原文链接：https://javaforall.net
