多态性是面向对象程序设计的关键技术之一,若程序设计语言不支持多态,不能称为面向对象的语言,利用多态性技术,可以调用同一个函数名的函数,实现完全不同的功能。
C++有两种多态性
1.、编译时的多态性,通过函数的重载和运算符的重载来实现的。
2、运行时的多态性,是在程序运行前,无法根据函数名和参数来确定该调用那一个函数,必须在程序的执行过程中,根据执行的具体情况来动态地确定。它是通过类继承关系和虚函数来实现的,目的是建立一种通用的程序,通用性是程序的主要目标之一。
实现多态:
1、继承 2、虚函数 3、通过父类的指针或者引用
虚函数:
虚函数是类的成员函数,定义格式如下:
virtual 返回值 函数名(参数表);关键字指明该成员函数为虚函数,virutal仅用于类定义中,如虚函数在类外定义,不可加virtual
当某一类的类成员函数被定义为虚函数,则由该类派生出来的所有派生类中,该函数始终保持虚函数的特征。
成员函数应尽可能的设置为虚函数,但要注意以下几条:
1、派生类中定义虚函数必须与基类中的虚函数同名外,还必须同参数表,同返回类型。否则被认为是重载,而不是虚函数。如基类中返回基类指针,派生类中返回派生类指针是允许的,这是一个例外;
2、只有类的成员函数才能说明为虚函数。这是因为虚函数仅适用于有继承关系的类对象;
3、静态成员函数是所有同一类对象公有,不受限于某个对象,不能作为虚函数;
4、内联函数每个对象一个拷贝,无映射关系,不能作为虚函数;
5、析构函数可定义为虚函数,构造函数不能定义为虚函数,因为在调用构造函数时对象还没有完成实例化。在基类中及其派生类中都动态分配的内存空间时,必须把析构函数定义为虚函数,实现撤销对象时的多态性。
6、析构函数可以定义为虚函数,构造函数不能定义为虚函数,因为在调用构造函数时对象还没有完成实例化。在基类中及其派生类中动态分配内存空间时,必须把析构函数定义为虚函数,实现撤销对象时的多态性。
7、函数执行速度要稍慢一些,为了实现多态性,每一个派生类中均要保存相应虚函数的入口地址表,函数的调用机制也是间接实现,所以多态性总是要付出一定的代价,但通用性是一个更高的目标;
8、如果定义放在类外,virtual只能加在函数声明前面,不能加在函数定义前面。正确的定义必须不包括virtual
隐藏:针对继承里面的同名函数;
覆盖:针对多态来说;
多态:同一事物的不同表现;
#include<iostream>
using namespace std;
class base
{
public:
virtual base* show();
public:
base()
{
cout << "create base" << endl;
}
virtual ~base()
{
cout << "free base" << endl;
}
};
class D :public base
{
public:
D* show()
{
cout << "This is D show()" << endl;
return this;
}
void print()
{
cout << "This is D print()" << endl;
}
D()
{
cout << "create D" << endl;
}
~D()
{
cout << "free D" << endl;
}
};
base* base::show()
{
cout << "This is a Base show()" << endl;
return this;
}
void main()
{
base *pb = new D;
delete pb;
}