C++入门 04 _ 类成员函数的this指针

	class Date
	{
	public:
		void Display()
		{
			cout << _year << "-" << _month << "-" << 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两个成员函数, 函数体中没有关于不同对象的区分, 那么当s1调用SetDate函数时,该函数是如何知道应该设置s1对象, 而不是设置s2对象呢?

C++中通过引入this指针解决问题, 即:C++编译器给每个"非静态的成员函数"增加了一个隐藏的指针参数, 让该指针指向当前对象(函数运行时调用该函数的对象), 在函数体中所有成员变量的操作,都是通过该指针去访问. 只不过所有的操作对用户是透明的, 即用户不需要来传递, 编译器自动完成,

那么, 其实上面的Display函数和SetDate其实是长这个样子的

void Display( Date* this)
void SetDate(Date* this, int year, int month, int day)

那么结合一下这个Date类 , 我们来调试看看具体是怎么一回事儿呢?

 1. 首先我们可以看到this的类型是Date*  , 它是指向日期类的一个指针

2.  其次, 当程序运行到箭头指向的语句时 即d1.SetDate函数时, this指针就是d1的地址 , d2同理.

由此, 清楚了this指针的作用和调用过程.

那么接下去, 我们补充一下this指针的一些特性

1.  this指针的类型 : Date *const this, 这里的Date是你定义的类

那么为什么是Date *const呢, 因为我们可以通过指针的解引用去修改函数内的变量, 但是无法更改this指针指向的位置.   这里复习一下, *解引用操作符在const左边是限制指针指向, 在const右边是限制指针指向的地址上的值不能被修改.  简单记忆为左址右值.

2. this指针可以为空么?

	class A {
	public:
		void PrintA()
		{
			cout << _a << endl;
		};
		void Show()
		{
			cout << "Show()" << endl;
		}
	private:
		int _a;
	};

	int main()
	{
	/*	Date d1, d2;
		d1.SetDate(2018, 5, 1);
		d2.SetDate(2018, 7, 1);
		d1.Display();
		d2.Display();*/

		A* p = nullptr;
		p->PrintA();
		p->Show();
		return 0;

	}

1. 请问上面的代码能通过编译么?

2. 程序运行会崩溃么?  在哪里崩溃

解析:  可以通过编译, 语法上没有错误.  

        会崩溃, 在PrintA函数中崩溃,  因为p是一个空指针, this指针是指向指针p的, PrintA函数要打印变量int _a, 空指针解引用就会崩溃.  Show函数是打印字符串, 没有对空指针进行解引用.