引言
虚函数是C++实现多态特性的重要方法,小结于此。
相关概念
多态性
- 指相同对象收到不同消息或不同对象收到相同消息时产生不同的实现动作。C++支持两种多态性:
a.编译时多态性:通过函数重载和运算符重载来实现的。
b.运行时多态性:通过继承和虚函数来实现的。
普通函数
- 普通函数是静态编译的,没有运行时多态,只会根据指针或引用的“字面值”类对象,调用自己的普通函数。
- 普通函数是父类为子类提供的“强制实现”。
- 因此,在继承关系中,子类不应该重写父类的普通函数,因为函数的调用只与类对象的字面值有关。
虚函数
- 父类中提供虚函数的实现,为子类提供默认的函数实现。
- 子类可以重写父类的虚函数实现子类的特殊化。
纯虚函数
- 纯虚函数是在基类中声明的虚函数,它在基类中没有定义,但要求任何派生类都要定义自己的实现方法。
- 在基类中实现纯虚函数的方法是在函数原型后加“=0”
- C++中的纯虚函数更像是“只提供声明,没有实现”,是对子类的约束,是“接口继承”。
- 纯虚函数应该只有声明,没有具体的定义,即使在父类中给出了纯虚函数的定义也会被编译器忽略。
抽象类
- C++中包含纯虚函数的类,被称为是“抽象类”。由于抽象类包含了没有定义的纯虚函数,所以抽象类不能new出对象,只有实现了这个纯虚函数的子类才能new出对象。
代码示例
#include <iostream>
using namespace std;
//父类:
class A
{
public:
virtual ~A(){};
void f1()//普通函数,父类强制实现
{
cout<<"A(f1)"<<endl;
}
virtual void f2()//虚函数,父类默认实现
{
cout<<"A(f2)"<<endl;
}
virtual void f3()=0;//纯虚函数,由子类实现,即使在父类中实现了也会被忽略
};
//子类:
class B : public A
{
public:
virtual ~B(){};
void f1()//子类不应该重写父类的普通函数
{
cout<<"B(f1)"<<endl;
}
void f2()//子类中虚函数可以不实现(不重写),直接调用父类中对应虚函数
{
cout<<"B(f2)"<<endl;
}
void f3()//子类中纯虚函数必须实现,否则报错:“B”: 不能实例化抽象类
{
cout<<"B(f3)"<<endl;
}
};
int main()
{
A *testA=new B;//这才是使用的精髓,如果不定义基类的指针去使用,没有太大的意义
testA->f1();
testA->f2();
testA->f3();
cout<<"************************"<<endl;
B *testB=new B;
testB->f1();
testB->f2();
testB->f3();
delete testA;
delete testB;
getchar();
return 0;
}
需要注意:有时在基类中定义的非虚函数会在派生类中被重新定义(如上例中的f1函数),如果用基类指针调用该成员函数,则系统会调用对象中基类部分的成员函数;如果用派生类指针调用该成员函数,则系统会调用派生类对象中的成员函数,这并不是多态性行为(使用的是不同类型的指针),没有用到虚函数的功能。
虚函数的使用
- 在基类用virtual声明成员函数为虚函数。
这样就可以在派生类中重新定义此函数,为它赋予新的功能,并能方便地被调用。在类外定义虚函数时,不必再加virtual。 - 在派生类中重新定义此函数,要求函数名、函数类型、函数参数个数和类型全部与基类的虚函数相同,并根据派生类的需要重新定义函数体。
C++规定,当一个成员函数被声明为虚函数后,其派生类中的同名函数都自动成为虚函数。因此在派生类重新声明该虚函数时,可以加virtual,也可以不加,但习惯上一般在每一层声明该函数时都加virtual,使程序更加清晰。如果在派生类中没有对基类的虚函数重新定义,则派生类简单地继承其直接基类的虚函数。 - 定义一个指向基类对象的指针变量,并使它指向同一类族中需要调用该函数的对象。
- 通过该指针变量调用此虚函数,此时调用的就是指针变量指向的对象的同名函数。
通过虚函数与指向基类对象的指针变量的配合使用,就能方便地调用同一类族中不同类的同名函数,只要先用基类指针指向即可。如果指针不断地指向同一类族中不同类的对象,就能不断地调用这些对象中的同名函数。