对象在调用成员函数时做了什么&This指针

#include<iostream>

using namespace std;

class Parent {
private:
	int a;
public:
	Parent(int num) :a(num) {}
	int get_value();
};

int Parent::get_value() {
	return a;
}

int main() {
	Parent item1(5);
	Parent item2(10);
	cout << item1.get_value() << endl;
	cout << item2.get_value() << endl;
	return 0;
}

我们给Parent对象创建了两个实例item1和item2并输出了他们各自的a的值。问题是，get_value方法并不属于对象，当我们分别对item1和item2调用get_value方法时，编译器是怎么知道我们想获取的a的值来自哪一个对象呢？其实，如果把以上代码改写成C风格的代码，这个问题的答案就会非常明显。

struct Parent{
	int a;
};

void Init_Parent(Parent *pthis, int num){
	pthis->a = num;
} 

int get_value(Parent *pthis){
	return pthis->a;
}

当我们在调用实例的get_value方法的时候，相当于传入了类类型的指针（类类型的指针也是可以指向对象的），实际上就是传入了不同对象的指针，以此来获得不同对象的a的值。

c++当中有个特别的指针叫做this指针。this指针就是指向成员函数所作用的对象的指针。对于get_value函数，我们可以用this指针改写成下面的形式：

int Parent::get_value() {
	return this->a;
}

实际上，在我们调用get_value函数时，编译器隐式的传入了Parent *this。我们也可以将构造函数改为this指针的类型：

class Parent {
private:
	int a;
public:
	Parent(int num){
		this->a = num;
	}
	int get_value();
};

那么this指针是一个什么样的指针呢？在C当中，我们可以对一个普通的指针进行自增或自减操作，但对于this指针，这样的操作室违法的。this指针是一个常量指针，它所指向的对象可以可以发生改变，但它自身是不可发生变化的。在我们的例子当中，this指针的类型是Parent *const this。如果不想在get_value中改变a的值，可以在this加上const把它变为指向常量的常量指针即可。不过，很遗憾，这样做是非法的。在c++的变态语法中，const 是被添加到get_value后面来改变this的类型的。

class Parent {
private:
	int a;
public:
	Parent(int num){
		this->a = num;
	}
	int get_value() const;
};

int Parent::get_value() const {
	return this->a;
}