C++继承详解——基类派生类对象赋值转换、菱形虚拟继承

news2024/11/27 23:34:48

hello,这里是bangbang,今天来讲下继承。

面向对象三大特性:封装、继承、多态。 


目录

1. 继承的概念及定义

  1.1 继承的概念

  1.2 继承定义

        1.2.1 定义格式

        1.2.2 继承关系和访问限定符

        1.2.3 继承基类成员访问方式的变化

2. 基类和派生类对象赋值转换

3. 继承中的作用域

​4. 派生类的默认成员函数

5. 继承与友元与静态成员

  5.1 继承与友元

  5.2继承与静态成员

6. 继承模型

6.1 单继承

  6.2 多继承

  6.3 菱形继承

        6.3.1 菱形虚拟继承

        6.3.2 菱形虚拟继承原理

7. 继承总结


1. 继承的概念及定义

  1.1 继承的概念

        继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在 持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。继承呈现了面向对象
程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,
承是类设计层次的复用
        
        简单来说 继承 就是: 多个类中相同信息放到同一个公共的类里(父类/基类),子类/派生类复用。

  1.2 继承定义

        1.2.1 定义格式

Person是父类,也称作基类。Student是子类,也称作派生类。

        1.2.2 继承关系和访问限定符

        1.2.3 继承基类成员访问方式的变化

类成员/继承方式
public继承
protected继承private继承
基类的public成员
派生类的public成员
派生类的protected成员
派生类的private成员
基类的protected成员
派生类的protected成员
派生类的protected成员
派生类的private成员
基类的private成员
在派生类中不可见
在派生类中不可见
在派生类中不可见

题外话:我们可以看到基类的私有成员无论继承方式如何都是不可见的,其实这是C++大佬们踩的坑点,大佬在设计的时候想把所有情况都包含进去,但实际情况上大多数项目都使用的是public很少有private,但是因为语言的向上发展性,大佬们几乎不可能把语言回退(除了python3不兼容python2)避开坑点,只能再想办法填补这个坑,我们虽然知道这是坑点,但也要学习。

总结:

  1. 基类private成员在派生类中无论以什么方式继承都是不可见的。这里的 不可见是指基类的私 有成员还是被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面 都不能去访问它 
  2. 基类private成员在派生类中是不能被访问,如果基类成员不想在类外直接被访问,但需要在 派生类中能访问,就定义为protected。可以看出保护成员限定符是因继承才出现的
  3. 实际上面的表格我们进行一下总结会发现,基类的私有成员在子类都是不可见。基类的其他 成员在子类的访问方式 == Min(成员在基类的访问限定符,继承方式),public > protected > private。
  4. 使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public不过最好显示的写出继承方式
  5. 在实际运用中一般使用都是public继承,几乎很少使用protetced/private继承,也不提倡使用protetced/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强。

题目:

如何定义一个不能被继承的类?

答:

C++98:父亲构造函数私有——子类是不可见。子类对象实例化,无法调用构造函数。

C++11:新增加关键字final(最终类)


2. 基类和派生类对象赋值转换

  • 派生类对象 可以赋值给 基类的对象 / 基类的指针 / 基类的引用。这里有个形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去。
  • 基类对象不能赋值给派生类对象。
  • 基类的指针或者引用可以通过强制类型转换赋值给派生类的指针或者引用。但是必须是基类 的指针是指向派生类对象时才是安全的。这里基类如果是多态类型,可以使用RTTI(Run-Time Type Information)的dynamic_cast 来进行识别后进行安全转换。

1.子类对象可以直接赋值给父类对象/指针、引用。

Student sobj ;
// 1.子类对象可以赋值给父类对象/指针/引用
Person pobj = sobj ;
Person* pp = &sobj;
Person& rp = sobj;

2.基类对象不能赋值给派生类对象。

//2.基类对象不能赋值给派生类对象 
sobj = pobj;//错误

3.基类的指针可以通过强制类型转换赋值给派生类的指针

 pp = &sobj
 Student* ps1 = (Student*)pp; // 这种情况转换时可以的。
 ps1->_No = 10;
    
 pp = &pobj;
 Student* ps2 = (Student*)pp; // 这种情况转换时虽然可以,但是会存在越界访问的问题
 ps2->_No = 10;

3. 继承中的作用域

1. 在继承体系中基类派生类都有独立的作用域
2. 子类和父类中有同名成员,子类成员将屏蔽父类对同名成员的直接访问 ,这种情况叫 隐藏
也叫重定义。(在子类成员函数中,可以使用 基类::基类成员 显示访问
3. 需要注意的是如果是成员函数的隐藏,只需要 函数名相同就构成隐藏
4. 注意在实际中在继承体系里面最好不要定义同名的成员

4. 派生类的默认成员函数

  • 构造函数

子类自己的成员跟类一样。(内置类型不处理->随机值,给缺省值,缺省值处理;自定义类型调用它的处理)

继承父类成员,必须调用父类的构造函数。如果基类没有默认的构造函数,则必须在子类构造函数的初始化列表阶段显示调用。

先构造父类在构造子类。

不允许子类在初始化列表直接初始化父类成员变量,采取匿名对象在初始化列表初始。

class Person
{
public:
    Person(const char* name)
	    : _name(name)
	{
		cout << "Person()" << endl;
	}
protected:
    string _name;
}
class Student:public Person
{
public:
    Student(const char* name, int num)
	    :Person(name)    //匿名对象在初始化列表初始
	    , _num(num)
    {
	    cout << "Student()" << endl;
    }
protected:
    int _num;
}
  • 析构函数

同上

不用显示调用父类析构函数,自动调用。 先析构子类再析构父类。

因为后续一些场景析构函数需要构成重写,重写的条件之一是函数名相同 。那么编译器会对析构函数名进行特殊处理,处理成 destrutor() ,所以父类析构函数不加virtual的情况下,子类析构函数和父类析构函数构成隐藏关系。

  • 拷贝构造函数

自己成员,跟类和对象一样。(内置类型指拷贝->浅拷贝,自定义类型调用它的拷贝构造)

继承的父类成员,必须调用父类拷贝构造初始化。

  • operator=

 同上

 operator=必须要调用父类的operator=完成父类的复制。

5. 继承与友元与静态成员

  5.1 继承与友元

友元关系不能继承,也就是说父类友元不能访问子类私有和保护成员

  5.2继承与静态成员

基类定义了static静态成员,则整个继承体系里面只有一个这样的成员。无论派生出多少个子
类,都只有一个static成员实例 。

6. 继承模型

6.1 单继承

单继承:一个子类只有一个直接父类时称这个继承关系为单继承

  6.2 多继承

多继承:一个子类有两个或以上直接父类时称这个继承关系为多继承


题目:

 多继承:(对象分布)先继承的在前面,后继承的在后面。

切片:

 可以看到p1和p3实际上指向同一地方。

成员变量是局部变量放在栈中,入元素放栈顶,地址逐渐增高,b2是后继承的,所以地址比b1高,也就是p2比p1高。


  6.3 菱形继承

菱形继承是多继承的一种特殊情况
菱形继承的问题:从下面的对象成员模型构造,可以看出菱形继承有数据冗余(重复包含_name)和二义性(无法明确知道访问的_name是哪一个)的问题。

        6.3.1 菱形虚拟继承

虚拟继承(virtual)可以解决菱形继承的二义性和数据冗余的问题。
如上面的继承关系,在Student和Teacher的继承Person时使用虚拟继承,即可解决问题。
菱形虚拟继承对象模型:

        6.3.2 菱形虚拟继承原理

这里给出一个简化的菱形继承模型用来研究。

class A
{
public:
	int _a;
};

//class B : public A
class B : virtual public A
{
public:
	int _b;
};

//class C : public A
class C : virtual public A
{
public:
	int _c;
};

class D : public B, public C
{
public:
	int _d;
};

int main()
{
	D d;
	d.B::_a = 1;
	d.C::_a = 2;
	d._a = 0;
	d._b = 3;
	d._c = 4;
	d._d = 5;

	return 0;
}
  • 先不采用虚拟继承virtual,内存情况如下:

 存储情况符合我们上面给出的菱形继承对象模型。

  •  采用虚拟继承virtual,内存情况如下:

我们可以看到D对象中将A放到了对象组成的最下面,这个A同时属于B和C(公共的A)原来B和C存放A的位置放了2个地址,这2个地址(也就是虚基表指针)指向了一张表(虚基表),虚基表中存的是偏移量,通过偏移量找到公共的A。

7. 继承总结

        1.C++语法复杂,多继承就是一个体现。有了多继承,就存在菱形继承,有了菱形继承就有菱形虚拟继承,底层实现就很复杂。所以一般不建议设计出多继承,一定不要设计出菱形继承。否则在复杂度及性能上都有问题。
        2.多继承可以认为是C++的缺陷之一,很多后来的语言都没有多继承。

        3.继承和组合 

  • public继承是一种is-a的关系。也就是说每个派生类对象都是一个基类对象。如:人——学生。
  • 组合是一种has-a的关系。假设B组合了A,每个B对象中都有一个A对象。如:轮胎——车。
  • 优先使用对象组合,而不是类继承 。
  • 继承允许你根据基类的实现来定义派生类的实现。这种通过生成派生类的复用通常被称为白箱复用(white-box reuse)。术语“白箱”是相对可视性而言:在继承方式中,基类的内部细节对子类可见 。继承一定程度破坏了基类的封装,基类的改变,对派生类有很大的影响。派生类和基类间的依赖关系很强,耦合度高
  • 对象组合是类继承之外的另一种复用选择。新的更复杂的功能可以通过组装或组合对象来获得。对象组合要求被组合的对象具有良好定义的接口。这种复用风格被称为黑箱复用(black-box reuse),因为对象的内部细节是不可见的。对象只以“黑箱”的形式出现。组合类之间没有很强的依赖关系,耦合度低。优先使用对象组合有助于你保持每个类被 封装。
  • 实际尽量多去用组合。组合的耦合度低,代码维护性好。不过继承也有用武之地的,有些关系就适合继承那就用继承,另外要实现多态,也必须要继承。类之间的关系可以用继承,可以用组合,就用组合。

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.coloradmin.cn/o/528863.html

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈,一经查实,立即删除!

相关文章

Java面试知识点(全)-设计模式二

Java面试知识点(全) 导航&#xff1a; https://nanxiang.blog.csdn.net/article/details/130640392 注&#xff1a;随时更新 13.模板模式 定义一个操作中算法的骨架&#xff0c;而将一些步骤延迟到子类中&#xff0c;模板方法使得子类可以不改变算法的结构即可重定义该算法的…

7. 深入理解MVCC与BufferPool缓存机制

MySQL性能调优 1. MVCC多版本并发控制机制1.1 undo日志版本链与read view机制详解 2. Innodb引擎SQL执行的BufferPool缓存机制 本文是按照自己的理解进行笔记总结&#xff0c;如有不正确的地方&#xff0c;还望大佬多多指点纠正&#xff0c;勿喷。 本节课内容&#xff1a; 1、…

PowerShell install 一键部署VMware_Workstation

VMware Workstation 前言 VMware Workstation Pro 是业界标准的桌面 Hypervisor&#xff0c;用于在 Linux 或 Windows PC 上运行虚拟机 download VMware_Workstation VMware_Workstation WindowsVMware_Workstation linux文档downloaddownload参考 前提条件 开启wmi,配置…

2023接口自动化测试框架9项必备功能(建议收藏)

当你准备使用一个接口测试框架或者自造轮子的时候&#xff0c;或许你需要先了解下一个接口自动化测试框架必须具备什么功能。 一、校验 这个很好了解&#xff0c;如果没有校验&#xff0c;单纯的执行接口的话&#xff0c;那就谈不上测试了。所以支持对返回值校验是一个必须的…

【集合详解】——python基础——如桃花来

目录索引 集合的特点&#xff1a;创建集合&#xff1a;集合常见操作&#xff1a;增加数据&#xff1a;*add():**update():* 删除数据&#xff1a;*remove():**discard():**pop():* 查找数据&#xff1a;*in:**not in:* 集合的特点&#xff1a; 没有重复元素,即使重复&#xff0…

【ONE·C++ || set和map(三):基于红黑树的封装框架】

总言 主要介绍map、set的封装框架。 文章目录 总言1、基本框架说明2、map、set封装Ⅰ&#xff1a;用于比较的仿函数3、map、set封装Ⅱ&#xff1a;迭代器实现3.1、基本说明3.2、begin()、end()、operator*、operator&、operator、operator!3.2.1、begin()、end()3.2.2、op…

( 位运算 ) 693. 交替位二进制数 / 476. 数字的补数 ——【Leetcode每日一题】

❓ 题目一 693. 交替位二进制数 难度&#xff1a;简单 给定一个正整数&#xff0c;检查它的二进制表示是否总是 0、1 交替出现&#xff1a;换句话说&#xff0c;就是二进制表示中相邻两位的数字永不相同。 示例 1&#xff1a; 输入&#xff1a;n 5 输出&#xff1a;true 解…

使用inbuilder完成UBML低代码设计

文章目录 一、活动介绍二、我所认识的低代码平台三、使用inbuilder开发工具拖拉跩实现 低代码产品开发四、环境搭建五、5分钟完成低代码实验六、财务报销报表实验活动成果截图七、总结 一、活动介绍 开放原子训练营开启inBuilder低代码实验室活动。无论您是计算机行业相关从业…

(css)el-select多选以tag展示时,超过显示长度以...省略号显示

(css)el-select多选以tag展示时&#xff0c;超过显示长度以…省略号显示 效果 代码&#xff1a; <span>系统词典维度&#xff1a;</span><el-selectv-model"dNum"placeholder"请选择"multiplecollapse-tags //设置collapse-tags属性将它…

Windows批处理指令

前言 批处理文件&#xff08;batch file&#xff09;包含一系列 DOS 命令&#xff0c;通常用于自动执行重复性任务。用户只需双击批处理文件便可执行任务&#xff0c;而无需重复输入相同指令。编写批处理文件非常简单&#xff0c;但难点在于确保一切按顺序执行。编写严谨的批处…

Java进阶-面向对象入门

1. 面向过程与面向对象 1.1 何谓“面向对象”的编程思想&#xff1f; 首先解释一下“思想”。 先问你个问题&#xff1a;你想做个怎样的人&#xff1f; 可能你会回答&#xff1a;我想做个好人&#xff0c;孝敬父母&#xff0c;尊重长辈&#xff0c;关爱亲朋…… 你看&#…

2023年Android开发者路线-第2部分

2023年Android开发者路线-第1部分 2023年Android开发者路线-第2部分 2023年Android开发者路线-第3部分 2023年Android开发者路线-第4部分 2023Android开发者路线-第2部分 在上一篇文章中&#xff0c;我们讨论了 Android 架构的重要元素&#xff0c;包括主要的 Android 语言…

探索iOS之AVFoundation框架

AVFoundation框架的业务层主要是AVKit和UIKit&#xff0c;内核层包括CoreVideo、CoreAudio、CoreMedia、VideoToolBox等。AVFoundation作为iOS的音视频框架&#xff0c;提供音视频播放、录制、编辑、编解码、音效设置等。接下来&#xff0c;让我们看一下整体的框架图。 一、AVK…

ANR基础篇 - Trace.txt文件分析

系列文章目录 提示&#xff1a;这里可以添加系列文章的所有文章的目录&#xff0c;目录需要自己手动添加 例如&#xff1a;第一章 Python 机器学习入门之pandas的使用 文章目录 系列文章目录前言一、trace.txt文件示例二、日志分析2.1 CPU 负载2.2 内存信息2.3 堆栈信息schedst…

Mybatis 案例

文章目录 Mybatis 案例一、 准备工作1.1 数据库表1.2 Restfull规范1.3 封装结果类1.4 实体类 二、部门管理2.1 查询全部部门信息2.2 删除部门2.3 新增部门 三、员工管理3.1 分页查询3.2 分页查询 - PageHelper插件3.3 分页查询 - 条件查询3.4 批量删除员工3.5 新增员工3.6 修改…

蓝桥杯模块学习3——蜂鸣器与继电器

第一章 硬件部分 1.1 电路的组成部分 1.1.1 译码器和锁存器 具体可回顾之前LED灯的文章&#xff1a; https://blog.csdn.net/weixin_63568691/article/details/130660096 1.1.2 ULN2003达林顿管 原理图&#xff1a; 功能&#xff1a; &#xff08;1&#xff09;改变电路特性…

使用Spring初始化器创建Spring Boot项目

注&#xff1a;初始化向导需要联网创建Spring Boot项目 new project 项目创建完成 resources 文件夹中目录结构&#xff1a; static &#xff1a;保存所有的静态资文件&#xff0c; js css images templates &#xff1a;保存所有的模板页面&#xff08;Spring Boot默认j…

python3 爬虫相关学习1:安装requests模块

目录 1 安装前&#xff1a;避免python2 python3 引起的问题 2 如何安装python3 2.1 直接上python3 官网下载 2.2 或者windows的话&#xff0c;microsoft store 里也可以下载 2.3 查看python版本 3 安装requests模块 3.1 很可能安装requests模块之前会遇到报错&#xff…

linux0.12-8-11-vsprintf.c

[383页] 1、 这一小节可以不看代码如何实现&#xff0c;因为标准的C库函数&#xff1b; 2、 等自己看完的这本书&#xff0c;有兴趣过来研究研究也是可以的。 8-11 vsprintf.c程序 8-11-1 功能描述 该程序主要包括vsprintf(),用于对参数产生格式化的输出。由于该函数是C函数…

SOME/IP 草稿

SOME/IP 名词解释 SOME/IP 全称是 Scalable service-Oriented MiddlewarE over IP。也就是基于 IP 协议的面向服务的可扩展性通信中间件协议。 面向服务 SOA基于 IP 协议之上的通信协议中间件 SOME/IP 功能 服务发现 (Service Discovery)远程服务调用 &#xff08;RPC,rem…