一、继承的概念和定义
1、继承的概念:
继承(inheritance)机制是面向对象程序设计使代码可以复用的最重要的手段,继承允许程序员在保持原有类特性的基础上进行扩展,增加功能,这样产生新的类,称派生类、子类。继承呈现了面向对象程序设计的层次结构,体现了由简单到复杂的认知过程。以前我们接触的复用都是函数复用,继承是类设计层次的复用。
2、继承的定义:
2.1定义格式:
下面我们看到Person是父类,也称作基类。Student是子类,也称作派生类。
2.2继承后基类成员访问方式变化
总结:
1. 基类private成员在派生类中无论以什么方式继承都是不可见的。这里的不可见是指基类的私
有成员还是被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它。
2. 基类private成员在派生类中是不能被访问,如果基类成员不想在类外直接被访问,但需要在
派生类中能访问,就定义为protected。可以看出保护成员限定符是因继承才出现的。
3. 实际上面的表格我们进行一下总结会发现,基类的私有成员在子类都是不可见。基类的其他
成员在子类的访问方式 == Min(成员在基类的访问限定符,继承方式),public > protected > private。
4. 使用关键字class时默认的继承方式是private,使用struct时默认的继承方式是public,不过
最好显示的写出继承方式。
5. 在实际运用中一般使用都是public继承,几乎很少使用protetced/private继承,也不提倡
使用protetced/private继承,因为protetced/private继承下来的成员都只能在派生类的类里面使用,实际中扩展维护性不强。
二、基类和派生类对象赋值转换
我们首先要知道凡是类型转换,中间都会产生临时变量,注意这个临时变量是一个常量!!!
因此下面的代码是有语法错误的。
因为这里的i在给r赋值时会产生临时变量,而这个临时变量是一个常量,而r是一个变量,所以这里的r前面要加上const,变成常量。
接着,那基类和派生类对象赋值转换是什么意思呢?
我们可以把子类赋值给父类(当然是在公有继承的情况下)
派生类对象 可以赋值给 基类的对象 / 基类的指针 / 基类的引用。这里有个形象的说法叫切片或者切割。寓意把派生类中父类那部分切来赋值过去。
那这些和我们前面所讲的类型转换有什么关联呢?
前面所讲凡是类型转换都会产生一个临时变量,但这里的基类和派生类的赋值转换是不会产生临时变量,算是一个特殊情况~
注意这里的r并不是对子类s的引用,而是对经过切片的s进行的取别名,下面的ptr也是同理!
三、继承中的作用域
1. 在继承体系中基类和派生类都有独立的作用域,所以可以有同名成员。
2. 子类和父类中有同名成员,子类成员将屏蔽父类对同名成员的直接访问,这种情况叫隐藏,
也叫重定义。(在子类成员函数中,可以使用 基类::基类成员 显示访问)
3. 需要注意的是如果是成员函数的隐藏,只需要函数名相同就构成隐藏。(返回值和参数可以不相同)
4. 注意在实际中在继承体系里面最好不要定义同名的成员
杀人诛心的一道题:
问下面的A里面的fun函数和B里面的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;
}
};
解答:
这题最大的迷惑就是重载,注意重载只能在一个作用域中才能重载,而这里的A,B一个是子类另一个是父类,构成了两个定义域,子类和父类是两个独立的作用域!所以没有构成重载。
这里的答案是隐藏,注意在继承中,如果是成员函数,函数名相同就构成隐藏!(返回值和参数可以不相同)
四、派生类的默认成员函数
1、默认构造函数
派生类的成员:内置类型和自定义类型分别处理
基类的成员:调用父类的构造函数
如果基类没有默认的构造函数,则必须在派生类构造函数的初始化列表阶段显示调用。
注意子类不能帮父类初始化,父类只能调用自己的构造函数,不能让子类去“帮忙”
注意构造函数调用顺序是先父后子,因为初始化列表初始化的顺序跟出现的顺序无关,跟声明的顺序有关
2、析构函数
子类的析构函数和父类的析构函数构成隐藏关系,后面由于多态的原因,析构函数被特殊处理,函数名都会被处理destructor()。
为了保证先调用子类的析构函数,父亲的析构会在子类析构后自动调用。
构造:先父后子
析构:先子后父
为什么析构函数是先子后父呢?
假设析构走先父,后子是存在安全隐患的:
可能父类资源已经清理释放了,子类析构函数又去访问,存在野指针的风险。
总结:
派生这些默认成员函数规则,其实跟以前类似。
唯一不同的是,不管是构造初始化/拷贝/析构,多了父类那一部分,原则:父类那部分调用父类对应的函数
五、继承与友元
友元关系不能继承,父类的友元不是子类的友元。
如果子类想访问,就需要将其定义在自己作用域中。
六、继承与静态成员
基类定义了static静态成员,则整个继承体系里面只有一个这样的成员。无论派生出多少个子类,都只有一个static成员实例 。所以可以统计一共有多少个派生类
因为静态成员不是在对象里面的,是在静态区!
七、复杂的菱形继承及菱形虚拟继承
单继承:一个子类只有一个直接父类时称这个继承关系为单继承
多继承:一个子类有两个或以上直接父类时称这个继承关系为多继承
菱形继承:菱形继承是多继承的一种特殊情况。
有了多继承,就可能出现菱形继承。
菱形继承的问题:从下面的对象成员模型构造,可以看出菱形继承有数据冗余和二义性的问题。在Assistant的对象中Person成员会有两份。
虚拟继承可以解决菱形继承的二义性和数据冗余的问题。如上面的继承关系,在Student和
Teacher的继承Person时使用虚拟继承,(在腰部位置)即可解决问题。需要注意的是,虚拟继承不要在其他地方去使用。
就是因为student 和 teacher 继承person这个类,才导致了后续的二义性,因此需要这两个类上加上虚拟继承。
比如上面的继承关系,只有B、E是虚拟继承,而C不是。
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 ; // 主修课程
};
八、继承的总结和反思
1、很多人说C++语法复杂,其实多继承就是一个体现。有了多继承,就存在菱形继承,有了菱
形继承就有菱形虚拟继承,底层实现就很复杂。所以一般不建议设计出多继承,一定不要设计出菱形继承。否则在复杂度及性能上都有问题。
2.多继承可以认为是C++的缺陷之一,很多后来的OO语言都没有多继承,如Java。
3. 继承和组合
在两者都可以使用的情况下,建议使用组合,因为要求低耦合
组合是多个对象并列
public继承是一种is-a的关系。也就是说每个派生类对象都是一个基类对象。
组合是一种has-a的关系。假设B组合了A,每个B对象中都有一个A对象。
优先使用对象组合,而不是类继承 。
继承允许你根据基类的实现来定义派生类的实现。这种通过生成派生类的复用通常被称为白箱复用(white-box reuse)。术语“白箱”是相对可视性而言:在继承方式中,基类的内部细节对子类可见 。继承一定程度破坏了基类的封装,基类的改变,对派生类有很大的影响。派生类和基类间的依赖关系很强,耦合度高。
什么是高耦合和低耦合?
比如有20个人组团去旅游,都坐一辆大巴车,如果少人,就不能出行,影响大,这就是高耦合;
而低耦合就是分批,几人分一小组,这样影响就小,我们平时写工程讲究的就是低耦合、高内聚!!!
组合类之间没有很强的依赖关系,耦合度低。
优先使用对象组合有助于你保持每个类被封装。
实际尽量多去用组合。组合的耦合度低,代码维护性好。不过继承也有用武之地的,有些关系就适合继承那就用继承,另外要实现多态,也必须要继承。类之间的关系可以用继承,可以用组合,就用组合。