#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;
}