关于this指针

大家好，又见面了，我是你们的朋友全栈君。

一个类的对象中实际只包含了该对象的数据成员信息，当我们创建了多个类的对象时，使对象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指针为空指针最好。