多态继承

二义性,多态性,虚函数,虚基类,纯虚函数,抽象类总结

二义性问题：

在多继承时，基类与派生类之间，或基类之间出现同名成员（数据成员、成员函数）时，将出现访问时的二义性（不确定性）——采用虚函数或同名隐藏规则来解决。

当派生类从多个基类派生，而这些基类又从同一个基类派生，则在访问此共同基类中的成员（数据成员、成员函数）时，将产生二义性——采用虚基类来解决。

虚基类的作用：

引入虚基类就是为了解决二义性问题。

主要用来解决多继承时可能发生的对同一基类继承多次而产生的二义性问题。

为最远的派生类提供唯一的基类成员，而不重复产生多次拷贝。

调用派生类的构造函数应坚持以下原则:

(1) 虚基类的构造函数在非基类之前调用，即先初始化虚基类。

(2) 若在同一层次中包含多个虚基类，初始化顺序由它们说明的顺决定。

若虚基类由非虚基类派生而来，执行顺序则仍然先调用基类构造函数，再调用派生类的构造函数

多态性是指发出同样的消息被不同类型的对象接收时有可能导致完全不同的行为。

    多态是指类族中具有相似功能的不同函数使用同一名称来实现，从而可以使用相同的调用方式来调用这些具有不同功能的同名函数。又称为“同一接口，多种方法”。

从实现的角度来讲，多态可以划分为两类：编译时的多态和运行时的多态。前者是在编译的过程中确定了同名操作的具体操作对象，称为静态多态，如函数重载和运算符重载；而后者则是在程序运行过程中才能动态地确定所针对的具体对象，称为动态多态。

多态的实现：函数重载、运算符重载、虚函数。

虚函数：

虚函数是动态绑定的基础。必须是是非静态的成员函数。虚函数经过派生后，在类族中就可以实现运行过程中的多态性。

在类的声明中，在函数原型之前写virtual。virtual 只用来说明类声明中的原型，不能用在函数实现时。

具有继承性，基类中声明了虚函数，派生类中无论是否说明，同原型函数都自动为虚函数。

本质：不是重载声明而是覆盖。

调用方式：通过基类指针或引用，执行时会根据指针指向的对象的类，决定调用哪个函数。

运行过程中的多态性要满足三个条件：

1、类之间满足类型兼容规则。

2、要申明虚函数。

3、要由成员函数来调用或者是通过指针、引用来访问虚函数。

【一般基类与派生类中，通过指针引起的成员函数的调用，仅仅与指针的类型（基类或派生类类型）有关，而与指针正在指向什么对象无关。

即：如果没有定义虚函数，即使指针指向派生类，调用的仍然是基类中的成员函数。】

当虚函数在派生类中重新定义时，其函数原型，包括 返回值、函数名、形参个数、参数类型以及参数的顺序都必须与基类中的原型完全相同。

如果使用对象名来访问虚函数，则绑定在编译过程中就可以进行（静态绑定），而无需在在运行过程中进行。

多继承中的虚函数：

虚特性可以传递。基类指针无法间接访问派生类对象。

虚函数的数据封装问题：

虚函数的访问控制（public, protected, private）并不决定于对象指针所指向的类，而决定于当初调用虚函数的对象指针所指的类如何定义其访问控制。

如果一个类至少包含一个纯虚函数，则成为抽象类。抽象类只能作为基类来使用。不能声明抽象类的对象。构造函数不能是虚函数，析构函数可以是虚函数。

文章为自己原创，如有问题，请留言讨论。转载请注明。谢谢。