【C++】面向对象---继承(万字详解)

Love The Way You Lie 2024-03-29 14:25 80阅读 0赞

#### 目录 ####

*  前言
 *  一、继承的定义及概念
 *  二、继承方式
 *  三、基类和派生类之间的转换
 *  四、切片
 *  五、继承中的作用域
 *  六、派生类中的默认成员函数
 *  七、继承中的友元与静态成员
 *   *  继承与友元
     *  继承中的静态成员
 *  八、棱形继承和虚继承
 *   *  棱形继承
     *  虚继承
 *  总结

--------------------

## 前言 ##

继承是面向对象的一个重点，而继承和多态也息息相关。继承继承，顾名思义，就是继承父亲的所有。现实中有继承，那么C++里面也有继承。所以说，程序实际上就是对现实世界的抽象。废话不多说，接下来步入正题。

--------------------

## 一、继承的定义及概念 ##

> 继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段，它允许程序员在保  
> 持原有类特性的基础上进行扩展，增加功能，这样产生新的类，称派生类。继承呈现了面向对象  
> 程序设计的层次结构，体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用，继  
> 承是类设计层次的复用。

那么继承如何定义呢？ 很简单，继承的定义格式`class 类名 : 继承方式(public/protected/private) 基类类名。`  
代码演示:  
首先我们需要有一个基类，我暂且把基类的成员设置为公有。

class Person
    {
        
    public:
    	string _name;
    };

其次我们需要一个派生类，来继承基类。我们的基类是Person，那我们再定义一个Student类，来继承Person。

Student定义:

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

这样，Student类和Person类就完成了继承关系。Student 就是Person的子类。但这也不意味着子类就可以使用父类的成员了。因为C++中的继承方式有9种。

--------------------

## 二、继承方式 ##

C++中的继承方式有以下9种。

<table> 
 <thead> 
  <tr> 
   <th>类成员/继承方式</th> 
   <th>public方式继承</th> 
   <th>protected方式继承</th> 
   <th>private方式继承</th> 
  </tr> 
 </thead> 
 <tbody> 
  <tr> 
   <td>基类的public成员</td> 
   <td>在派生类中是public</td> 
   <td>在派生类中是protected</td> 
   <td>在派生类中是private</td> 
  </tr> 
  <tr> 
   <td>基类的protected成员</td> 
   <td>在派生类中是protected</td> 
   <td>在派生类中是protected</td> 
   <td>在派生类中是private</td> 
  </tr> 
  <tr> 
   <td>基类的private成员</td> 
   <td>在派生类种不可见</td> 
   <td>在派生类种不可见</td> 
   <td>在派生类种不可见</td> 
  </tr> 
 </tbody> 
</table>

也就是说，用public继承的话，基类的成员会原封不动的继承到派生类。所以我们上面用public继承，那么基类的public成员继承到派生类还是public成员。所以我们可以直接使用父类对象的public成员。

![在这里插入图片描述][8720f830166a4d0bb60fa2938c407534.png]

--------------------

## 三、基类和派生类之间的转换 ##

那么我们把子类(派生类) 赋值给 父类(基类)，可以吗？  
我们用下面这个代码来试试。

void test2()
    {
        
    	Person p;
    	Student s;
    	s._name = "李四";
    	s._num = 2;
    	p = s;
    	cout << p._name << endl;
    }

测试结果 :  
![在这里插入图片描述][74964fa0894d4f7698e548c19d7b2923.png]  
子类对象是可以给父类的。那么父类对象可以给子类吗？

![在这里插入图片描述][5cbe38d8edab41e986aa6d81686c124f.png]  
答案是不行，但是如果你真的想转，也是可以的。

//父类传给子类
    void test3()
    {
        
    	Person p;
    	Student s;
    	Person* pp = &p;
    	Student* ps = (Student*)pp;
    	ps->_name = "张三";
    	cout << ps->_name << endl;
    }

但是这有很大的风险，那就是内存越界！因为基类没有派生类的成员。而用派生类的指针去强制指向父类，那么当派生类去访问自己的成员的时候，就会导致内存越界。  
![在这里插入图片描述][4c194e2b30364b5ea197218c8bff414c.png]

为什么会这样呢？那是因为在转换的过程会进行切片操作。

--------------------

## 四、切片 ##

当基类和派生类对象进行转换时，会发生切片操作。

基类有一个成员的\_name，而派生类Student继承了Person。所以Student有个隐藏的成员\_name。  
![在这里插入图片描述][735bb28989344ac7818a6cc2074fa376.png]  
当把Student 赋值给 Person时，会发生切片操作。  
![在这里插入图片描述][cb818b00a36946d7aeffcd882f3e344c.png]

简单理解就是把 Person 给 Student的成员 赋值给了 Person，而Student自己的成员\_num则不会赋过去。

为什么Person 不能赋值给Student？ 因为Person没有足够的成员给Student，Student自己的成员\_num无法被给予。  
在这里插入图片描述

为什么指针强制转换就可以呢？  
因为pp一开始指向Person  
![在这里插入图片描述][d88e5746bc20420dad2e35bc2ab1085f.png]

而Person 的空间范围是  
![在这里插入图片描述][cbc99a3910f2475cb1c2ff0e14a92343.png]

此时把它强制转换成 Student指针的话，那么它的范围会变成这样。  
![在这里插入图片描述][a12f6ba174b54109ae3de23c8df38073.png]  
这就造成了越界访问，所以这是非常危险的操作。

--------------------

## 五、继承中的作用域 ##

如果2个类中，有相同的成员名，那么父类的成员会被隐藏。优先使用子类的成员，简单说就是就近原则。

代码演示:

class Person
    {
        
    public:
    	void f() 
    	{
        
    		cout << "Person" << endl;
    	}
    
    	string _name;
    };
    
    class Student : public Person
    {
        
    public:
    	void f() //和父类有相同的函数成员
    	{
        
    		cout << "Student" << endl;
    	}
    	int _num;
    };
    
    void test4()
    {
        
    	Student s;
    	s.f();
    }

运行结果:  
![在这里插入图片描述][89be81d613724018a454276b54d4c3a4.png]  
我们会发现它只调用了自己的成员，如果想调用父类的成员，那么需要::域限定符才能调用父类成员。

void test4()
    {
        
    	Student s;
    	s.Person::f();
    }

这样，我们就调用了父类的成员函数  
![在这里插入图片描述][c7b535432d8a4c7ab8a6af6add257ea1.png]

--------------------

## 六、派生类中的默认成员函数 ##

> 6个默认成员函数，“默认”的意思就是指我们不写，编译器会变我们自动生成一个，那么在派生类中，这几个成员函数是如何生成的呢？  
>   
> 1 . 派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员。如果基类没有默认 的构造函数，则必须在派生类构造函数的初始化列表阶段显示调用。  
>   
> 2 . 派生类的拷贝构造函数必须调用基类的拷贝构造完成基类的拷贝初始化。  
>   
> 3 . 派生类的operator=必须要调用基类的operator=完成基类的复制。  
>   
> 4 . 派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序。  
>   
> 5 . 派生类对象初始化先调用基类构造再调派生类构造。  
>   
> 6 . 派生类对象析构清理先调用派生类析构再调基类的析构。  
>   
> 7 . 因为后续一些场景析构函数需要构成重写，重写的条件之一是函数名相同(这个我们后面会讲解)。那么编译器会对析构函数名进行特殊处理，处理成destrutor()，所以父类析构函数不加virtual的情况下，子类析构函数和父类析构函数构成隐藏关系。

接下来我们来测试一下

class Person
    {
        
    public:
    	Person()
    	{
        
    		cout << "Person" << endl;
    	}
    
    	Person(const Person& p)
    	{
        
    		if (&p != this)
    		{
        
    			_name = p._name;
    		}
    		cout << "&Person" << endl;
    	}
    
    	~Person()
    	{
        
    		cout << "~Person" << endl;
    	}
    
    	string _name;
    };
    
    class Student : public Person
    {
        
    public:
    	Student()
    	{
        
    		cout << "Student" << endl;
    	}
    	~Student()
    	{
        
    		cout << "~Student" << endl;
    	}
    	int _num;
    };
    
    void test1()
    {
        
    	Student s;
    }
    
    int main()
    {
        
    	test1();
    
    }

我们可以发现，它先调用了基类的构造函数，再调用派生类的构造函数。随后派生类先调用析构函数，基类再调用析构函数。  
![在这里插入图片描述][4603320b5e5240b284c36c915ab698d2.png]

同样的，派生类再调用拷贝构造函数前，必须显示调用基类的拷贝构造函数。

class Student : public Person
    {
        
    public:
    	Student()
    	{
        
    		cout << "Student" << endl;
    	}
    
    	Student(const Student& p)
    		:Person(p) //先调用基类的拷贝构造
    	{
        
    		if (&p != this)
    		{
        
    			_num = p._num;
    		}
    		cout << "&Student" << endl;
    	}
    
    	~Student()
    	{
        
    		cout << "~Student" << endl;
    	}
    	int _num;
    };

![在这里插入图片描述][b5d52dc78ceb4d74810f7ea752ebf742.png]

而重写派生类 赋值操作符时，也必须先调用基类的 赋值操作符重写。

//基类的 =重写函数
    	Person& operator=(const Person& p)
    	{
        
    		_name = p._name;
    	}
    
    //派生类的=重写函数
    	Student& operator=(const Student& p)
    	{
        
    		Person::operator=(p); //调用基类的 =赋值重载
    		_num = p._num;
    	}

那么派生类的析构函数是否也要先调用基类的构造函数呢？ 答案是不用！因为栈是一个后进先出的结构。基类先调用构造函数，那么基类就必须后析构。 这样才符合栈先进后出的性质，如果在析构函数里面调用了基类的析构函数，那么基类就会析构俩次。此时如果基类有动态申请的空间。那么程序就会报错，因为一块空间被释放了2次。

--------------------

## 七、继承中的友元与静态成员 ##

### 继承与友元 ###

> 父类的友元不会继承给子类。通俗来讲，就是你父亲的朋友你不一定认识。如果要父类的友元也是子类的友元，那么需要子类自己去friend一下。

### 继承中的静态成员 ###

> 静态成员会被继承，但是不会给它新开空间。通俗的说，子类父类共用同一个静态成员。

我们给父类加一个静态成员 \_count，每次调用构造函数就++一次。

class Person
    {
        
    public:
    	Person()
    	{
        
    		++_count;
    		cout << "Person" << endl;
    	}
    
    	Person(const Person& p)
    	{
        
    		if (&p != this)
    		{
        
    			_name = p._name;
    		}
    		cout << "&Person" << endl;
    	}
    
    	Person& operator=(const Person& p)
    	{
        
    		_name = p._name;
    	}
    
    	~Person()
    	{
        
    		cout << "~Person" << endl;
    	}
    	static int _count;
    	string _name;
    };
    	int Person::_count = 0;

然后我们打印一下子类父类的count值以及count的地址

void test3()
    {
        
    	Person p;
    	Student s;
    	cout << p._count << ":" << &p._count << endl;
    	cout << s._count << ":" << &s._count << endl;
    }

![在这里插入图片描述][462c4eb23c934b38821a5661a71588ac.png]  
这里我们可以看出，子类会继承父类的 静态成员，并且与父类共用一个静态成员。

--------------------

## 八、棱形继承和虚继承 ##

### 棱形继承 ###

C++是支持多继承的，而多继承就会面临一个问题，那就是菱形继承。什么是菱形继承呢？ 看一下这张图就知道了。

![在这里插入图片描述][293817a9ccd24367b85a9d3fd6cf6554.png]

如图，assistant是助手类，它既可以继承Teacher，也可以继承Student。而Student 和 Teacher 都继承 Person。而这就形成了一个菱形继承，而菱形继承具有很大的冗余性和二义性。

那么我们也这段代码来测测它的冗余性。

class Person
    {
        
    public:
    	Person()
    	{
        
    		cout << "Person" << endl;
    	}
    
    	Person(const Person& p)
    	{
        
    		if (&p != this)
    		{
        
    			_name = p._name;
    		}
    		cout << "&Person" << endl;
    	}
    
    	Person& operator=(const Person& p)
    	{
        
    		_name = p._name;
    	}
    
    	~Person()
    	{
        
    		cout << "~Person" << endl;
    	}
    	string _name;
    };
    
    class Student : public Person
    {
        
    public:
    	Student()
    	{
        
    		cout << "Student" << endl;
    	}
    
    	Student(const Student& p)
    		:Person(p) //先调用基类的拷贝构造
    	{
        
    		if (&p != this)
    		{
        
    			_num = p._num;
    		}
    		cout << "&Student" << endl;
    	}
    
    	Student& operator=(const Student& p)
    	{
        
    		Person::operator=(p); //调用基类的 =赋值重载
    		_num = p._num;
    	}
    
    	~Student()
    	{
        
    		cout << "~Student" << endl;
    	}
    	int _num;
    };
    
    class Teacher : public Person
    {
        
    public:
    	Teacher()
    	{
        
    		cout << "Teacher" << endl;
    	}
    
    	Teacher(const Teacher& p)
    		:Person(p) //先调用基类的拷贝构造
    	{
        
    		if (&p != this)
    		{
        
    			_num = p._num;
    		}
    		cout << "&Teacher" << endl;
    	}
    
    	Teacher& operator=(const Teacher& p)
    	{
        
    		Person::operator=(p); //调用基类的 =赋值重载
    		_num = p._num;
    	}
    
    	~Teacher()
    	{
        
    		cout << "~Teacher" << endl;
    	}
    	int _num;
    };
    
    class Assistant : public Teacher,public Student
    {
        
    public:
    	Assistant()
    	{
        
    		cout << "Assistant" << endl;
    	}
    
    	~Assistant()
    	{
        
    		cout << "~Assistant" << endl;
    	}
    	int _num;
    };
    
    void test4()
    {
        
    	Assistant a;
    }
    
    int main()
    {
        
    	test4();
    }

我们发现，创建一个对象，Person被调用了2次。如果Person上面有大型数组，那么就会造成数据冗余。  
![在这里插入图片描述][9495671e870442e8b1249945494469e4.png]  
再调用Assistant类的构造函数之前，必须先调用其父类的构造函数。而其继承顺序是先继承Teacher，所以它会先调用Teacher的构造函数。但又因为Teacher又继承了Person，所以Person的构造函数要在Teacher之前调用。所以调用顺序就是 Person->Teacher->Person->Student->Assistant 。析构顺序则是反过来。

而棱形继承不仅有冗余性，还有二义性。我们用Assistant对象调用一下\_name成员。

![在这里插入图片描述][948f6774a695442dbabbc0a7311f9fe1.png]  
我们会发现它提示，\_name不明确。那是因为不知道用Teacher的\_name还是用Student的\_name。所以会出现这种情况。要解决这个问题也很简单，加上域限定符指定即可。  
![在这里插入图片描述][23b11602ba9048b5835e34aa43156a98.png]

即便解决了二义性的问题，但依然存在冗余的情况，所以这种情况我们可以用虚继承。

### 虚继承 ###

虚继承是在"腰"上进行的，也就是在 :后面加上virtual  
![在这里插入图片描述][db91762018da4fec890a78e00defb09f.png]  
Teacher类虚继承Person  
![在这里插入图片描述][c7348b5c6c6b4289827092ed2bb1f6c6.png]  
Student类虚继承Person  
![在这里插入图片描述][28e787baf65d45ae9c4c68af85912ae7.png]  
然后我们再运行看看  
![在这里插入图片描述][a39776ec90134b44bf766df812111bd5.png]  
我们可以看到，二义性解决了，冗余性也得到了改善。Person只会被构造一次。可能看似没什么，但如果我Person 有一个成员变量是 1个大小为100000的数组呢？ 那么构造2次就会产生2个这样的数组，这样就造成了严重的空间浪费。

那么虚继承在内存中是怎么操作的呢？ 首先，我们先写个棱形继承。

![在这里插入图片描述][2893e65441414b3aaedf5fb0b284a4db.png]

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;
    };
    
    int main()
    {
        
    	D d;
    	d.B::_a = 1;
    	d.C::_a = 2;
    	d._b = 3;
    	d._c = 4;
    	d._d = 5;
    	d._a = 0;
    	return 0;
    }

然后我们调试，打开内存监测窗口。  
![在这里插入图片描述][287e0c5a9fab421db4d98a7bbfd80a68.png]  
然后一步一步调试观察  
![在这里插入图片描述][d1caa00fe560486384eb0f4497f47808.gif_pic_center]  
最后的结果是这样的  
![在这里插入图片描述][5e5ee12873e24afcacf8a89b214ac622.png]  
![在这里插入图片描述][88eab865c86f4f499451bd130e8b55ec.png]  
我们发现 B和C的公共成员都存放在最后一行。  
那么B和C上面的地址是什么呢？我们在内存观测一下  
48 7b 00 01 ，小端存储的话就是倒过来的，实际地址是 01 00 7b 48  
![在这里插入图片描述][84d4b3827a5a41839019453d0ccc6186.png]

54 7b 00 01 ，小端存储就是 01 00 7b 54  
![在这里插入图片描述][46e8823ca7bb4eb9883dd6b5b1efee2f.png]  
我们发现第二行全是0，这是给其他东西预留的，我们可以不用管。我们只看第二行。而14是16进制的值，转换为10进制就是20，0c转换成十进制就是12。  
![在这里插入图片描述][b1d844afc74342b7b4ba219541b3dcb9.png]  
这样我们就可以得出，第二行存放的是到公共成员的偏移量/相对距离。而偏移量就是地址处到公共成员的距离。  
![在这里插入图片描述][cf4bc1b0880e4328adabb36ba766dfd3.png]  
也就是说，在D里面，A放在了一个公共的位置，不属于B也不属于C。而B和C要去找A的时候。会通过 地址处(虚基表) 保存的偏移量，来找到A。

## 总结 ##

在java或者其他的一些语言中，是没有多继承的，只有单继承。因为多继承可能是一个缺陷，也很少用到。但这也正是C++的特点，而和继承息息相关的还有多态，多态的难度还要大于继承。所以后面会为大家写一篇关于多态的文章。如果文中有讲的不好的，或者错误的地方。欢迎各位指出。

[8720f830166a4d0bb60fa2938c407534.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/2e79dde31ac643e28d2df43b215ea3cf.png
[74964fa0894d4f7698e548c19d7b2923.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/526c594107e7422c90f17db6b17dbd62.png
[5cbe38d8edab41e986aa6d81686c124f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/e85905fe7eb548aebe8c2a2bf77b20f8.png
[4c194e2b30364b5ea197218c8bff414c.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/33f5c66d9eb04acca1e2646f60bea2a5.png
[735bb28989344ac7818a6cc2074fa376.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/259a7b3b2ea24e1b8c194ea1c011f8b2.png
[cb818b00a36946d7aeffcd882f3e344c.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/a10ccb7c676e42b2b0c2616d6120037b.png
[d88e5746bc20420dad2e35bc2ab1085f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/0f5203764c874044a47d3a3d74f99432.png
[cbc99a3910f2475cb1c2ff0e14a92343.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/1771205855714ed191be164992930209.png
[a12f6ba174b54109ae3de23c8df38073.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/1c38ff4f01a24432bc612d75cd40f10c.png
[89be81d613724018a454276b54d4c3a4.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/e1e556da449248a0beb82bd209457784.png
[c7b535432d8a4c7ab8a6af6add257ea1.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/a9d57733c61a440baa2ce7f6f10022a5.png
[4603320b5e5240b284c36c915ab698d2.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/db7a7f05b55a4de08fecb2adbf32ae92.png
[b5d52dc78ceb4d74810f7ea752ebf742.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/4b557fbfc9b547c6b0ffe395ced64c6b.png
[462c4eb23c934b38821a5661a71588ac.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/e247a86feed047bdb0bc741ea9bc0fa4.png
[293817a9ccd24367b85a9d3fd6cf6554.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/9eb3593f9af3439eab74376b84d90fe0.png
[9495671e870442e8b1249945494469e4.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/e6a812fbfee44168a85268c80103d879.png
[948f6774a695442dbabbc0a7311f9fe1.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/a6ad43f0e16f451e9615ac8d986f7de6.png
[23b11602ba9048b5835e34aa43156a98.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/42f9e0aea33a42e7abde54ea96ac6391.png
[db91762018da4fec890a78e00defb09f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/c92edd836336463e8ba2207d114dac51.png
[c7348b5c6c6b4289827092ed2bb1f6c6.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/19d5428f54a1469793beba0efbbfb107.png
[28e787baf65d45ae9c4c68af85912ae7.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/f1a31696cb984a148d4b609ed4a5ac72.png
[a39776ec90134b44bf766df812111bd5.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/fc33c96ba20c463dabd03a961aa615a3.png
[2893e65441414b3aaedf5fb0b284a4db.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/5ce010a958a64c83a3a20b0d9418dd40.png
[287e0c5a9fab421db4d98a7bbfd80a68.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/745bfed0f560438eb5387f112a196319.png
[d1caa00fe560486384eb0f4497f47808.gif_pic_center]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/69ef29b031ef4147b9ebdd8ac20a9ed2.png
[5e5ee12873e24afcacf8a89b214ac622.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/d706c7c3e051426a97a24d128ea39fae.png
[88eab865c86f4f499451bd130e8b55ec.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/378e21dd13504c79bdfa2f92bcb197e4.png
[84d4b3827a5a41839019453d0ccc6186.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/37ea025127e84c4890548bfdd2bc2f18.png
[46e8823ca7bb4eb9883dd6b5b1efee2f.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/a521bb2c1ae1438f9b09c35c555b8e88.png
[b1d844afc74342b7b4ba219541b3dcb9.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/30c0614c30bc413282041b484f8030f4.png
[cf4bc1b0880e4328adabb36ba766dfd3.png]: https://image.dandelioncloud.cn/pgy_files/images/2024/03/28/52b93fa204904c8598d0567ff2733d69.png