1.C++的类成员函数中,默认都隐含了一个this指针,标识调用该成员函数的对象,每个成员函数的第一个参数实际上都是有个默认 this 指针参数;
2.为什么需要有一个this指针呢?C++设计这个机制的初衷是什么呢?
我们知道,普通的C++类,其成员函数是类的所有对象共享的,而数据是每个对象所独有的.即:数据独有,方法共享
因此在调用类的某个成员方法(非静态方法)时,我怎么知道是哪个对象调用的呢?此时就是通过this指针来区分的,通过this指针我可以区分是该类的哪个对象正在调用该成员方法.
注意事项:
a.this指针不属于对象本身的一部分,不会影响sizeof作用于某个类对象的结果,因为sizeof本身也是求对象所对应的类的大小,与对象无关
b.this指针的作用域在类内部,当在类的非静态成员函数中访问类的非静态成员的时候,编译器会自动将对象本身的地址作为一个隐含参数传递给函数。也就是说,即使你没有写上this指针,编译器在编译的时候也是加上this的,它作为非静态成员函数的隐含形参,对各成员的访问均通过this进行。
理解:
要想理解 C++ 的 this 指针,我们可以先把下面的 C++ 代码转换成 C 代码:
class Car
{
public:
int m_price; // 成员变量
void SetPrice(int p) // 成员函数
{
m_price = p;
}
};
int main()
{
Car car;
car.SetPrice(20000); // 给car对象m_price成员变量赋值
return 0;
}
C 语言是没有类定义的class关键词,但是有跟class类似的定义,那就是结构体struct。
m_price变量是Car类的成员变量,那么我们可以把Car类和成员变量翻译成如下的 C 代码:
// 结构体Car
struct Car
{
// price变量是属于Car结构体这个域里的变量
int price;
};
SetPrice函数是Car类的成员函数,但是 C 程序里是没有成员函数这种概念的,所以只能把成员函数翻译成全局的函数:
// 参数1:结构体Car的指针
// 参数2:要设置的价格变量
void SetPrice(struct Car* this, int p)
{
this->price = p; // 将传入的Car结构体的price变量赋值
}
为什么要加个 this 的指针呢?我们继续往下看。
在这里我们把上面main函数下面的 C++ 程序翻译 C 程序是这样的:
int main()
{
struct Car car;
SetPrice( &car, 20000);
return 0;
}
所以最终把上述的 C++程序 转换成C 程序的代码如下:
struct Car
{
int price;
};
void SetPrice(struct Car* this, int p)
{
this->price = p;
}
int main()
{
struct Car car;
SetPrice( &car, 20000); // 给car结构体的price变量赋值
return 0;
}
02 this指针的作用
其作用就是指向成员函数所作用的对象,
所以非静态成员函数中可以直接使用 this 来代表指向该函数作用的对象的指针。
#include <iostream>
class Car
{
public:
int m_price;
void PrintPrice()
{
std::cout << m_price << std::endl;
}
void SetPrice(int p)
{
this->m_price = p; // 等价于 m_price = p;
this->PrintPrice();// 等价于 PrintPrice();
}
Car GetCar()
{
return *this; // 返回该函数作用的对象
}
};
int main(void)
{
Car car1, car2;
car1.SetPrice(20000);
// GetCar()成员函数返回所作用的car1对象,所把返回的car1赋值给了car2
car2 = car1.GetCar();
car2.PrintPrice();
return 0;
}
输出结果:20000 20000
接下来我们下面的代码,你觉得输出结果是什么呢?会出错吗?
class A
{
int i;
public:
void Hello() { cout << "hello" << endl; }
};
int main()
{
A * p = NULL;
p->Hello(); //结果会怎样?
}
答案是正常输出hello,你可能会好奇明明 p 指针是空的,不应该是会程序奔溃吗?别着急,我们先把上面的代码转换C程序,就能理解为什么能正常运行了。
void Hello() { cout << "hello" << endl; }
# 成员函数相当于如下形式:
void Hello(A * this ) { cout << "hello" << endl; }
p->Hello();
# 执行Hello()形式相当于:
Hello(p);
所以,实际上每个成员函数的第一个参数默认都有个指向对象的 this 指针,上述情况下如果该指向的对象是空,相当于成员函数的第一个参数是NULL,那么只要成员函数没有使用到成员变量,也是可以正常执行。
下面这份代码执行时,就会奔溃了,因为this指针是空的,使用了 空的指针指向了成员变量i,程序就会奔溃。
class A
{
int i;
public:
void Hello() { cout << i << "hello" << endl; }
// ->> void Hello(A * this ) { cout << this->i << "hello" << endl; }
};
int main()
{
A * p = NULL;
p->Hello(); // ->> Hello(p);
}