加载中...
Hello Object 派生版
第1节:初学C++,应该学什么?
第2节:《白话C++》练的什么“功”?
第3节:《白话C++》练的什么“武”?
第4节:打开浏览器,线上玩转C++
第5节:逐字逐句,深入理解C++最小例程
第6节:做一个“会”犯错误的程序员
第7节:Hello World 中文版
第8节:Hello World 函数版
第9节:Hello World 交互版
第10节:Hello World 分支版
第11节:Hello World 循环版
第12节:Hello Object 生死版.上
第13节:Hello Object 生死版. 下
第14节:Hello Object 成员版
第15节:Hello Object 派生版
第16节:Hello Object 多态版
课文封面

一个基本原则:不变的功能,直接复用原有代码;变化的功能,在分开的代码里实现。
三个学习内容:

  1. 派生的基本概念和目的
  2. 如何定义派生类以及创建派生对象
  3. 派生对象的生死过程

0. 课堂视频

1. 派生的基本概念与目的

编程,或者说软件系统的设计与实现的主要工作和最大痛苦来源,就是:变化。由于要面对变化,于是产生了许多程序设计思想、原则或方法,派生正是其中之一。

1.1 变与不变的代码原则

写程序时,很多时候,会发现当前地方需要用到的功能,在之前的某个地方,已经实现过一回了;又有很多时候,会发现,当前需要在原来的功能上,实现一些新的功能。这时候,一条基本且重要的原则出现了:

需要用到一样的功能,我们希望直接复用原有代码,而不是重新写一遍(哪怕你有复制粘贴大法);而当需要写不一样的功能时,我们希望新功能和旧功能能够在分开的代码中写,而不是混在一起写。

这个原则很好理解:

  1. 实现同样功能的代码如果到处出现,不仅费时费事,而且将来功能有变动时,就得到处修改;
  2. 同一段代码,却包含了多种不同逻辑的实现,表现看起来非常强大,但一来整体逻辑变得很复杂,并且非常容易写错。

派生就可以同时满足以上两点要求的一种编程方法(归在“面向对象”的编程思想中)。

课堂讲到的,实现“区分对待女神与普通人的自我介绍功能” 的 “if/else” 和 派生方案的对比,目的就是为了让同学通过实例,体会、理解到这个原则所能发挥的作用,以及发挥作用的方法。

一句话:在新的类型定义(当前我们学习了如何定义 struct )中实现新功能,从而保证“新功能和旧功能分开写”;而又能同时复用(继承)原有类型的原有功能。在这段话的描述中,新的类型就是派生类(derived-class),旧的类型叫基类(base-class)。

基类和派生类之间,可以称为 “派生 / derive ”,另一种常用的说法是“继承 / inherit”。当我们说“继承”时,通常是在强调新的类型从旧的类型身上复用(继承)了原有的功能;而当我们说“派生”时,则通常是在强调新的类型将在旧的类型的基础上,扩展(派生)了一些新的功能。两种说法是同一硬币的两个面,关系紧密,比如派生新功能时所用到的基础,往往就是继承自基类的原有方法或数据。

跨越语法的,通常用以下图形表示类型和类型之派生关系:

继承关系

1.2 变与不变的具体例子

这是我们在上一节课 《Hello Object 成员版》 写的一段代码:

// 定义人类结构 struct Person { Person() { std::cout << "哇哇~" << std::endl; }; ~Person() { std::cout << "呜呜~" << std::endl; } // 自我介绍 void Introduce() // 成员函数,方法 { std::cout << "大家好,我叫 " << name << std::endl; } std::string name; // 成员数据,属性 };

新需求是:美女能够有不同的自我介绍方式,但美女的生死过程要和普通人类(Person)一样地会“哇哇”或“呜呜”。

当然可以借助 if/else 来实现,只需要在原来就有的 Introduce () “动刀”:

void Introduce() { if (name == "志玲") { // 在此处实现女神特有的自我介绍 } else { std::cout << "大家好,我叫 " << name << std::endl; } }

这种实现方法,除了用名字来判断一个人的外貌这一固有的“原罪”之外,它还不符合我们前面谈的基本原则中的第二个要求:新旧功能分开写。

3. 派生的基本语法

3.1 定义派生类

以我们熟悉的 struct (用户自定义类型方法之一)为例:

struct 派生类 : public 基类 { };

C++ 支持多种派生方法,比如私有派生和公有派生,其中公有派生最常用。上面示例代码中的 关键字 “public” 即指明这是一个公有派生关系。

当派生类是 struct 时,此处省略 public 也同样表示公有派生。

给个具体例子:美女类(Beauty)派生了(继承自)普通人类(Person)。

struct Beauty : public Person { };

此时,表面上看,Beauty 结构中间空空,一无所有,但其实它已经拥有了继承自基类的成员数据 name 和 成员方法 Introduce() 。

依据需求,美女类将拥有自己的自我介绍方法:

struct Beauty : public Person { void Introduce() { cout << "大家好,我是美女" << name << ",想得到大家的多多关照哦~" << endl; } };

注意,派生类的 Introduce() 方法的原型(函数三要素:名字、返回值、入参列表)和基类的完全一样,但实现改变了(更嗲一点?)。可以放心的是,两个版本不会打架。基类的对象使用基类的,派生类的对象使用派生类的。

这里讲的就是之前课程提到的“类型即约束”。基类类型约束基类对象,派生类类型约束派生类对象,各自安生……直到下一节课,有些对象会突然醒悟,发出 “王侯将相,宁有种乎”的呐喊……

可能你已经注意到了,Beauty 确实非常直接地使用到了 name ——如前所述,它继承自基类。

更需要注意到的是:Beauty 类完全没手写的构造函数和析构函数。在此情况下,依照 C++ 语言标准,编译器会自动为它生成有默认行为的构造和析构函数,并且(重点)二者的默认行为中,包括了各自去调用基类的版本。即:

  • 派生类默认的构造函数,会自动调用基类的构造函数;
  • 派生类默认的析构函数,会自动调用基类的析构函数。

所以,尽管什么也没写,但我们在构造一个 Beauty 的对象时,它会输出 “哇哇~”,而它在释放时,也将输出 “呜呜~”。

3.2 定义派生类对象

派生类也是类,所以还是通过类型定义一个对象(变量)的那一套,我们同样给出栈对象和堆对象的例子:

/* 此处是基类 Person 和 派生类 Beauty 的类定义,略 */ int main() { Beauty b1; b1.Introduce(); Beauty* b2 = new Beauty(); // 或 new Beauty b2->Introduce(); delete b2; }

3.3 完整代码

#include <iostream> #include <string> // 基类 struct Person { Person() { std::cout << "哇哇~" << std::endl; }; ~Person() { std::cout << "呜呜~" << std::endl; } // 自我介绍 void Introduce() // 成员函数,方法 { std::cout << "大家好,我叫 " << name << std::endl; } std::string name; // 成员数据,属性 }; // 派生类 struct Beauty : public Person { void Introduce() { cout << "大家好,我是美女" << name << ",想得到大家的多多关照哦~" << endl; } }; int main() { Person xiaoA; // 变量小A,普通人类 xiaoA.name = "小A"; Person 如花; // 小心出现中文符号 如花.name = "如花"; Beauty zhiLing; zhiLing.name = "王钢蛋"; auto* jiaLing = new Beauty; jiaLing->name = "嘉铃"; // 我更喜欢 “加0” xiaoA.Introduce(); 如花.Introduce(); zhiLing.Introduce(); jiaLing->Introduce(); delete jiaLing; }

为什么非要有个堆变量呢?因为下节要用啊,好怕同学们才隔一节课就忘记了。

4. 派生对象的生死过程

4.1 多级构造与析构过程

  • 派生对象构造时,先调用基类的构造函数,再调用自己的构造过程;
  • 派生对象析构时,先调用自己的析构函数,再调用基类的析构过程。

如果把基类比成一楼,派生类比成二楼,那就是:

  • 构造就是盖楼,先盖一楼,再盖二楼;
  • 析构就是拆楼,先拆二楼,再盖二楼。

如果还有三楼、四楼,整个过程依次延顺。

注意,画楼层时,通常二楼在上,一楼在下。但画派生关系图时,基类在下,派生类在上,且箭头是从派生指向基类。

4.2 示例程序

关于派生类构造也析构的完整测试代码:

#include <iostream> using namespace std; // 间接限定 struct ShaFaTie // 沙发贴,“爷爷类” { ShaFaTie() { cout << "哈哈,捡到沙发,笑抚二楼狗头。" << endl; } ~ShaFaTie() { cout << "我是一楼,结贴。" << endl; } }; struct BanDengTie : public ShaFaTie // 板凳贴,“爸爸类” { BanDengTie() { cout << "[回复] 抢到板凳。一楼你好舒服!笑看三楼躺地板。" << endl; } ~BanDengTie() { cout << "我是二楼,结贴。" << endl; } }; struct DiBanTie : public BanDengTie // 地板贴,“孙子类” { DiBanTie() { cout << "[回复] 三楼怎么啦?席地而坐,凸显不同。" << endl; } ~DiBanTie() { cout << "我是三楼,结贴。" << endl; } }; int main() { ShaFaTie l1; cout << "===============\n"; BanDengTie l2; cout << "===============\n"; DiBanTie l3; cout << "===============\n"; }