这一讲主要承接上一讲的内容(链接附上),关于C++中的this指针问题特地采用一篇博客作为讲解,可以看出this指针的重要性。希望大家能够跟着博主的学习下,能有所收获。
目录
1 类的存储特性
目前类存储有三种设计方式:
1、对象中包含类的各个成员:每个对象中成员变量是不同的,但是调用同一份函数,如果按照此种方式存储,当一个类创建多个对象时,每个对象中都会保存一份代码,相同代码保存多次,浪费空间。
2、类中的成员函数代码只保存一份,在对象中保存存放代码的地址:利用指针数组的思想可以很好的解决第一种空间浪费的行为。
3、只保存成员变量,成员函数存放在公共的代码段:在编译链接时就根据函数名在公共代码区找到函数的地址,并call函数。
注:根据上面描述可知,选择第3中是最合理的,第2中在后面C++中学习虚表的时候会用到,至于第一种则不建议,所以在下面的分析中,类的存储特性我们采用第三种方式。
2 this指针定义
为了让大家理解this指针,首先我们来看一个案例:这个案例是关于打印时间的函数,我们定义了一个类,类中包含成员变量和成员函数,其中成员变量被我们利用priwate变成私有的,这样类外部的操作者操作者就无法定义修改或者调用等,然后将赋值函数和打印函数设置为公有,代码具体实现如下所示:
#define _CRT_SECURE_NO_WARNINGS #include<iostream> using namespace std; //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, 7, 23); d2.Init(2022, 7, 24); d1.Print(); d2.Print(); return 0; }
在上面的代码中,定义了两个日期变量d1和d2,然后我们会发现二者调用的函数都是相同的成员函数,那就存在一个问题了:为什么当d1调用Init函数时,该函数是如何知道应该设置d1对象,而不是设置d2对象呢?
!!!重要分析: C++中通过引入this指针解决该问题,即:C++编译器给每个“非静态的成员函数“增加了一个隐藏的指针参数,让该指针指向当前对象(函数运行时调用该函数的对象),在函数体中所有“成员变量”的操作,都是通过该指针去访问。只不过所有的操作对用户是透明的,即用户不需要来传递,编译器自动完成。
3 this指针特性分析
也就是说this指针是C++内部自定义的,不需要用户自己设置,但是我们可以尝试去理解其内部逻辑。首先需要先和读者们说明C++中的this指针规定的隐含特性:
1、this指针的作用我们在前面已经提及,即this指针隐含在成员函数的形参中,其类型格式为:
类的类型(又叫类类型)* const this
从这个类型格式中我们可以知道:在成员函数中,不能给this指针赋值。
2、this指针本质上是成员函数的形参,当定义的类对象调用成员函数时,将对象地址作为实参传递给this形参,这是C++语言默认的,所以不需要用户自己在对象中定义以及存储this指针,同时要注意,this指针只能在“成员函数”的内部使用。
3、this指针是“成员函数”第一个隐含的指针形参。this指针一般放在栈区,因为它是一个形参,当在编译器下进行优化时,比如VS编译器,VS下面传递this指针,是通过ecx寄存器传递的,这样this访问变量能提高效率,不需要用户传递。
4 this指针逻辑特性代码实操
下面我将结合上面的案例带着大家进行分析this指针特性:
实际上可以利用this具体的C++允许进行的操作:
总结:实参和形参位置不能显示传递和接收this指针;
但是可以在成员函数内部使用this指针。
除上述描述以外,为了更好的让读者们理解C++隐含的this指针,我们可以将d1、d2以及他们对应的this指针指向的地址打印出来:
5 this指针面试训练营
面试题1:
#define _CRT_SECURE_NO_WARNINGS #include<iostream> using namespace std; // 1.下面程序编译运行结果是? A、编译报错 B、运行崩溃 C、正常运行 class A { public: void Print() { cout << "Print()" << endl; } private: int _a; }; int main() { A* p = nullptr; p->Print(); return 0; }
问题:上面程序编译的结果是?
A.编译报错
B.运行崩溃
C.正常运行
解答:结合前面关于this指针的分析,在主函数中,p->Print() 这里虽然指针变量p为空指针,但因为此时类中的成员函数已经链接放在公共代码区了,所以此时空指针不去符号表中查找,也就是说没有对空指针进行解引用操作,所以该程序能够正常运行,故选C选项。
面试题2:
#define _CRT_SECURE_NO_WARNINGS #include<iostream> using namespace std; // 1.下面程序编译运行结果是? A、编译报错 B、运行崩溃 C、正常运行 class A { public: void PrintA() { cout << _a << endl; } private: int _a; }; int main() { A* p = nullptr; p->PrintA(); return 0; }
问题:上面程序编译的结果是?
A.编译报错
B.运行崩溃
C.正常运行
解答:结合前面关于this指针的分析,在主函数中,p->PrintA() 这里虽然指针变量p为空指针,但因为此时类中的成员函数已经链接放在公共代码区了,所以此时空指针不去符号表中查找,也就是说没有对空指针进行解引用操作,但和面试题1不同的是,这里从主函数看是没有解引用操作,但在PrintA函数内部,需要利用this指针访问成员变量a(因为根据C++中this指针特性,cout<<_a<<endl,实际上是:cout<<this->_a<<endl,也就是说此时需要进行指针解引用操作),因为指针本身就是空,所以对空指针解引用操作,程序会崩溃。故选B选项。
3、this指针特性总结说明
1、静态成员函数没有this指针,只有非静态成员函数才有,且为隐含指针;
2、非静态成员函数的第一个参数就是隐藏的this指针;
3、this指针只存在于非静态的成员变量中,在对象中不存在;
4、单纯的对this指针赋予空是不可以的,因为对空指针解引用会出错,不过可以强制类型转换赋空,但一般不这样操作。
6、结语
C++中关于this指针的理解是非常重要的,希望读者们能详细阅读本文中博主的分析思路,希望大家能有所收获,欢迎大家点赞、关注、支持!!!