C++ 一篇搞懂继承的常见特性
微信公众号:「小林coding」
用简洁的方式,分享编程小知识。
继承和派生
01 继承和派生的概念
继承:
- 在定义一个新的类 B 时,如果该类与某个已有的类 A 相似(指的是 B 拥有 A 的全部特点),那么就可以把 A 作为一个基类,而把B作为基类的一个派生类(也称子类)。
派生类:
- 派生类是通过对基类进行修改和扩充得到的,在派生类中,可以扩充新的成员变量和成员函数。
- 派生类拥有基类的全部成员函数和成员变量,不论是private、protected、public。需要注意的是:在派生类的各个成员函数中,不能访问基类的private成员。
02 需要继承机制的例子
程序猿种类有很多种,如 C/C++ 程序猿,Java 程序猿,Python 程序猿等等。那么我们要把程序猿设计成一个基类, 我们则需要抽出其特有的属性和方法。
所有程序猿的共同属性(成员变量):
- 姓名
- 性别
- 职位
所有的程序猿都有的共同方法(成员函数):
- 是否要加班?
- 是否有奖励?
而不同的程序猿,又有各自不同的属性和方法:
- C++ 程序猿:是否是音视频、网游领域
- Java 程序猿:是否是微服务领域
- Python 程序猿:是否是人工智能、大数据领域
03 派生类的写法
继承的格式如下:
class 派生类名:public 基类名
{
};
程序猿 Coder
基类:
class Coder
{
public:
bool isWorkOvertime(){} // 是否要加班
bool isReward(){} // 是否有奖励
void Set(const string & name) // 设置名字
{
m_name = name;
}
...
private:
string m_name; // 姓名
string m_post; // 职位
int m_sex; // 性别
};
Python 程序猿 PythonCoder
派生类:
class PythonCoder : public Coder
{
public:
bool isAIField(){} // 是否是人工智能领域
bool isBigDataField(){} // 是否是大数据领域
};
04 派生类对象的内存空间
派生类对象的大小 = 基类对象成员变量的大小 + 派生类对象自己的成员变量的大小。在派生类对象中,包含着基类对象,而且基类对象的存储位置位于派生类对象新增的成员变量之前,相当于基类对象是头部。
class CBase
{
int a1;
int a2;
};
class CDerived : public CBase
{
int a3;
};
继承关系和复合关系
01 类之间的两种关系
继承的关系是「是」的关系:
- 基类 A,B 「是」基类 A 的派生类。
- 逻辑上要求:一个 B 对象也「是」一个 A 对象。
继承的关系是「有」的关系:
- C 类中「有」成员变量 i,i 成员变量是 D 类的,则 C 和 D 是复合关系。
- 逻辑上要求:D 对象是 C 对象的固有属性或组成部分。
02 继承关系的使用
假设已经存在了 Man 类表示男人,后面需要些一个 Women 类来表示女人。Man 类和 Women 类确实是有共同之处,那么就让 Women 类继承 Man 类,是否合适?
我们先想想继承的逻辑要求,假设 Women 类继承 Man 类后的逻辑就是:一个女人也是一个男人。很明显,这显然不成立!
所以,好的做法是概括男人和女人的共同特点,抽象出一个 Human 类表示人,然后 Man 和 Woman 都继承 Human 类。
03 复合关系的使用
假设要写一个小区养狗管理系统:
- 需要写一个「主人」类。
- 需要些一个「狗」类。
假定狗只有一个主人,但是一个主人可以最多有 10 条狗,应该如何设计和使用「主人」类 和「狗」类呢?我们先看看下面几个例子:
例子一:
- 为主人类设一个狗类的成员对象数组;
- 为狗类设一个主人类的成员对象。
class CDog;
class CMaster // 主人类
{
CDog dogs[10]; // 狗类的成员对象数组
};
class CDog // 狗类
{
CMaster m; // 主人类的成员对象
};
例子一可以发现是:
- 主人类会构造 10 个狗对象
- 狗类会构造 1 个主人对象
相当于人中有狗,狗中有人:
这样是不好的,因为会产生循环不断的构造,主人类构造狗对象,狗类又构造主人对象....
例子二:
- 为狗类设一个主人类的成员对象;
- 为主人类设一个狗类的对象指针数组。
class CDog;
class CMaster // 主人类
{
CDog * pDogs[10]; // 狗类的对象指针数组
};
class CDog // 狗类
{
CMaster m; // 主人类的成员对象
};
这样又变成狗中有人,人去指向「狗中有人」的狗,关系就会显得很错乱,如下图:
例子三:
- 为狗类设一个主人类的对象指针;
- 为主人类设一个狗类的对象数组。
class CDog;
class CMaster // 主人类
{
CDog dogs[10]; // 狗类的对象数组
};
class CDog // 狗类
{
CMaster * pm; // 主人类的对象指针
};
这样就会变成,人中有狗,人里面的狗又会指向主人,虽然关系相对好了一点,但是同样还是会绕晕,效果如下图:
例子四:
- 为狗类设一个主人类的对象指针;
- 为主人类设一个狗类的对象指针数组。
class CDog;
class CMaster // 主人类
{
CDog * pDogs[10]; // 狗类的对象指针数组
};
class CDog // 狗类
{
CMaster * pm; // 主人类的对象指针
};
这个是正确的例子,因为相当于人和主人是独立的,然后通过指针的作用,使得狗是可以指向一个主人,主人也可以同时指向属于自己的 10 个狗,这样会更灵活。
04 指针对象和对象的区别
如果不用指针对象,生成 A 对象的同时也会构造 B 对象。用指针就不会这样,效率和内存都是有好处的。
比如:
class Car
{
Engine engine; // 成员对象
Wing * wing; // 成员指针对象
};
定义一辆汽车,所有的汽车都有 engine,但不一定都有 wing
这样对于没有 wing 的汽车,wing 只占一个指针,判断起来也很方便。
- 空间上讲,用指针可以节省空间,免于构造 B 对象,而是只在对象中开辟了一个指针,而不是开辟了一个对象 B 的大小。
- 效率上讲,使用指针适合复用。对象 B 不但 A 对象能访问,其他需要用它的对象也可以使用。
- 指针对象可以使用多态的特性,基类的指针可以指向派生链的任意一个派生类。
- 指针对象,需要用它的时候,才需要去实例化它,但是在不使用的时候,需要手动回收指针对象的资源。
派生类覆盖基类成员
01 覆盖
派生类(子类)可以定义一个和基类(父类)成员同名的成员,这叫「覆盖」。在派生类(子类)中访问这类成员时,默认的情况是访问派生类中定义的成员。要在派生类中访问由基类定义的同名成员时,要使用作用域符号::
。
下面看具体的例子:
// 基类
class Father
{
public:
int money;
void func();
};
// 派生类
class Son : public Father // 继承
{
public:
int money; // 与基类同名成员变量
void func(); // 与基类同名成员函数
void myFunc();
};
void Son::myFunc()
{
money = 100; // 引用的是派生类的money
Father::money = 100; // 引用的是基类的money
func(); // 引用的是派生类的
Father::func(); // 引用的是基类的
}
相当于 Son 对象占用的存储空间:
类的保护成员
我们都知道基类的 public 成员,都是可以被派生类成员访问的,那么基类的 protected、private 成员,分别可以被派生类成员访问吗?带着这个问题,我们可以先看下面的栗子:
class Father
{
public:
int nPublic; // 公有成员
protected:
int nProtected; // 保护成员
private:
int nPrivate; // 私有成员
};
class Son : public Father
{
void func()
{
nPublic = 1; // OK
nProtected = 1; // error
nPrivate =1; // ok,访问从基类继承的protected成员
Son a;
a.nProtected = 1; // error,a不是当前对象
}
};
int main()
{
Father f;
Son s;
f.nPublic; // OK
s.nPublic; // OK
f.nProtected; // error
s.nProtected; // error
f.nPrivate; // error
s.nPrivate; // error
}
基类的 protected、private 成员对于派生类成员的权限说明:
基类的 protected 成员 | 基类的 private 成员 |
---|---|
派生类的成员函数可以访问当前对象的基类的保护成员 | 不能被派生类成员访问 |
派生类的构造函数
通常在初始化派生类构造函数时,派生类构造函数是要实现初始化基类构造函数的。那么如何在派生类构造函数里初始化基类构造函数呢?
class Bug {
private :
int nLegs; int nColor;
public:
int nType;
Bug (int legs, int color);
void PrintBug (){ };
};
class FlyBug : public Bug // FlyBug 是Bug 的派生类
{
int nWings;
public:
FlyBug( int legs,int color, int wings);
};
Bug::Bug( int legs, int color)
{
nLegs = legs;
nColor = color;
}
// 错误的FlyBug 构造函数
FlyBug::FlyBug ( int legs,int color, int wings)
{
nLegs = legs; // 不能访问
nColor = color; // 不能访问
nType = 1; // ok
nWings = wings;
}
// 正确的FlyBug 构造函数:
FlyBug::FlyBug ( int legs, int color, int wings):Bug( legs, color)
{
nWings = wings;
}
int main()
{
FlyBug fb ( 2,3,4);
fb.PrintBug();
fb.nType = 1;
fb.nLegs = 2 ; // error. nLegs is private
return 0;
}
在上面代码例子中:
第24-30行的派生类构造函数初始化基类是错误的方式,因为基类的私有成员是无法被派生类访问的,也就无法初始化。
第33-36行代码是正确派生类构造函数初始化基类构造函数的方式,通过调用基类构造函数来初始化基类,在执行一个派生类的构造函数
之前,总是先执行基类的构造函数。
从上面的例子中我们也得知构造派生对象前,是先构造基类对象,那么在析构的时候依然依据“先构造,后初始化”的原则,所以派生类析构时,会先执行派生类析构函数,再执行基类析构函数。
如下栗子:
class Base
{
public:
int n;
Base(int i) : n(i)
{
cout << "Base " << n << " constructed" << endl;
}
~Base()
{
cout << "Base " << n << " destructed" << endl;
}
};
class Derived : public Base
{
public:
Derived(int i) : Base(i)
{
cout << "Derived constructed" << endl;
}
~Derived()
{
cout << "Derived destructed" << endl;
}
};
int main()
{
Derived Obj(3);
return 0;
}
输出结果:
Base 3 constructed
Derived constructed
Derived destructed
Base 3 destructed
继承的赋值兼容规则
01 public 继承
// 基类
class Base {};
// 派生类
class Derived : public Base {};
Base b; // 基类对象
Derived d; // 派生类对象
- 派生类的对象可以赋值给基类对象
b = d;
- 派生类对象可以初始化基类引用
Base & br = d;
- 派生类对象的地址可以赋值给基类指针
Base * pb = & d;
注意:如果派生方式是 private 或 protected,则上述三条不可行
02 protected 和 private 继承
// 基类
class Base {};
// 派生类
class Derived : protected Base {};
Base b; // 基类对象
Derived d; // 派生类对象
- protected 继承时,基类的 public 成员和 protected 成员成为派生类的 protected 成员;
- private 继承时,基类的 public 成员成为派生类的 private 成员,基类的 protected 成员成
为派生类的不可访问成员; - protected 和 private 继承不是「是」的关系。
所以派生方式是 private 或 protected,则是无法像 public 派生承方式一样把派生类对象赋值、引用、指针给基类对象。
03 基类与派生类的指针强制转换
public 派生方式的情况下,派生类对象的指针可以直接赋值给基类指针
Base *ptrBase = & objDerived;
- ptrBase 指向的是一个 Derived 派生类(子类)的对象
- *ptrBase 可以看作一个 Base 基类的对象,访问它的 public 成员直接通过 ptrBase 即可,但不能通过 ptrBase 访问 objDerived 对象中属于 Derived 派生类而不属于基类的成员。
通过强制指针类型转换,可以把 ptrBase 转换成 Derived 类的指针
Base * ptrBase = &objDerived;
Derived *ptrDerived = ( Derived * ) ptrBase;
程序员要保证 ptrBase 指向的是一个 Derived 类的对象,否则很容易会出错。
C++ 一篇搞懂继承的常见特性的更多相关文章
- C++ 一篇搞懂多态的实现原理
虚函数和多态 01 虚函数 在类的定义中,前面有 virtual 关键字的成员函数称为虚函数: virtual 关键字只用在类定义里的函数声明中,写函数体时不用. class Base { virtu ...
- 一篇搞懂python文件读写操作(r/r+/rb/w/w+/wb/a/a+/ab)
关于文件操作的几种常用方式,网上已有很多解说,内容很丰富,但也因此有些杂乱复杂.今天,我就以我个人的学习经验写一篇详细又易懂的总结文章,希望大家看完之后会有所收获. 一.核心功能 ‘r’ ...
- 一篇搞懂Java的基本数据类型
byte 基本类型:byte 包装类:java.lang.Byte 大小:8bit 默认值:0 取值范围:-128~127 Byte.MIN_VALUE Byte.MAX_VALUE 二进制补码表示 ...
- 基础篇|一文搞懂RNN(循环神经网络)
基础篇|一文搞懂RNN(循环神经网络) https://mp.weixin.qq.com/s/va1gmavl2ZESgnM7biORQg 神经网络基础 神经网络可以当做是能够拟合任意函数的黑盒子,只 ...
- 彻底搞懂JavaScript中的继承
你应该知道,JavaScript是一门基于原型链的语言,而我们今天的主题 -- "继承"就和"原型链"这一概念息息相关.甚至可以说,所谓的"原型链&q ...
- 一文搞懂所有Java集合面试题
Java集合 刚刚经历过秋招,看了大量的面经,顺便将常见的Java集合常考知识点总结了一下,并根据被问到的频率大致做了一个标注.一颗星表示知识点需要了解,被问到的频率不高,面试时起码能说个差不多.两颗 ...
- 彻底搞懂Javascript的“==”
本文转载自:@manxisuo的<通过一张简单的图,让你彻底地.永久地搞懂JS的==运算>. 大家知道,==是JavaScript中比较复杂的一个运算符.它的运算规则奇怪,容让人犯错,从而 ...
- 让你彻底搞懂JS中复杂运算符==
让你彻底搞懂JS中复杂运算符== 大家知道,==是JavaScript中比较复杂的一个运算符.它的运算规则奇怪,容易让人犯错,从而成为JavaScript中“最糟糕的特性”之一. 在仔细阅读了ECMA ...
- c#代码 天气接口 一分钟搞懂你的博客为什么没人看 看完python这段爬虫代码,java流泪了c#沉默了 图片二进制转换与存入数据库相关 C#7.0--引用返回值和引用局部变量 JS直接调用C#后台方法(ajax调用) Linq To Json SqlServer 递归查询
天气预报的程序.程序并不难. 看到这个需求第一个想法就是只要找到合适天气预报接口一切都是小意思,说干就干,立马跟学生沟通价格. 不过谈报价的过程中,差点没让我一口老血喷键盘上,话说我们程序猿的人 ...
随机推荐
- 路由器安全-NetFlow
1.NetFlow介绍 提供高层次的诊断,分类和识别网络异常. 使用NetFlow来检查哪些行为改变明显的攻击是非常有效的. 就像Wiretap一样捕获数据包. NetFlow像电话账单.(谁和谁在通 ...
- 如果谷歌浏览器突然打不开网页,而且显示:"网页可能暂时无法连接,或者它已永久性地移动到了新网址,返回ERR_TUNNEL_CONNECTION_FAILED",怎么办?用这个方法,亲试有效!!!
打开cmd: 依次输入: ipconfig /flushdnsnbtstat –rnetsh int ip resetnetsh winsock reset 效果图 然后我的浏览器就能正常使用了,很有 ...
- leetcode 0214
目录 ✅ 965. 单值二叉树 描述 解答 c++ updated dfs c++ py py 生成器 ✅ 762. 二进制表示中质数个计算置位 描述 解答 cpp other cpp mine ja ...
- C语言-调试
1 格式化输出函数printf("%d %s",a,str):格式化控制符之间不能有“逗号”,可以用空格 1.1格式化输入函数scanf(“%d”,t)格式化控制符之间不能有空格 ...
- Nginx正则及 Location匹配!
1:Nginx location 规则匹配 ^~ 标识符匹配后面跟一个字符串.匹配字符串后将停止对后续的正则表达式进行匹配. 如:location ^~ /images/, 在匹配 ...
- JavaScript的发展史
一.JavaScript发展历程 1. 诞生 JavaScript因互联网而生,紧跟浏览器的发展而发展. 1990年,欧洲核能研究所(CERN)科学家在互联网(Internet)基础上,发明了 ...
- 一个不会coding的girl Linux日常之命令awk
Linux日常之命令awk 参考:http://www.zsythink.net/archives/tag/awk/ 一. 命令awk简介 1. awk是一种编程语言,用于对文本和数据进行处理的 2. ...
- 如何去掉Eclipse注释中英文单词的拼写错误检查
- js判断对象中是否存在某一项和判断是否是对象
1.判断是否为对象 let str = { name: '第一', age: 12 } console.log(typeof str== "object") 2.判断对象中是否有某 ...
- 笔记-redis-订阅系统
笔记-redis-订阅系统 1. 发布/订阅pub/sub 1.1. 基本命令 PUBLISH channel message #将信息发送到指定的频道. SUBSCRIBE channe ...