C++：虚函数

初识虚函数

• 用virtual关键字说明的函数
• 虚函数是实现运行时多态性基础
• C++中的虚函数是动态绑定的函数
• 虚函数必须是非静态的成员函数，虚函数经过派生之后，就可以实现运行过程中的多态。
• 一般成员函数可以是虚函数
• 构造函数不能是虚函数
• 析构函数可以是虚函数

一般虚函数成员

• 虚函数的声明

  virtual 函数类型 函数名（形参表）;

• 虚函数声明只能出现在类定义中的函数原型声明中，而不能在成员函数实现的时候。

• 在派生类中可以对基类中的成员函数进行覆盖。
• 虚函数一般不声明为内联函数，因为对虚函数的调用需要动态绑定，而对内联函数的处理是静态的。

virtual 关键字

• 派生类可以不显式地用virtual声明虚函数，这时系统就会用以下规则来判断派生类的一个函数成员是不是虚函数：
  • 该函数是否与基类的虚函数有相同的名称、参数个数及对应参数类型；
  • 该函数是否与基类的虚函数有相同的返回值或者满足类型兼容规则的指针、引用型的返回值；
• 如果从名称、参数及返回值三个方面检查之后，派生类的函数满足上述条件，就会自动确定为虚函数。这时，派生类的虚函数便覆盖了基类的虚函数。
• 派生类中的虚函数还会隐藏基类中同名函数的所有其它重载形式。

• 一般习惯于在派生类的函数中也使用virtual关键字，以增加程序的可读性。

例：

#include 
using namespace std;

class Base1 
{
public:
	virtual void display() const;  //虚函数
};
void Base1::display() const
{
	cout << "Base1::display()" << endl;
}

class Base2:public Base1 
{
public:
	virtual void display() const;
};
void Base2::display() const 
{
	cout << "Base2::display()" << endl;
}
class Derived : public Base2 
{
public:
	virtual void display() const;
};
void Derived::display() const 
{
	cout << "Derived::display()" << endl;
}

void fun(Base1 *ptr)
{
	ptr->display();
}

int main() 
{
	Base1 base1;
	Base2 base2;
	Derived derived;
	fun(&base1);
	fun(&base2);
	fun(&derived);
	return 0;
}

虚析构函数

为什么需要虚析构函数？ - 可能通过基类指针删除派生类对象； - 如果你打算允许其他人通过基类指针调用对象的析构函数（通过delete这样做是正常的），就需要让基类的析构函数成为虚函数，否则执行delete的结果是不确定的。

#include 
using namespace std;
class Base 
{
public:
	virtual ~Base();
};
Base::~Base() 
{
	cout << "Base destructor" << endl;
}
class Derived : public Base
{
public:
	Derived();
	virtual ~Derived();
private:
	int *p;
};
Derived::~Derived()
{
	cout << "Derived destructor" << endl;
}

虚表与动态绑定

• 虚表
  • 每个多态类有一个虚表（virtual table）
  • 虚表中有当前类的各个虚函数的入口地址
  • 每个对象有一个指向当前类的虚表的指针（虚指针vptr）
• 动态绑定的实现
  • 构造函数中为对象的虚指针赋值
  • 通过多态类型的指针或引用调用成员函数时，通过虚指针找到虚表，进而找到所调用的虚函数的入口地址
  • 通过该入口地址调用虚函数

虚表示意图

抽象类

纯虚函数

• 纯虚函数是一个在基类中声明的虚函数，它在该基类中没有定义具体的操作内容，要求各派生类根据实际需要定义自己的版本，纯虚函数的声明格式为：

  virtual 函数类型 函数名(参数表) = 0;

• 带有纯虚函数的类称为抽象类

抽象类

• 带有纯虚函数的类称为抽象类:

  class 类名 { virtual 类型 函数名(参数表)=0; //其他成员…… }

抽象类作用

• 抽象类为抽象和设计的目的而声明
• 将有关的数据和行为组织在一个继承层次结构中，保证派生类具有要求的行为。
• 对于暂时无法实现的函数，可以声明为纯虚函数，留给派生类去实现。

注意

• 抽象类只能作为基类来使用。
• 不能定义抽象类的对象。

例如：

#include 
using namespace std;
class Base1
{
public:
	virtual void display() const = 0;   //纯虚函数
};

class Base2 : public Base1
{
public:
	virtual void display() const; //覆盖基类的虚函数
};
void Base2::display() const 
{
	cout << "Base2::display()" << endl;
}

class Derived : public Base2 
{
public:
	virtual void display() const; //覆盖基类的虚函数
};
void Derived::display() const 
{
	cout << "Derived::display()" << endl;
}
void fun(Base1 *ptr)
{
	ptr->display();
}
int main() 
{
	Base2 base2;
	Derived derived;
	fun(&base2);
	fun(&derived);
	return 0;
}