虚函数的作用是实现动态联编,也就是在程序的运行阶段动态地选择合适的成员函数,在定义了虚函数后,可以在基类的派生类中对虚函数重新定义,在派生类中重新定义的函数应与虚函数具有相同的形参个数和形参类型。以实现统一的接口,不同定义过程。如果在派生类中没有对虚函数重新定义,则它继承其基类的虚函数。
简单地说,那些被virtual关键字修饰的成员函数,就是虚函数。虚函数的作用,用专业术语来解释就是实现多态性,多态性是将接口与实现进行分离;用形象的语言来解释就是实现以共同的方法,但因个体差异而采用不同的策略。来看下面简单代码
class A
{
public:
void print(){ cout<<"This is A"<<endl; }
};
class B : public A
{
public:
void print(){ cout<<"This is B"<<endl; }
};
void main()
{
A a;
B b;
a.print();
b.print();
}
void main()
{
<span style="white-space:pre"> </span>A a;
<span style="white-space:pre"> </span>B b;
<span style="white-space:pre"> </span>A *pa = &a;
<span style="white-space:pre"> </span>A *pb = &b; //基类的指针指向派生类的对象
<span style="white-space:pre"> </span>pa->print();
<span style="white-space:pre"> </span>pb->print();
}
我们希望pb->print()输出This is B,但实际上结果如下:
问题来了,p2明明指向的是class B的对象但却是调用的class A的print()函数,这不是我们所期望的结果,那么解决这个问题就需要用到虚函数:
class A
{<span style="white-space:pre"> </span>
<span style="white-space:pre"> </span>public:
<span style="white-space:pre"> </span>virtual void print(){ cout<<"This is A"<<endl; }
};
class B : public A
{
<span style="white-space:pre"> </span>public:
<span style="white-space:pre"> </span>void print(){ cout<<"This is B"<<endl; }
};
毫无疑问,class A的成员函数print()已经成了虚函数,那么class B的print()成了虚函数了吗?回答是Yes,我们只需在把基类的成员函数设为virtual,其派生类的相应的函数也会自动变为虚函数。所以,class B的print()也成了虚函数。那么对于在派生类的相应函数前是否需要用virtual关键字修饰,看个人习惯。
每个含有虚函数的类有一张虚函数表(vtbl),表中每一项是一个虚函数的地址, 也就是说,虚函数表的每一项是一个虚函数的指针。没有虚函数的C++类,是不会有虚函数表的。
两张图: