概念
继承就是可以使代码复用的一种手段。在原有类的基础上增加成员,增加功能形成新类。
而形成的新类也叫派生类。又或者称原有类为基类或称父类,新类为子类。
继承后,父类的成员(成员函数+成员变量)都会变成子类的一部分。
定义
class 派生类::派生方式 基类(默认继承方式为private){};
派生方式分为:public继承,private继承,protected继承(与类中三种成员类型相似)
通过不同的继承方式,子类继承自父类的成员访问权限也发生变化
基类成员\继承方式 | public继承 | private继承 | protected继承 |
public成员 | 派生类的public成员 | 派生类的private成员 | 派生类的protected成员 |
protected成员 | 派生类的protected成员 | 派生类的private成员 | 派生类的protected成员 |
private成员 | 在派生类中不可见 | 在派生类中不可见 | 在派生类中不可见 |
基类的私有成员在子类都是不可见。这里的不可见是指基类的私有成员虽然被继承到了派生类对象中,但是语法上限制派生类对象不管在类里面还是类外面都不能去访问它。如果基类成员不想在类外直接被访问,但需要在派生类中能访问,就定义为protected。可以看出保护成员限定符是因继承才出现的。
基类的其他成员在子类的访问方式 == Min(成员在基类的访问限定符,继承方式),public > protected > private。
父类与子类对象赋值转换
子类对象可以赋值给父类的对象 / 父类的指针 / 父类的引用。这是因为子类可以在父类的基础上增加成员,把子类中的父类部分切下来给父类赋值。
父类不可以赋值给子类。但是指针可以通过强制转换赋值给子类(但是会存在访问越界的可能)。可以通过安全的dynam_cast进行转换。
作用域
父类与子类都有自己独立的作用域。
所以子类与父类中有同名成员,子类将屏蔽父类对成员的直接访问。这种情况叫隐藏,也叫重定义。可以通过(父类::父类成员的方式进行显示访问)。
同名函数只要函数名相同就构成隐藏,如果函数名相同但是参数不同,因为父类子类的定义域不同,所以不构成函数重载。
子类的默认成员函数(六大默认成员函数)
子类的构造函数必须表用父类的构造函数来初始化父类的那部分成员。如果父类没有默认构造函数,则必须在子类的构造函数初始化列表阶段显示调用。显式自定义构造,不能在初始化列表中初始化继承自父类的成员,只能调用父类构造。
子类的析构函数必须在完成后调用父类的析构函数,保证与构造函数调用保持配套(先父类构造,再子类构造,所以要先子类析构,再父类析构)。
子类的拷贝构造函数必须调用父类的拷贝构造完成父类那部分成员的拷贝初始化。
子类的operator=必须要调用父类的operator=完成父类的复制。显式自定义赋值,默认不会调用父类运算符重载函数。
继承与友元
友元关系不能继承,也就是说父类的友元不能访问子类私有和保护成员。
继承与静态
父类定义的static静态成员,则整个继承体系里面只有一个这样的成员。无论派生出多少个子类,都只有一个static成员实例 。
菱形继承与菱形虚拟继承
单继承:一个子类只有一个父类
多继承:一个子类有多个父类
定义方式:class 子类:继承方式1 父类1,继承方式2 父类2{};
菱形继承:一个父类有两个子类,而有另外一个类多继承这两个子类。(这是多继承的一种特殊情况)
问题:子类的子类继承了两份来自父类的成员,造成数据冗余和数据二义性问题。
虚拟继承:可以解决菱形继承的二义性和数据冗余的问题。引入关键字:virtual
在父类的子类继承时,如此定义: class 子类: virtual 继承方式 父类{};
class A
{
public:
int _a;
}
//class B :public A
class B :virtual public A
{
public:
int _b;
}
//class C :public A
class C :virtual public A
{
public:
int _c;
}
class D : public B,public C
{
public:
int _d;
}
继承与组合
继承允许你根据基类类的实现来定义派生类的实现。这种通过生成派生类的复用通常被称为白箱复用(white-box reuse)。术语“白箱”是相对可视性而言:在继承方式中,基类的内部细节对子类可见。继承一定程度破坏了基类的封装,基类的改变,对派生类类有很大的影响。派生类和基类间的依赖关系很强,耦合度高。
对象组合是类继承之外的另一种复用选择。新的更复杂的功能可以通过组装或组合对象来获得。对象组合要求被组合的对象具有良好定义的接口。这种复用风格被称为黑箱复用(black-box reuse),因为对象的内部细节是不可见的。对象只以“黑箱”的形式出现。 组合类之间没有很强的依赖关系,耦合度低。优先使用对象组合有助于你保持每个类被封装。
优先使用对象组合,而不是类继承。组合的耦合度低,代码维护性好。
但是继承也不是完全没有作用,有些关系适合继承就用继承,另外要实现多态,也必须要继承。