【C++学习】日积月累——继承详解（2）-CSDN博客

本文链接：https://blog.csdn.net/weixin_46172366/article/details/129919272

一、继承分类

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

class Person {
public:

protected:
	string _name;//姓名
public:
	static int _count;//统计人的个数
};

int Person::_count = 0;

class Student :public Person {
protected:
	int _stuNum;//学号
};

class PostGraduate :public Student {
protected:
	string _seminarCourse;//研究科目
};

void test_inheritance01(){
	Student s1;
	Student s2;
	Student s3;
	PostGraduate s4;
	std::cout << "人数：" << Person::_count << std::endl;
	Student::_count = 0;
	std::cout << "人数：" << Person::_count << std::endl;
}

图1 单继承

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

class Person {
public:
	string _name;
};

class Student :public Person {
public:
	int _stuNum;
};

class Teacher :public Person {
public:
	int _jobNum;
};

class Assistant :public Student, public Teacher {
public:
	int _majorCourse;
};

void test_inheritance02() {
	Assistant a;
	a._name = "李云龙";
	a._stuNum = 1;
	a._jobNum = 2;
	a._majorCourse = 3;
}

图2 多继承

菱形继承：菱形继承是多继承的一种特殊情况。

图3 菱形继承

二、虚继承

2.1 菱形继承中的二义性及数据冗余问题

当我们遇到菱形继承的时候，下列代码中，初始化菱形继承类的对象a后，在对_name变量赋值的时候遇到了图4所示的二义性问题，程序不知是访问Student下的 _name还是访问Teacher下的 _name。

class Person {
public:
	string _name;
};

class Student :public Person {
public:
	int _stuNum;
};

class Teacher :public Person {
public:
	int _jobNum;
};

class Assistant :public Student, public Teacher {
public:
	int _majorCourse;
};

void test_inheritance03() {
	Assistant a;
	a._name = "楚云飞";
	a._stuNum = 1;
	a._jobNum = 2;
	a._majorCourse = 3;
}

图4中的bug为二义性无法明确知道访问哪一个成员：

图4 菱形继承调试结果

为了解决上述的二义性问题，需要指定访问哪个父类的成员，具体详见下列代码。但是指定了具体访问父类哪个成员后又出现了数据冗余问题。

void test_inheritance03() {
	Assistant a;
	a.Student::_name = "张飞";
	a.Teacher::_name = "赵云";

	a._stuNum = 1;
	a._jobNum = 2;
	a._majorCourse = 3;
}

上述调试结果如下图所示：

图5 test_inheritance03()调试

2.2 数据冗余和二义性的原理

通过阅读下列多继承代码，可以直观地看出这个继承是菱形继承。结合程序的调试内存图的图6可以看出，B里有一个A，C里也有一个A，可以看到数据冗余，以及二义性。

class A {
public:
	int _a;
};

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

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

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

void test_inheritance04() {
	D d;
	d.B::_a = 1;
	d.C::_a = 2;
	d._b = 3;
	d._c = 4;
	d._d = 5;
}

上述调试结果如下图所示：

图6 菱形继承调试内存图

为了解决菱形继承的二义性及数据冗余使用虚继承，对前面代码进行修改，详见下列代码。图7是菱形虚拟继承调试内存图，这里可以分析出D对象中将A放到了对象组成的最下面，这个A同时属于B和C，那么B和C如何去找公共的A？这里通过了B和C的两个指针，指向的一张表。这两个指针叫虚基表指针，这两个表叫虚基表。虚基表中存的偏移量。通过偏移量可以找到下面的A。

class A {
public:
	int _a;
};

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

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

class D :public B, public C {
public:
	int _d;
};
void test_inheritance05() {
	D d;
	d.B::_a = 1;
	d.C::_a = 2;
	d._b = 3;
	d._c = 4;
	d._d = 5;
}

上述调试结果如下图所示：

图7 菱形虚拟继承调试内存图

B中指针(0x006FFB9C)加上偏移量20到达A(0x006FFBB0)，位置的偏移量（相对距离）为20：

图8 B的虚表指针

C中指针(0x006FFBA4)加偏移量12到达A(0x006FFBB0)，位置的偏移量为12：

图9 C的虚表指针

三、继承与组合

继承的基本样式：

class Person{
public:
    string _name;
};

class Student:public Person{
public:
    int _age;
};

组合的基本样式：

#include<string>
class Person{
public:
    string _name;//姓名
    int _age;//年龄
    string _sex;//性别
};

class Student{
public:
    Person _stu;
}

小结

public继承是一种is-a的关系；也就是说每个派生类对象都是一个基类对象；
组合是一种has-a的关系；Student组合了Person，每个Student对象中都有一个Person对象；
继承与组合都是复用；相比而言，继承的耦合度较高；优先使用组合；
继承允许开发者根据基类的实现来定义派生类的实现；这种通过生成派生类的复用通常被称为白箱复用；