C++：this指针是什么？

---

指针的引出

#include <iostream>
using namespace std;

//定义一个日期类Date
class Date
{
public :
    void Display ()
    {
        cout <<_year<< "-" <<_month << "-"<< _day <<endl;
    }
    void SetDate(int year, int month, int day)
    {
        _year = year;
        _month = month;
        _day = day;
    } 
private :
    int _year ; // 年 
    int _month ; // 月 
    int _day ; // 日
};

int main() {
    Date d1, d2;
    d1.SetDate(2018,5,1);
    d2.SetDate(2018,7,1);
    d1.Display();
    d2.Display();
    return 0; 
}

对于上述类，有这样的一个问题:

Date类中有SetDate与Display两个成员函数，函数体中没有关于不同对象的区分，那当d1调用SetDate函数时，该函数是如何知道应该设置d1对象，而不是设置d2对象呢?

C++中通过引入this指针解决该问题：

• C++编译器给每个“成员函数“增加了一个隐藏的指针参数，让该指针指向当前对象(函数运行时调用该函数的对象)，在函数体中所有成员变量的操作，都是通过该指针去访问。只不过所有的操作对用户是透明的，即用户不需要来传递，编译器自动完成。
  

举例：

class Test
{
public:
    Fun(int a)
    {
        //doSomething
    }
private:
    int a;
};

Fun(int a)是Test的非静态成员函数，所以编译器在编译期间改写该函数时，会自动将一个名为this的指针当作为第一个参数传入。（类似于：Fun(Test* const this，int a);）

this指针的类型是：T * const (T 是类类型)

this指针是什么？

关于this指针超级经典的一段话：
当你进入一个房子后，
你可以看见桌子、椅子、地板等， 　　
但是房子你是看不到全貌了。
　　
对于一个类的实例来说， 　　
你可以看到它的成员函数、成员变量， 　　
但是实例本身呢？ 　　
this是一个指针，它时时刻刻指向你这个实例本身。

this指针的六大属性：

这些属性是我们对于this指针应该以何种方式正确使用的基础。

1. 名称属性：标识符this表示。
2. 类型属性：类类型* const（类似于类引用的类型）
3. 值属性：表示当前调用该函数对象的首地址。
4. 作用域：this指针是编译器默认传给类中 非静态函数的隐含形参，所以其作用域在非静态成员函数的函数体内。
5. 链接属性：在该类作用域中，不同类的非静态成员函数中，this这个指针变量的链接属性是内部的，但其所指对象是外部的，即this变量是不同的实体，但指向对象是同一个。(this指针本质上其实是一个成员函数的形参，是对象调用成员函数时，将对象地址作为实参传递给this形参。所以 对象中不存储this指针)
6. 存储类型：this指针是由编译器生成（this指针是成员函数第一个隐含的指针形参），当类的非静态成员函数的参数个数一定时，this指针存储在ecx寄存器中（自动传递，不需要用户去传递）；若该函数参数个数未定（可变参数函数），则存放在栈中。

总结：

• 一般成员函数中都含有一个this指针，这个指针指向调用这个成员函数的对象
• 成员函数中，this指针中的成员不需要使用this指针访问，直接访问即可
• this的类型是当前类类型的指针，this是一个常量指针，不能更改指向
• this指针可以为空，只要空指针指向成员函数，如果成员函数恰好没有操作成员变量，所以成员函数在公共区域
• 空指针没有空间，没有空间就没有成员变量，但是它有成员函数

提问：

1. this指针储存在哪里?

其实编译器在生成程序时加入了获取对象首地址的相关代码。并把获取的首地址存放在了寄存器ECX中(VC++编译器是放在ECX中，其它编译器有可能不同)。也就是 成员函数的其它参数正常都是存放在栈中。而this指针参数则是存放在寄存器中。

类的静态成员函数因为没有this指针这个参数，所以类的静态成员函数也就无法调用类的非静态成员变量。

2. this指针可以为空吗?

可以为空，当我们在调用函数的时候，如果函数内部并不需要使用到this，也就是不需要通过this指向当前对象并对其进行操作时才可以为空(当我们在其中什么都不放或者在里面随便打印一个字符串)；如果调用的函数需要指向当前对象，并进行操作，则会发生错误（空指针引用）就跟C中一样不能进行空指针的引用。

// 1.下面程序能编译通过吗?			// 不能
// 2.下面程序会崩溃吗?在哪里崩溃	// 运行到p->PrintA();则崩溃

class A
{
public:
    void PrintA()
    {
        cout<<_a<<endl;
    }
	void Show() {
        cout<<"Show()"<<endl;
    }
private:
    int _a;
};
int main() {
    A *p = NULL;
    p->Show();	// 此处p的值最后是通过ecx寄存器传递给了this指针
    p->PrintA();// this 为空时，不能访问当前对象中的成员
}

---

如有不同见解，欢迎留言讨论～～～