虚函数实现运行时多态。
虚函数声明只出现在类定义函数原型声明中,而不能在成员函数实现的时候。
虚函数一般不声明为内联函数,因为虚函数访问时需要动态绑定,而内联函数是静态的。
virtual关键字可以省略,当基类中已经声明了虚函数,那么派生类中和基类同返回值,同名,同形参的函数即使没有加virtual也可判定为虚函数。
构造函数不可以是虚函数,析构函数可以是虚函数。
为什么需要虚析构函数?
当通过基类指针删除派生类对象时,如果允许他人通过基类指针调用派生类的析构函数(delete),就要将基类的析构函数声明为虚析构函数,否则delete的值是不确定的。
示例代码:虚函数
#include <iostream>
using namespace std;
class Base1 {
public:
virtual void display() const;
};
void Base1::display() const {
cout << "Base1's display" << endl;
}
class Base2 : public Base1 {
public:
virtual void display() const;
};
void Base2::display() const {
cout << "Base2's display" << endl;
}
class Derived : public Base2 {
public:
virtual void display() const;
};
void Derived::display() const {
cout << "Derived's display" << endl;
}
void fun (Base1 *ptr) {
ptr->display();
}
int main() {
Base1 b1;
Base2 b2;
Derived d;
fun(&b1);
fun(&b2);
fun(&d);
return 0;
}
运行结果:
如果没有声明为虚函数,则运行结果都是Base1‘s display
虚表和动态绑定
(1)虚表
每个多态类都有一个虚表,虚表里存储了虚函数的入口地址,类对象有一个指向虚表的指针。
(2)动态绑定
构造函数为对象的虚指针赋值,通过虚指针可以找到虚表,通过虚表找到虚函数的入口地址,通过入口地址调用虚函数。
虚表示例代码:
class Base {
public:
virtual void f();
virtual void g();
private:
int i;
};
class Derived : public Base {
public:
virtual void f();
virtual void h();
private:
int j, k;
};
对应的虚表示意图: