多态性可以简单地概括为“一个接口,多种方法”,程序在运行时才决定调用的函数,它是面向对象编程领域的核心概念。多态(polymorphism),字面意思多种形状。
在C++中有两种多态性 :
1.编译时的多态性-----通过函数的重载和运算符的重载来实现的
2.运行时的多态性-----运行时的多态性是指在程序执行前,无法根据函数名和参数来确定该调用哪一个函数,必须在程序执行过程中,根据执行的具体情况来动态地确定。它是通过类继承关系和虚函数来实现的。目的也是建立一种通用的程序。通用性是程序追求的主要目标之一。
多态与非多态的实质区别就是函数地址是早绑定还是晚绑定。如果函数的调用,在编译器编译期间就可以确定函数的调用地址,并生产代码,是静态的,就是说地址是早绑定的。而如果函数调用的地址不能在编译器期间确定,需要在运行时才确定,这就属于晚绑定。
那么多态的作用是什么呢,封装可以使得代码模块化,继承可以扩展已存在的代码,他们的目的都是为了代码重用。而多态的目的则是为了接口重用。也就是说,不论传递过来的究竟是那个类的对象,函数都能够通过同一个接口调用到适应各自对象的实现方法
#include<iostream>
#include<stdio.h>
using namespace std;
class B
{
public: B(){}
~B(){}
public:
virtual fun()
{}
private:
int a;
static int c ; //静态成员在静态区
};
int main()
{
B b;
cout << "B size = "<< sizeof(b)<<endl;
return 0;
}
运行结果:
8
#include<iostream>
#include<stdio.h>
using namespace std;
class B
{
public: B(){}
~B(){}
public:
virtual fun()
{}
private:
int a;
static int c ; //静态成员在静态区
};
class C : virtual public B
{
};
int main()
{
B b;
cout << "B size = "<< sizeof(b)<<endl;
C c;
cout << "C size = "<<sizeof(c)<<endl;
return 0;
}
B size = 8
C size = 12
Press any key to continue
小结:
也就是加了virtual 不管是虚基类,还是虚函数都存在一个指针,其实虚基类和虚函数是没有联系的,不过在虚函数实现多态,虚基类解决砖石继承时,采用了同一种思想,虚函数里叫指向虚表的指针,虚基类也有个指针
虚函数的定义:virtual 返回类型 函数名(参数表);
1.关键字virtual指明该成员函数为虚函数。virtual仅用于类定义中,如虚函数在类外定义,不可加virtual。
2.当某一个类的一个类成员函数被定义为虚函数,则由该类派生出来的所有派生类中,该函数始终保持虚函数的特征
3.当在派生类中重新定义虚函数(overriding a virtual function,亦译作超载或覆盖)时,不必加关键字virtual。但重新定义时不仅要同名,而且它的参数表和返回类型全部与基类中的虚函数一样,否则联编时出错
4.如未加关键字virtual,则是普通的派生类中的新成员函数覆盖基类同名成员函数(当然参数表必须一样,否则是重载),可称为同名覆盖函数,它不能实现运行时的多态性
成员函数应尽可能地设置为虚函数,但必须注意以下几条:
1. 派生类中定义虚函数必须与基类中的虚函数同名外,还必须同参数表,同返回类型。否则被认为是重载,而不是虚函数。如基类中返回基类指针,派生类中返回派生类指针是允许的,这是一个例外。
2. 只有类的成员函数才能说明为虚函数。这是因为虚函数仅适用于有继承关系的类对象。
3. 静态成员函数,是所有同一类对象共有,不受限于某个对象,不能作为虚函数。
4. 一个类对象的静态和动态类型是相同的,实现动态多态性时,必须使用基类类型的指针变量或引用,使该指针指向该基类的不同派生类的对象,并通过该指针指向虚函数,才能实现动态的多态性。
5. 内联函数每个对象一个拷贝,无映射关系,不能作为虚函数。
6. 析构函数可定义为虚函数,构造函数不能定义虚函数,因为在调用构造函数时对象还没有完成实例化。在基类中及其派生类中都动态分配的内存空间时,必须把析构函数定义为虚函数,实现撤消对象时的多态性。
7. 函数执行速度要稍慢一些。为了实现多态性,每一个派生类中均要保存相应虚函数的入口地址表,函数的调用机制也是间接实现。所以多态性总是要付出一定代价,但通用性是一个更高的目标。
8. 如果定义放在类外,virtual只能加在函数声明前面,不能(再)加在函数定义前面。正确的定义必须不包括virtual。
纯虚函数
纯虚函数(pure virtual function)是指被标明为不具体实现的虚拟成员函数。它用于这样的情况:定义一个基类时,会遇到无法定义基类中虚函数的具体实现,其实现依赖于不同的派生类
定义纯虚函数的一般格式为:
virtual 返回类型 函数名(参数表)=0;
含有纯虚函数的基类是不能用来定义对象的。纯虚函数没有实现部分,不能产生对象,所以含有纯虚函数的类是抽象类
定义纯虚函数必须注意:
1 定义纯虚函数时,不能定义虚函数的实现部分。即使是函数体为空也不可以,函数体为空就可以执行,只是什么也不做就返回。而纯虚函数不能调用。
2 “=0”表明程序员将不定义该函数,函数声明是为派生类保留一个位置。“=0”本质上是将指向函数体的指针定为NULL。
3 在派生类中必须有重新定义的纯虚函数的函数体,这样的派生类才能用来定义对象