【C++ Primer Plus(第六版)】第十三章类继承

最新推荐文章于 2023-01-14 12:55:11 发布

Mr_WangAndy

最新推荐文章于 2023-01-14 12:55:11 发布

阅读量167

点赞数

分类专栏： C++ 文章标签： is-a关系多态公有继承重载重定义虚函数实现原理动态联编和静态联编

本文链接：https://blog.csdn.net/weixin_43916755/article/details/125128953

版权

C++ 专栏收录该内容

53 篇文章 4 订阅

订阅专栏

总结十三章知识点。

第十三章类继承

面向对象的主要目标之一就是提供可重用的代码。使用可重用的代码首先可以节省时间，其次可以避免使用新方法的中引入的错误。
本章介绍继承简单的一面和复杂的一面。

13.1 一个简单的类的基类

比如：

class A
{
private:
	string fname;
	string lname;
public:
	void A(string fname=”nullptr”,lname=”nullptr”);
	void showInfo() const;
};

class B : public A
{
private:
	unsigned int age;
public:
	B(unsigned int age,string & n,string &l):A(n,l); // 这样定义B的构造函数
};

Public表示这是公有继承方式，A是基类，B是派生类。使用公有继承，基类的公有成员会成为派生类的公有成员，基类的私有成员，也将会成为派生类的私有部分，但只能通过基类的公有和保护方法来访问，为了清晰表示，截取了书上的图：
在这里插入图片描述
上边的派生类B需要注意什么问题呢？派生类可以定义自己的新成员，但是必须给新成员和继承的成员赋值，并且赋值时需要考虑访问权限。由于不能直接访问派生类的私有成员，只能通过基类的构造函数初始化基类的私有成员。派生类通过初始化列表的方法，见上边B中的构造函数。
有两种方式的派生类构造函数，直接上书上的图：
在这里插入图片描述

第一种（红框），如果在派生类构造函数中省略基类的构造函数，则默认调用基类的构造函数。
第二种（黑框），直接用基类对象初始化基类构造函数，如果基类中未定义复制构造函数，则默认调用编译器生成的。这种情况适合浅拷贝情况。
派生类构造函数要点：
首先创建基类对象，然后初始化基类构造函数，初始化派生类构造函数。
派生类和基类特殊关系：
基类指针和引用可以指向基类对象和派生类对象。在基类中存在隐式的复制构造函数，隐式重载=运算符，如果没有显示定义，将直接隐式调用。

13.2 继承：is-a关系

is-a是一种共有继承方式，表示派生类也是基类对象，基类对象中的方法通过共有继承，可以在派生对象中使用。比如Fruit和banana类关系，Fruit是水果，Banana可继承水果类的特性，也就是香蕉是一种（is-a-kind-og）水果.

13.3 多态公有继承

13.3.1 多态

有时候希望同一个方法在派生类和基类中是不同的，即方法的行为应取决于调用该方法的对象，这种方式就是多态。
一个多态实例：
书上给出了Brass 和 Brassplus 的例子，Brassplus继承了Brass类。Brass类中定义了两个虚方法：

virtual void Withdraw(double amt);		// 取款
virtual void ViewAcct() const;			// 显示账户信息
virtual ~Brass() {};		// 虚析构函数

解释上边三个虚函数，第一个和第二个虚函数希望可以实现多态，即共有继承后，通过基类对象指针或引用指向的对象来确定调用基类或派生类的方法。

13.3.2 为什么需要虚析构函数？

如果析构函数不是虚的，将只调用指针类型的析构函数。如果析构函数是虚的，将调用响应对象类型的析构函数。

13.4 静态联编和动态联编

13.4.1 编译连接步骤：预处理(.i文件)，编译，汇编，链接

预处理：预编译文件将源文件变成.i文件。处理规则为：将源文件中的#define宏定义展开、删除注释、添加调试的行号，下面的例子，生成main.ii文件。
编译：编译就是把预处理的.i文件进行一系列优化，词法，语法等分析，生成汇编代码文件.S；gcc -S main.ii 就可得到main.s汇编文件，查看main.s内容，如下：
汇编：将汇编代码一句一句翻译成机器指令，生成目标文件。Windows为obj文件，linux为.o文件。
汇编 gcc -c main.s 得到main.o文件：
链接：
.o文件和**.a库文件链接**在一起，生成可执行文件。

13.4.2 静态联编和动态联编

静态联编：理解为静态库文件的处理方式，即在链接步骤中，链接器从库文件中将所需的代码复制到生成的可执行文件中。
动态联编：程序运行时选择正确的虚方法的代码，叫做动态联编。编译器对虚方法使用动态联编，对非虚方法使用静态联编。
为什么有两种类型的联编，动态联编和静态联编？
如果动态联编可以重新定义类方法，静态联编不能，为何不摒弃静态联编呢？原因有两个：效率和概念模型。
1.效率方面：要实现程序在运行阶段能够进行决策，必须要采取方法来跟踪基类指针或引用指向的对象模型，这就增加了额外开销；而静态联编不需要这些额外的开销。

13.4.3 虚函数实现原理

虚函数实现原理
加上virtual关键字后，编译器会为给每个对象创建了一个虚函数表的指针，这个指针指向每个对象的虚函数表。如果在派生类对象中没有重新定义虚函数，则虚函数表中将保存新函数的地址；如果派生类中没有重新定义虚函数，该vtbl将保存函数原始版本的地址。
所以使用虚函数实现动态联编，在内存和执行速度方面有一定成本，包括：
每个对象都会多一个指向虚函数表的指针。
对于每个类，编译器都会创建一个虚函数地址表（数组）。
对于每个函数调用，都执行一个额外操作：去虚函数表中查找地址。

13.4.4 什么叫重载重写重定义？

看完书，发现之前看过的一些C++视频讲的不全，学知识还得是看书。我总结为要把知识转为自己的技能，现在最好的办法就是边看书边思考，在这个过程中掌握，再逐渐渗透到自己的知识体系中。
函数重载发生在一个类中，只是函数参数不同，返回值不能作为函数重载的判断依据。
重定义：兵分两路，如果参数相同，那么将会发生多态。这点已经很明确了。但是如果参数不同，会发生什么情况？当基类成员函数和派生类同名函数参数不同时（我们原本的意思是，既然派生类继承了父类，那么在派生类中就可以使用同名函数只是参数不同的两个函数，像使用重载一样，对不起，不行），那么在派生类中会隐藏（覆盖）掉基类的同名函数，也就是在派生类中只能使用新定义的函数。
有一点要注意：如果基类中声明了重载，如果派生类中也要使用这些重载函数时，应重新定义父类的版本，否则就会发生隐藏。