继承是什么
继承是一种代码复用的手段,是在类设计层次的复用,他允许在原有类的特性上进行扩展,增加功能,被继承的类被称为基类(父类),接收继承的类被称为派生类(子类)。
继承中的隐藏(重定义)
在继承体系中,基类在派生类中都会有不同的作用域。此时A类中的func会被继承到B类中,而此时这两个函数构成隐藏。
构成隐藏的条件是两个函数,变量名字相同,但是在不同的作用域中,对于成员函数来说,只要函数名相同,就满足构成隐藏的条件。
对于隐藏的成员,派生类对象无法调用隐藏成员。
继承的分类
按照继承的权限分类,继承可以被分为公有继承,保护继承,私有继承。
共有继承:基类中共有的成员,派生类也能访问,不论内部还是外部。
保护继承:基类中的保护成员和共有成员,只能在派生类中访问。
私有继承:基类中的所有成员,不能在派生类中访问,也不能在外部访问。
对一个类进行继承时,语法如下。
分号左侧为派生类,右侧为基类,public代表共有继承。
按照继承的多少分类,继承可以被分为多继承和单继承,其中多继承可能导致菱形继承。
(1)菱形继承
菱形继承会存在二义性:首先对于D类内存在两个A类的成员,一个来自B类,一个来自C类,这样A类的成员就会存在二义性。
为了防止二义性,需要使用虚继承,在虚继承下,D类中的B,C类中的A类成员会被放在对象模型的最后,而B,C类中原来的A类位置会被存放虚基表指针,指向虚基表,虚基表内存有偏移量,通过虚基表指针+偏移量,就可以找到D类最下面的A类。
菱形继承害处很大,尽量不要使用。
要注意虚拟继承需要在源头进行虚拟继承,不能直接在D的继承部分进行继承,要在源头声明为虚继承。
各成员函数在继承中的行为
(1).构造函数
构造函数不能被继承,但是却可以在派生类中显示调用,对于派生类,先按照继承顺序调用构造函数,在调用派生类的构造。
(2).析构函数
析构函数可以被继承,对于派生类来说,析构函数的调用与构造函数的调用相反。
(3).重载运算符函数
除了赋值重载不能被继承,但可以调用,其他重载函数都可以被继承,赋值重载函数先调用派生类,在按照继承列表进行调用。
(4).静态成员
派生类可以使用静态成员和静态成员函数,可以被继承。
派生类的对象模型
在继承体系中,对象在内存中存储是有规律的。
A对象存储在B对象的内部,按照继承列表调用构造函数,在内存中创建对象,所以B对象的模型如下。
对于菱形虚继承来说,解决了对象二义性的问题,所以对象模型会发生变化。
这样不论是D对象还是B,C对象调用的A对象都是同一个,这样就不会有二义性问题了。