【C++】C++中的继承，看这一篇就够了
一.继承的概念及定义
继承的概念
继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段，它允许程序员在保持原有类特性的基础上进行扩展，增加功能，这样产生新的类，称派生类。继承呈现了面向对象程序设计的层次结构，体现了由简单到复杂的认知过程。
继承定义
下面我们看到Person是父类，也称作基类。Student是子类，也称作派生类
继承关系和访问限定符
继承基类成员访问方式的变化
总结：
- 基类private成员在派生类中无论以什么方式继承都是不可见的。这里的不可见是指基类的私有成员还是被继承到了派生类对象中，但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它。
- 基类private成员在派生类中是不能被访问，如果基类成员不想在类外直接被访问，但需要在派生类中能访问，就定义为protected。可以看出保护成员限定符是因继承才出现的。
- 实际上面的表格我们进行一下总结会发现，基类的私有成员在子类都是不可见。基类的其他成员在子类的访问方式 == Min(成员在基类的访问限定符，继承方式)，public > protected>private。
- **使用关键字class时默认的继承方式是private，使用struct时默认的继承方式是public，**不过最好显示的写出继承方式。
- 在实际运用中一般使用都是public继承，几乎很少使用protetced/private继承，也不提倡使protetced/private继承，因为protetced/private继承下来的成员都只能在派生类的类里面使用，实际中扩展维护性不强
二. 基类和派生类对象赋值转换
- 派生类对象 可以赋值给 基类的对象 / 基类的指针 / 基类的引用。这里有个形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去。
- 基类对象不能赋值给派生类对象。
- 基类的指针或者引用可以通过强制类型转换赋值给派生类的指针或者引用。但是必须是基类的指针是指向派生类对象时才是安全的
三. 继承中的作用域
- 在继承体系中基类和派生类都有独立的作用域。
- 子类和父类中有同名成员，子类成员将屏蔽父类对同名成员的直接访问，这种情况叫隐藏，也叫重定义。（在子类成员函数中，可以使用 基类::基类成员 显示访问）
- 需要注意的是如果是成员函数的隐藏，只需要函数名相同就构成隐藏。
- 注意在实际中在继承体系里面最好不要定义同名的成员。
// B中的fun和A中的fun不是构成重载，因为不是在同一作用域
// B中的fun和A中的fun构成隐藏，成员函数满足函数名相同就构成隐藏。
class A
{
public:
void fun()
{
cout << "func()" << endl;
}
};
class B : public A
{
public:
void fun(int i)
{
A::fun();
cout << "func(int i)->" <<i<<endl;
}
};
四. 派生类的默认成员函数
6个默认成员函数，“默认”的意思就是指我们不写，编译器会变我们自动生成一个，那么在派生类中，这几个成员函数是如何生成的呢？
- 派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员。如果基类没有默认的构造函数，则必须在派生类构造函数的初始化列表阶段显示调用。
- 派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化。
- 派生类的operator=必须要调用基类的operator=完成基类的复制。
- 派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序。
- 派生类对象初始化先调用基类构造再调派生类构造。
- 派生类对象析构清理先调用派生类析构再调基类的析构。
- 因为后续一些场景析构函数需要构成重写，重写的条件之一是函数名相同。那么编译器会对析构函数名进行特殊处理，处理成destrutor()，所以父类析构函数不加virtual的情况下，子类析构函数和父类析构函数构成隐藏关系
五. 继承与友元
友元关系不能继承，也就是说基类友元不能访问子类私有和保护成员*
六. 继承与静态成员
基类定义了static静态成员，则整个继承体系里面只有一个这样的成员。无论派生出多少个子类，都只有一个static成员实例。
七. 复杂的菱形继承及菱形虚拟继承
-
单继承：一个子类只有一个直接父类时称这个继承关系为单继承
-
多继承：一个子类有两个或以上直接父类时称这个继承关系为多继承
-
菱形继承：菱形继承是多继承的一种特殊情况。
-
菱形继承的问题：从下面的对象成员模型构造，可以看出菱形继承有数据冗余和二义性的问题。在Assistant的对象中Person成员会有两份。
-
下图是菱形继承的内存对象成员模型：这里可以看到数据冗余
八. 虚继承
虚拟继承可以解决菱形继承的二义性和数据冗余的问题。如上面的继承关系，在Student和
Teacher的继承Person时使用虚拟继承，即可解决问题。需要注意的是，虚拟继承不要在其他地
方去使用
class Person
{
public :
string _name ; // 姓名
};
class Student : virtual public Person
{
protected :
int _num ; //学号
};
class Teacher : virtual public Person
{
protected :
int _id ; // 职工编号
};
class Assistant : public Student, public Teacher
{
protected :
string _majorCourse ; // 主修课程
};
- 虚拟继承解决数据冗余和二义性的原理
下图是菱形虚拟继承的内存对象成员模型：这里可以分析出D对象中将A放到的了对象组成的最下
面，这个A同时属于B和C，那么B和C如何去找到公共的A呢？这里是通过了B和C的两个指针，指
向的一张表。这两个指针叫虚基表指针，这两个表叫虚基表。虚基表中存的偏移量。通过偏移量
可以找到下面的A。
- 下面是上面的Person关系菱形虚拟继承的原理解释
九. 继承和组合
- 继承允许你根据基类的实现来定义派生类的实现。这种通过生成派生类的复用通常被称
为白箱复用(white-box reuse)。术语“白箱”是相对可视性而言：在继承方式中，基类的
内部细节对子类可见 。继承一定程度破坏了基类的封装，基类的改变，对派生类有很
大的影响。派生类和基类间的依赖关系很强，耦合度高。 - 对象组合是类继承之外的另一种复用选择。新的更复杂的功能可以通过组装或组合对象
来获得。对象组合要求被组合的对象具有良好定义的接口。这种复用风格被称为黑箱复
用(black-box reuse)，因为对象的内部细节是不可见的。对象只以“黑箱”的形式出现。
组合类之间没有很强的依赖关系，耦合度低。优先使用对象组合有助于你保持每个类被
封装。 - 实际尽量多去用组合。组合的耦合度低，代码维护性好。不过继承也有用武之地的，有
些关系就适合继承那就用继承，另外要实现多态，也必须要继承。类之间的关系可以用
继承，可以用组合，就用组合。
组合的构成：即在一个类里面定义另外一个类的对象
// Tire和Car构成has-a的关系
class Tire{
protected:
string _brand = "Michelin"; // 品牌
size_t _size = 17; // 尺寸
};
class Car{
protected:
string _colour = "白色"; // 颜色
string _num = "陕ABIT00"; // 车牌号
Tire _t; // 轮胎
};
十. 笔试面试题
- 什么是菱形继承？菱形继承的问题是什么？
（1）菱形继承是指在类的继承关系中，存在两个或更多个直接或间接的基类，它们之间形成了一个类似菱形的结构。
（2）菱形继承带来的主要问题是数据冗余和二义性
- 什么是菱形虚拟继承？如何解决数据冗余和二义性的？
（1）菱形虚拟继承是一种特殊的继承方式，用于解决菱形继承中的数据冗余和二义性问题。
（2）菱形继承是指一个类同时从两个直接或间接的基类继承，而这些基类又共同继承自同一个基类，形成了一个菱形结构。这种情况下，可能会导致数据冗余和访问不明确（二义性）的问题。
（3）菱形虚拟继承通过在基类声明中使用virtual关键字来解决这些问题。当在基类中使用虚拟继承时，派生类中只会存储一份基类的数据成员，通过虚基表（Vtable）和虚基表指针来管理这些共享数据，从而避免了数据冗余。虚基表包含了虚基类的偏移量信息，通过这些信息可以正确地访问到共享的数据成员，解决了二义性问题
- 继承和组合的区别？什么时候用继承？什么时候用组合？
（1）继承意味着子类是父类的一种特殊类型，继承了父类的所有特性。而组合则是一个类将另一个类作为自己的成员变量使用
使用场景方面：
（2）继承适用于以下情况：
当两个类具有明显的“is-a”关系时，即一个类是另一个类的具体化或特例时，使用继承。例如，如果有一个“动物”类，而“狗”是动物的一种，那么狗类应该继承自动物类。
当一个类需要使用另一个类的所有方法或属性时，继承也是一个好的选择。例如，如果一个类需要使用另一个类中的大量属性和方法，通过继承可以很方便地获取这些功能。
（3）组合适用于以下情况：
当两个类之间存在“has-a”关系时，即一个类作为另一个类的组件时，使用组合。例如，如果一个“汽车”类需要包含一个“发动机”对象，那么汽车类可以将发动机作为自己的成员变量。
当需要保证类的安全性，不破坏封装时，使用组合。组合可以让一个类作为另一个类的组件，而不必暴露其全部接口，从而保持了较高的封装性。