【C++】继承
文章目录
1.概念&定义
1.1 概念
概括地说,继承是改造,拿原来的东西,原封不动地使用,自己添加东西,实现新的功能。
继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,它允许程序员在保持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类。
继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,继承是类设计层次的复用。
举一例子,后续对例子的解释会展开各方面的知识点:
//Person类
class Person
{
public:
void Print()
{
cout << "name:" << _name << endl;
cout << "age:" << _age << endl;
}
protected:
string _name = "peter"; // 姓名
int _age = 18; // 年龄
};
//Student类,学生有名字和年龄,所以用继承复用Person的代码
class Student : public Person//共有继承Person类
{
protected:
int _stuid; // 学号
};
//Teacher类,老师有名字和年龄,所以用继承复用Person的代码
class Teacher : public Person//共有继承Person类
{
protected:
int _jobid; // 工号
};
int main()
{
Student s;
Teacher t;
s.Print();
t.Print();
return 0;
}
1.2 定义
1.2.1 定义格式
![image-20230418202016081](https://i-blog.csdnimg.cn/blog_migrate/17e7f45d7bbd165b9403b0362fcda840.png)
class + 子类类名 : 继承权限 父类类名
{
//子类的类体
}
其中:
- 基类(父类)
- 派生类(子类)
1.2.2 继承关系和访问限定符
![image-20230418202640803](https://i-blog.csdnimg.cn/blog_migrate/8e79106c001a0ab70f499416921705c2.png)
1.2.3 继承后基类成员访问权限
![image-20230418203500107](https://i-blog.csdnimg.cn/blog_migrate/df05277c3a47f6f95ed5eeb5a402ddf2.png)
总结:
- 基类private成员无论以什么方式继承到派生类中都是不可见的。这里的不可见是指基类的私有成员还是被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它。
- 基类private成员在派生类中不能被访问,如果基类成员不想在派生类外直接被访问,但需要在派生类中访问,就定义为protected。可以看出保护成员限定符是因继承才出现的。
- 上面的表格看起来复杂,实际上归纳一下就会发现:基类的私有成员在子类都是不可见;基类的其他成员在子类的访问方式就是访问限定符和继承方式中权限更小的那个(权限排序:public>protected>private)。
- 使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public,但最好显式地写出继承方式。
- 在实际使用时一般都是public继承,几乎很少使用protetced/private继承,也不提倡使用protetced/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,扩展和维护性不强。
2.基类和派生类赋值转换
- 派生类对象可以赋值给基类的对象 / 基类的指针 / 基类的引用。形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去
- 基类对象不能赋值给派生类对象
- 基类的指针或者引用可以通过强制类型转换赋值给派生类的指针或者引用。但是必须是基类的指针指向派生类对象时才安全
2.1 对象赋值
以切片举个例子:
//Person类
class Person
{
public://这里将成员都定义为public便于测试
string _name = "peter"; // 姓名
int _age = 18; // 年龄
};
//Student类,学生有名字和年龄,所以用继承复用Person的代码
class Student : public Person
{
public://这里将成员都定义为public便于测试
int _stuid = 1; // 学号
};
int main()
{
Student s;//子类
Person p;//父类
p = s;//子类对象可以赋值给父类对象
s = p;//父类对象不能赋值给子类对象
return 0;
}
结果:子类赋值给父类可以正常编译,父类赋值给子类编译报错
由于子类的成员数量一定大于等于父类的成员数量,所以当一个子类赋值给父类时,子类就可以将属于与父类的成员赋值给父类,多余的成员由于父类中不含有,所以不用管。也就是将父类的成员切片出来赋值给父类。
![image-20230504194244709](https://i-blog.csdnimg.cn/blog_migrate/57fb14516a4229542381242f79e1f9dd.png)
如上图,父类Person对象中有_name和_age两个成员,子类Student对象赋值时将自己含有的这两个成员切片赋值给父类对象。
2.2 指针、引用
与对象间赋值差异不大
![image-20230504194957464](https://i-blog.csdnimg.cn/blog_migrate/1314495c1cac286ba0ce41112f422a23.png)
3.继承中的作用域
- 在继承体系中基类和派生类都有独立的作用域。
- 子类和父类中有同名成员,子类成员将屏蔽父类对同名成员的直接访问,这种情况叫隐藏, 也叫重定义。(在子类成员函数中,可以使用 基类::基类成员 显示访问)
- 如果是成员函数的隐藏,只需要函数名相同就构成隐藏
- 实际中在继承体系里面最好不要定义同名的成员
基类和派生类都是独立的作用域,在不同作用域内可以定义同名的变量、函数而不会发生冲突,所以在子类访问这些同名的内容时就需要注意。
要注意的是,在父类和子类内同名的成员函数并不构成函数重载,因为函数重载的前提是两个函数在同一作用域。
成员函数的隐藏,只需要函数名相同就构成隐藏,对参数列表没有要求。
4.派生类默认成员函数
6个默认成员函数,在不主动写的情况下,编译器会自动生成,在派生类中,成员函数又是如何生成的呢?
4.1 构造函数
派生类的构造函数必须调用基类的构造函数初始化基类的那一部分成员。如果基类没有默认的构造函数,就必须在派生类构造函数的初始化列表阶段显式调用。
下面的代码中Person有默认构造函数,则在子类的构造函数中,会先调用父类的默认构造函数完成父类成员的初始化,再调用子类的构造函数初始化子类的成员。
class Person
{
public:
//父类构造函数
Person(string name = "父类")//父类有默认构造函数
:_name(name)
{
cout << "Person()" << endl;
}
protected:
string _name;
};
class Student : public Person
{
public:
//子类构造函数
Student(string name, int id)
:_id(id)
{
cout << "Student()" << endl;
}
protected:
int _id;
};
int main()
{
Student s("tom", 1);
return 0;
}
下面的代码中,父类没有默认构造函数(简单说就是不传参无法初始化),则需要在子类的构造函数中显式调用父类构造函数完成父类成员的初始化。
class Person
{
public:
//父类构造函数
Person(string name)//如果不传参无法初始化
:_name(name)
{
cout << "Person()" << endl;
}
protected:
string _name;
};
class Student : public Person
{
public:
//子类构造函数
Student(string name, int id)
: Person(name)//调用父类构造函数初始化
, _id(id)
{
cout << "Student()" << endl;
}
protected:
int _id;
};
int main()
{
Student s("tom", 1);
return 0;
}
4.2 拷贝构造
拷贝构造的逻辑和构造函数基本相同,需要注意的就是在子类中调用父类的拷贝构造时,直接传入子类对象即可,父类的拷贝构造会通过**“切片”**拿到父类的那一部分。
class Person
{
public:
//父类拷贝构造函数
Person(const Person& p)
:_name(p._name)
{
cout << "Person(const Person& p)" << endl;
}
protected:
string _name;
};
class Student : public Person
{
public:
//子类拷贝构造函数
Student(const Student& s)
: Person(s)//直接传s,通过切片拿到父类的部分
, _id(s._id)
{
cout << "Student(const Student& s)" << endl;
}
protected:
int _id;
};
int main()
{
Student s1("tom", 1);
Student s2(s1);//拷贝构造
return 0;
}
4.3 赋值运算符重载
class Person
{
public:
//父类的赋值运算符重载
Person& operator=(const Person& p)
{
if (this != &p)
{
cout << "Person& operator=(const Person& p)" << endl;
_name = p._name;
}
return *this;
}
protected:
string _name;
};
class Student : public Person
{
public:
//子类赋值运算符重载
Student& operator=(const Student& s)
{
if (this != &s)
{
cout << "Student& operator=(const Student& s)" << endl;
//注意不能这样写,因为父类的赋值运算符重载被隐藏了,这样写会调用子类的赋值运算符重载导致无穷递归、栈溢出
//operator=(s);
Person::operator=(s);//指定作用域调用父类的赋值运算符重载,直接传s即可(会切片)
_id = s._id;
}
return *this;
}
protected:
int _id;
};
int main()
{
Student s1("tom", 1);
Student s2(s1);//拷贝构造
Student s3("jerry", 3);
s1 = s3;//赋值运算符重载
return 0;
}
4.4 析构函数
根据前面的逻辑,子类的析构函数只需要先调用父类的析构函数,然后在做子类析构函数该做的事即可
但这样写出的代码编译会不通过,原因在于多态的需要,父类和子类的函数名在编译器看来一样,所以需要指定作用域来调用
class Person
{
public:
//父类的析构函数
~Person()
{
//父类没什么资源需要处理,所以父类的析构需要做的事以打印代替
cout << "~Person()" << endl;
}
protected:
string _name;
};
class Student : public Person
{
public:
//子类的析构函数
~Student()
{
//显式调用父类的析构函数
//Person::~Person();
//子类没什么资源需要处理,所以子类的析构需要做的事以打印代替
cout << "~Student()" << endl;
}
protected:
int _id;
};
int main()
{
Student s1("tom", 1);
return 0;
}
由于栈的特性,构造函数调用时先调父类再调子类,所以析构时先析构子类,再析构父类,编译器为了能保证这个特性,默认在子类析构完成后调用父类的析构函数,所以不需要在子类的析构函数中显式地调用父类的析构函数。
派生类的析构函数会在被调用完成后自动调用基类的析构函数清理基类成员。因为这样才能保证派生类对象先清理派生类成员再清理基类成员的顺序。
5 继承中的友元
友元关系无法继承,如果需要友元关系需要在父类和子类中都声明。
继承层次中关于友元的总原则就是:友元关系不能继承。可以概述如下:
- 老爸的朋友不一定是我的朋友;
- 朋友的儿子不一定还是朋友;
- 由以上两条不难推出:老爸的朋友的儿子不一定还是朋友
6 继承中的静态成员
基类定义了static静态成员,则整个继承体系里面只有一个这样的成员
无论派生出多少个子类,都只有一个static成员实例
7 菱形继承
7.1 继承类型
先了解存在几种继承的情况:
单继承:一个子类只有一个直接父类的继承关系
![image-20230504202758760](https://i-blog.csdnimg.cn/blog_migrate/f864c440454afd5e91a3a63c4a220dfe.png)
多继承:一个子类有两个或以上直接父类的继承关系
![image-20230504203032312](https://i-blog.csdnimg.cn/blog_migrate/369007d9868a315f29c5730c0979c9a9.png)
菱形继承:单继承和多继承组合后的一种特殊情况
![image-20230504203316431](https://i-blog.csdnimg.cn/blog_migrate/bb9d2608254802b6e7007e4af29bc9f4.png)
7.2 虚继承
菱形继承中可能出现代码冗余以及二义性的问题,如下图:
![image-20230504204403561](https://i-blog.csdnimg.cn/blog_migrate/d2dc26f948acc8963a0e430de7626f98.png)
问题需要通过虚继承来解决,即在继承方式前加上virtual
使用虚继承后:
![image-20230504205210418](https://i-blog.csdnimg.cn/blog_migrate/311609ee17e446ff790761659d70affe.png)
虚继承使用要点:
当使用虚继承的时候,需要注意,虚继承只有在多继承时才有用。也就是说如果只有一层继承关系或者是单继承都将不起作用。
因为虚继承是保证子类中只有一个间接父类,说简单一点就是虚继承只能在隔代继承中起作用。