首页
学习
活动
专区
圈层
工具
发布
首页
学习
活动
专区
圈层
工具
MCP广场
社区首页 >专栏 >关于this指针

关于this指针

作者头像
全栈程序员站长
发布2022-08-29 12:57:25
发布2022-08-29 12:57:25
57100
代码可运行
举报
运行总次数:0
代码可运行

大家好,又见面了,我是你们的朋友全栈君。

一个类的对象中实际只包含了该对象的数据成员信息,当我们创建了多个类的对象时,使对象1调用该类的成员函数,为什么可以改变对象1中的信息,而不去设置其他对象的信息?成员函数在类中只有一份,所有该类的对象共同使用,编译器是如何识别并处理的呢?

编译器识别一个类分为三步: 1.识别类的类名 2.识别类的成员变量 3.识别类的成员函数并对成员函数进行修改

修改方式: 成员函数有一个隐藏的this指针,它指向调用该函数的对象 编译器为每个成员函数多加了一个参数,即this指针,它指向当前对象,并在函数内部的每个成员变量前都加上this指针

编译器是这样处理的:

代码语言:javascript
代码运行次数:0
运行
复制
class Person
{
public:
    void SetInfo(Person *this, const char * name, const char *gender, int age)
    {
        strcpy(this->_name, name);
        strcpy(this->_gender, gender);
        this->_age = age;
    }
private:
    char _name[20];
    char _gender[3];
    int _age;
};
this指针的性质:
  • this指针其本身的内容是不能被改变的,其类型为:类类型 * const
  • this指针不是对象本身的一部分,不影响该对象的大小
  • this指针的作用域在类的非静态成员函数的内部,只能在其内部进行使用,其他任何函数都不能,静态成员函数内部无this指针,后面会详述。
  • this指针是类中非静态成员函数的第一个默认隐含参数,编译器自动传递和维护,用户不可显示传递

函数调用约定 是指当一个函数被调用时,函数的参数会被传递给被调用函数,返回值会被返回给调用函数,总之,就是函数调用者与被调函数之间关于参数传递,返回值传递,堆栈清理,寄存器使用的一种约定。

它需要二进制级别兼容的强约定,函数调用者和函数体若使用不同的调用约定,可能会造成程序执行错误。

几种常用的调用约定:

其中,_cdecl是C/C++的默认调用约定,VC的调用约定中并没有_thiscall这个关键字,它是类成员函数默认调用约定; C/C++中的main函数的调用约定必须是_cdecl,不允许更改。

对于_cdecl调用约定,为什么是调用者而不是函数体自己来平衡堆栈呢?

在这里我们应该要考虑类似于像scanf和printf这样的函数,这里我们应该明白这两个函数的参数都是可变的,如果参数不固定的话,在被调用函数内就无法知道参数究竟使用了多少个字节,所以为了实现可变参数,我们必须要在被调函数执行之后我们才知道参数究竟用了多少字节,所以我们在调用者来进行堆栈平衡操作。

这里我们重点说一下_thiscall调用约定:

  • 它只能用在类的成员函数上
  • 参数从右向左进行压栈
  • 若参数个数确定,this指针通过ecx寄存器传递给被调用者;若参数不确定,this指针在所有参数被压栈后压入堆栈。
  • 对于参数不确定的函数,调用者清理堆栈,否则函数自己清理堆栈。
问题:this指针是否可以为空?

上代码测一下先:

代码语言:javascript
代码运行次数:0
运行
复制
class Test
{
public:
    Test(int data = 0)
        :_data(data)
    {}
    void A()
    {
        cout << "A():" << this << endl;
    }
    void B()
    {
        cout << _data << endl;
    }
private:
    int _data;
};
int main()
{
    Test t;
    Test *p = NULL;
    p->A();
    p->B();
}

运行结果是:当走到 p->A();时,程序可以正常运行,运行结果是这:

而再接着往下走,走到p->B();时,程序崩溃。

为什么会这样呢? 分析一下: 函数A()中未调用任何成员变量 函数B()调用了成员变量_data 这里的p相当于一个this指针,当函数走到p->A();这一步时,编译器会将p交给ecx,再直接去调用A()函数,由于A()函数中未涉及取空指针中的内容,只是简单的打印,因此不会出现问题。 走到p->B();时,编译器会将_data修改成this->_data,而访问空指针中的内容程序一定崩溃。

因此,this指针是可以为空的,只要在成员函数内部不访问其内容,程序可以正常执行的,但是安全起见,我们还是不要让this指针为空指针最好。

发布者:全栈程序员栈长,转载请注明出处:https://javaforall.cn/145721.html原文链接:https://javaforall.cn

本文参与 腾讯云自媒体同步曝光计划,分享自作者个人站点/博客。
原始发表:2022年5月1,如有侵权请联系 cloudcommunity@tencent.com 删除

本文分享自 作者个人站点/博客 前往查看

如有侵权,请联系 cloudcommunity@tencent.com 删除。

本文参与 腾讯云自媒体同步曝光计划  ,欢迎热爱写作的你一起参与!

评论
登录后参与评论
0 条评论
热度
最新
推荐阅读
目录
  • this指针的性质:
    • 问题:this指针是否可以为空?
领券
问题归档专栏文章快讯文章归档关键词归档开发者手册归档开发者手册 Section 归档