this指针剖析

this指针

引出💦

我们先来定义一个日期类 Date

class Date
{
public:
void Init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout <<_year<< "-" <<_month << "-"<< _day <<endl;
}
private:
int _year; // 年
int _month; // 月
int _day; // 日
};
int main()
{
Date d1, d2;
d1.Init(2022,1,11);
d2.Init(2022, 1, 12);
d1.Print();
d2.Print();
return 0;
}

对于上述类，有这样的一个问题：
Date类中有 Init 与 Print 两个成员函数，函数体中没有关于不同对象的区分，那当d1调用 Init 函数时，该函数是如何知道应该设置d1对象，而不是设置d2对象呢？

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

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

• 怎样理解非静态成员函数呢❓❔
• 看看以下两题：

第一道：下面程序编译运行结果是？ A、编译报错 B、运行崩溃 C、正常运行

• 打印Print(),不对成员变量访问，用不着this指针，程序可以正常运行，这种函数就是静态成员函数。

class A
{
public:
	void Print()
	{
		cout << "Print()" << endl;
	}
private:
	int _a;
};
int main()
{
	A* p = nullptr;
	p->Print();
	return 0;
}

第二道：下面程序编译运行结果是？ A、编译报错 B、运行崩溃 C、正常运行

• 打印_a,需要对成员变量访问，要用this指针，程序无穷递归导致崩溃，这种函数就是非静态成员函数。

class A
{
public:
	void PrintA()
	{
		cout << _a << endl;

	}
private:
	int _a;
};

int main()
{
	A* p = nullptr;
	p->PrintA();
	return 0;
}

特性💦

1️⃣ this指针的类型：类类型* const，即成员函数中，不能给this指针赋值。
2️⃣ 只能在“成员函数”的内部使用
3️⃣ this指针本质上是“成员函数”的形参，当对象调用成员函数时，将对象地址作为实参传递给this形参。所以对象中不存储this指针。
4️⃣ this指针是“成员函数”第一个隐含的指针形参，一般情况由编译器通过ecx寄存器自动传递，不需要用户传递

this指针存储位置

this指针存储在栈上，因为是一个形参（有些编译比如vs可能会用寄存器存储）。不同的编译器放在不同的位置，可能是栈，也可能是寄存器，(VC++编译器是放在ECX中，其它编译器有可能不同，也就是成员函数的其它参数正常都是存放在栈中。而this指针参数则是存放在寄存器中。

• 打开汇编我们也可以看到这里的lea就是load effective address【加载有效地址】，是存在ecx的值加载到 [d1] 里
  

---

最后，祝自己2024加油~，希望自己如愿以偿😊