C++中的this关键字

目录

1.C++中类的成员变量和成员函数的内存分布

2.为什么我们需要this指针？

3.this指针的特性

4.编译器的聪明之处

---

1.C++中类的成员变量和成员函数的内存分布

class Data {
private:
	int a;
};

int main() {
	Data d1;
	//cout << "无成员变量Data类的大小为  " << sizeof(d1) << endl;//1 没有成员变量就只是起到占位的作用
	cout << "有成员变量Data类的大小为  " << sizeof(d1) << endl;//4  有了成员变量就开辟空间了
	return 0;
}

当Data类有定义成员变量时的大小为4字节，无成员变量时的大小为1字节，说明类实例化时并没有开辟空间，只是起到一个占位的作用。

那么类的成员变量和成员函数到底是如何分布的呢？

// 类中既有成员变量，又有成员函数 
class A1 {
public:
	void f1() {}
private:
	int _a;
};
// 类中仅有成员函数 
class A2 {
public:
	void f2() {}
};
// 类中什么都没有---空类 
class A3
{};
int main() {
	cout << "A1的大小为  " << sizeof(A1) << endl;//4  
	cout << "A2的大小为  " << sizeof(A2) << endl;//1  说明成员函数并不是存放在类空间中的
	cout << "A3的大小为  " << sizeof(A3) << endl;//1
	return 0;
}

由图可知，类的成员函数并不是存放在类空间中的

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 a;
};
int main()
{
    Date d1, d2;
    d1.Print();
    d2.Print();

    return 0;
}

看以上代码，在d2.Print()处设置断点，查看反汇编代码，得我们可以看到 他们call的Print函数的地址都是一样的，所以类中的成员函数应该都是存放在同一块区域中，我们叫他们公共代码区

所以类和对象在内存中的分布应该是这样的

---

2.为什么我们需要this指针？

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 a;
};
int main()
{
    Date d1, d2;
    d1.Init(2022, 1, 11);
    d2.Init(2022, 1, 12);
    d1.Print();
    d2.Print();
    return 0;
}

打印的结果：，刚才我们已经得到了类的成员函数存放在公共代码区的结论，那么我们的函数是如何知道打印对应对象的成员变量的呢?

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

---

3.this指针的特性

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

//this指针和const变量所在的位置
int main() {
	const int i = 0;
	int j = 0;
	const char* p = "sofia";
	cout << "i 的地址为 " << &i << endl;
	cout << "j 的地址为 " << &j << endl;
	cout << "指针p 的地址为 " << &p << endl;//（变量，指针都在栈里,自然也包括this指针）
	cout << "p所指向的常量的地址为 " << (void *)p << endl;//（常量区）

	//如果const在类型的后面 修饰的是变量不是变量的值不能改变呢？
	int const _i = 2;
	int k = 0;
	char const* _p = "sdfa";
	cout << "_i 的地址为 " << &_i << endl;
	cout << "k 的地址为 " << &k << endl;
	cout << "指针_p 的地址为 " << &_p << endl;//同样也在栈区 地址稍有不同罢了 栈区存放的是形参，局部变量
	cout << "_p所指向的常量的地址为 " << (void*)_p << endl;//同样也在常量区
	return 0;
}

由图可知，一般变量，指针变量（自然也包括this指针）都在栈区存储，只不过是位置稍有不同罢了。

---

4.编译器的聪明之处

// 1.下面程序编译运行结果是？  A、编译报错  B、运行崩溃  C、正常运行 
class A
{
public:
    void Print()
    {
        cout << "Print()" << endl;
    }
private:
    int _a; 
};
int main()
{
    A* p = nullptr;
    p->Print();
    return 0;
}

答：正确运行 因为编译器能在符号表中找到Print()函数的地址，自然也就不用进行空指针p的解引用操作，不会导致错误

// 1.下面程序编译运行结果是？  A、编译报错  B、运行崩溃  C、正常运行 
class A
{
public:
    void PrintA()
    {
        cout << _a << endl;
    }
private:
    int _a;
};
int main()
{
    A* p = nullptr;
    p->PrintA();
    return 0;
}

答：运行崩溃，因为有空指针p的解引用操作，*p作为实参传入PrintA()函数中，隐式的this->_a导致运行错误，实参传入空指针并不会导致编译报错！