当前位置: 首页 > news >正文

C++逆向分析--继承的本质

 一.一些思考

继承是面向对象的三个特性之一。这篇文章我们从底层的角度去理解什么是继承。他的作用是什么。首先继承的出现是更好的避免代码的重复冗余。要理解一件事很重要,C++其实是C的延申。那么C++的出现是为了解决C语言上C++祖师爷认为不友好的事情,也为了简化代码的复杂度,将更多的事情交给编译器去做,而不是程序员自己本身。举个例子,C++在类的创建和释放的过程中,会自动调用构造函数和析构函数,这是上一篇文章提到的C语言没有这个功能。那么C语言难道就做不到了吗,其实不然,C语言可以自己显示的调用函数,来模拟完成构造函数和析构函数。所以说面向对象是一种编程思想,而不是代码本身的特性。关于这一点的理解是我研究C程序中glibc对程序的初始化和程序的退出时的函数调用链思考而得。本质上其实就是在做构造函数和析构函数的工作。有了这个思考,那么继承的出现我们也能去思考。

二.继承是什么

C++在定义一些类的时候,我们很可能会发现有些共同的特性,也就是相当的数据字段。比如说:

创建一个学生类:

class Student{public:sting name;int age;float height;int class_num;
};

比如我创建一个学生类,有姓名年龄身高班级。

创建一个老师类:

class Teacher{public:string name;int age;float height;float wages;};

现在我们又创建一个老师类,依然是有四个成员属性。但是我们发现,有三个属性是相同的,如果写两份会显得很臃肿,于是继承就出现了。我们写一个大家公有的类,那么需要的时候直接继承就会显的很高逼格:

class Person {
public:string name;int age;int height;};class Student :public Person {
public:int class_num;
};class Teacher :public Person {
public:int wages;
};

我们看到将公有的属性提取出来,并且自身独有的依然在自己的类中。现在我们分别创建一个学生对象和老师对象,看看能不能访问公有的成员:


我们看到是没有问题的。下面我们看看汇编是如何执行的:


由于字符串还需要做些特殊处理,我们只看数字赋值,我们发现在创建的类中,确实有Person字段的赋值,因为rbp-0x80的位置就是s1对象的起始位置。也就是this指针。布局相当于这样:


相应的老师对象的创建赋值也是一样的过程


因此我们知道了父类也就是基类,在继承的时候布局是这样的:


因此我们可以明白,在继承的时候,父类和子类独有的属性将组合成一个新的类,新的对象的首地址其实是指向父类的。因此就引出了一个新的概念:既然如此我如果用父类对象的指针指向一个子类对象,和一个子类对象指针指向子类岂不是一样的吗,确实如此。我们写一个demo测试下:


经过我们的测试发现确实是这么回事。那么他们有什么区别呢?很显然是访问成员的限制,用父类创建的指针只能访问父类的成员,用子类创建的指针能够访问全部成员。也可以这么理解把,父亲会的儿子也会,父亲不会的儿子也会。可能这就是青出于蓝胜于蓝的代码体现吧。实验下是否是这样:(这里我用linux测试的,其实是一样的)

    Student s1;s1.name = "Chenweixin";s1.age = 1;s1.height= 2;s1.class_num = 2;Teacher t1;t1.name = "Guozhiwei";t1.age = 1;t1.height = 1;t1.wages = -250;Student* p1 = &s1;Person* p2 = &s1;cout <<"Person->name="<<p2->name<<"Person->age="<<p2->age<<"Person->height=" <<p2->height<< endl;cout <<"Student->name="<<p1->name<<"Student->age="<<p1->age<<"Student->height=" <<p1->height<< endl;

此时我们通过指针去访问父类成员看看是不是一样的:


我们看到没有任何问题,那接着父类能访问子类的成员吗,答案是否定的,父类都没有子类的成员如何去访问:此时我加了一句p2->class_num看看能不能通过父类指针找到子类成员:


我们发现报错了。告诉我们没有成员叫class_num。但是其实这是编译器做的限制,我们很清楚其实在height成员下面就是class_num成员,只不过父类指针是没有权限去访问的。子类对象指针就不会出现这种问题:


因此我们可以总结如下:

                继承的本质就是数据的复制, 当发生继承的时候,将父类的模板和子类独有的模板合二为一,这个过程是编译器做的。那么对象创建成功后,就会有这么模板的完全体。this指针指向的其实是父类的对象,不管用父类指针访问还是子类指针访问都是一样的。只不过父类指针只能访问父类中的成员,子类能够访问全部成员。多重继承的效果也是一样的。用个现代化术语来说谁是老祖宗谁排在前面。因此发生多重继承的时候,最开始的地方是第一个父类,以此类推,完全体是依然是子类。

希望通过这篇博客能加深自己对继承的理解。

http://www.lryc.cn/news/287175.html

相关文章:

  • ​LeetCode解法汇总2865. 美丽塔 I
  • pinia 的使用方法
  • sky_take_out
  • LC 2865. 美丽塔 I
  • 代理设计模式JDK动态代理CGLIB动态代理原理
  • [陇剑杯 2021]webshell
  • 美易官方:小米汽车交付时间传闻被官方辟谣
  • MySQL 简介
  • 动态规划最后一天(回文串)
  • c语言之scanf函数
  • ORM-02-JPA Java Persistence API 注解入门介绍
  • 【MQ01】什么是消息队列?用哪个消息队列?
  • 2023年度AI盘点 AIGC|AGI|ChatGPT|人工智能大模型
  • 【Flink-CDC】Flink CDC 介绍和原理概述
  • 长城资产信息技术岗24届校招面试面经
  • 【计算机网络】TCP握手与挥手:三步奏和四步曲
  • 设计模式学习总结
  • 「HDLBits题解」Cellular automata
  • 什么是API ?
  • Pytest中conftest.py的用法
  • java.lang.IllegalArgumentException: When allowCredentials is true
  • vue折叠展开transition动画使用keyframes实现
  • 书生·浦语大模型实战营-学习笔记5
  • 10. Profile
  • YOLO 自己训练一个模型
  • 3.Eureka注册中心
  • 基于springboot+vue的墙绘产品展示交易平台系统(前后端分离)
  • 网络原理-初识(1)
  • 【GitHub项目推荐--人脸识别】【转载】
  • NLP自然语言处理介绍