C++中的虚函数

初学者刚接触C++语言中的 virtual 函数（虚函数）时，常常会感觉到迷惑，比如，书上说虚函数定义在基类中，其他继承此基类的派生类都可以重写该虚函数，因此虚函数是C++语言多态特性中非常重要的概念。但是派生类也可以重写基类中的其他的常规函数（非虚函数）呀，那为什么还要引入虚函数这样看起来很复杂的概念呢？

为什么要引入虚函数？

“猫吃老鼠”

本文不打算从理论上探讨C++语言引入虚函数的原因，那样太枯燥乏味了，我们先来看一个例子，直观上感觉下常规（非虚）函数在面向对象编程中的局限性，请看：

定义了Animal（动物）和Cat（猫）两个
上面这段C++语言代码定义了Animal（动物）和Cat（猫）两个类，其中Cat继承了Animal（猫显然是动物），我们可以在 main() 函数中使用这两个类：

Animal *animal = new Animal;

Cat *cat = new Cat;animal->eat();

// 输出： "I'm eating generic food."

cat->eat();

// 输出： "I'm eating a rat."

到这里一切都挺好的，动物吃食物，猫吃老鼠，即使不使用virtual关键字定义虚函数也完全没有问题。现在稍稍修改下这段C++语言代码，引入另外一个函数func()（暂时不考虑实用性，仅做示例），它的代码如下，请看：

void func(Animal *xyz){

xyz->eat();

}

在 main() 函数中调用 func() 函数，相关的C++语言代码示例如下，请看：

Animal *animal = new Animal;

Cat *cat = new Cat;func(animal);

// 输出： "I'm eating generic food."

func(cat);

// 输出： "I'm eating generic food."

出问题了~请注意第二个 func() 函数调用，我们传递了一个Cat对象指针给它，但是输出的却不是“I’m eating a rat.”！仔细观察一下，发现 func() 函数的参数类型是Animal *xyz，那么为了让 func() 函数也能输出“I’m eating a rat.”，只能重载 func() 函数了：

void func(Animal *xyz){

xyz->eat();

}

void func(Cat *xyz){

xyz->eat();

}

现在 func() 函数能够根据输入参数类型的不同，输出不同的内容了。可是问题来了，Animal（动物）是一个基类，它能派生出的动物远远不止Cat（猫）一种，若是派生出许多派生类，每个派生类都重载一遍 func() 函数，是不是太麻烦了？

太麻烦了

神奇的虚函数

在C++语言中，重写基类中的常规（非虚）函数当然是可以的，但是从上面的例子可以看出，重写常规函数实现多态有时会带来非常麻烦的问题，要避免这样的问题可以使用 virtual function（虚函数）。现在，我们在 Animal 基类的 eat() 成员函数前加上virtual关键字：

加上virtual关键字
此时无需重载 func() 函数，仅保留一份func() 函数：

void func(Animal *xyz){

xyz->eat();

}

再执行下面的C++语言代码，输出就不同了：

func(animal);

// 输出： "I'm eating generic food."

func(cat);

// 输出： "I'm eating a rat."

看来，C++语言中的虚函数的确有些过人之处，有必要好好了解一下它。

事实上，每一个C++程序员都不可能避开虚函数的，就像每一个C语言程序员都不可能避开指针一样。

再总结下“什么是虚函数”

理论是少不了的，它可以加深和尽可能全面的帮助我们理解概念。基类中的虚函数允许派生类重写功能，编译器会保证派生类对象使用的是自己重写的功能，即使对象是通过基类指针访问的，例如前文中的 func(Animal *xyz) 函数，func(cat) 输出的实际上是 Cat 类重写的功能。这是一个非常有用的特性，调用者甚至都不需要知道 Cat 等派生类的实现，因为只需使用基类 Animal 指针就能够轻易的调用所有派生类的重写功能。

基类的虚函数可以完全被重写，也可以部分的被重写，所谓的“部分被重写”，其实就是派生类在重写基类虚函数时，也可以调用基类虚函数的功能。

虚函数和常规函数被调用时有什么不同？

常规的非虚函数是静态解析的，即在编译时即可根据指针指向的对象确定是否被调用，例如文章开头的例子，如果 eat() 函数是非虚函数：

// eat() 函数不是虚函数

Animal *animal = new Animal;

Cat *cat = new Cat;

animal->eat();

// 输出： "I'm eating generic food."

cat->eat();

// 输出： "I'm eating a rat."

此时编译器在编译时就能确定 animal->eat() 调用的是 Animal::eat() 函数，cat->eat() 调用的是 Cat::eat() 函数。在 func(Animal *xyz) 函数中，因为其形参是 Animal *指针类型，所以即使传入的是 cat 对象指针，在 func() 函数内部也会被强制转换为Animal *指针，因此 func(cat) 调用的仍然是 Animal::eat() 函数。

而虚函数就不同了，它是动态解析的，也即在程序被编译后，运行时才根据对象的类型，而不是指向对象的指针类型决定其是否被调用，这就是说为的“动态绑定”。

关于“动态绑定”，我们在下一节中再做详细讨论，这里先留个印象。

在C++语言中，如果某个类有虚函数，那么大多数编译器都会自动的为其对象维护一个隐藏的“虚指针（virtul-pointer）”，虚指针指向一个全局“虚表（virtual-table）”，虚表中存放若干函数指针，这些函数指针指向类中的虚函数。请看下面这段C++语言代码：

class A {

public:

virtual void vfoo1();

virtual void vfoo2();

void foo1();

void foo2();

private:

int prv_i1, prv_i2;

};

显然，类 A 有两个常规函数以及两个 int 型的成员变量，此外，它还有两个虚函数，因此编译器会创建一个虚表，虚表中存放的是函数指针，它们分别指向类 A 的虚函数，如下图所示：

类A的虚表和虚函数
这里应注意，虚表是属于类的，而不是对象的，也就是说，即使有成千上万个 A 对象，虚表也仅有一个，这些对象共用一个类虚表。编译器会自动的为每个对象创建一个隐藏的“虚指针”__vptr，它指向类 A 的虚表，如下图所示：

隐藏的“虚指针”__vptr
C++语言这样实现虚函数机制的空间开销是微乎其微的，事实上，每一个对象只需要一个额外的“虚指针”__vptr就能够调用类的虚函数。同样的，时间开销也很小：相比于常规函数的调用，虚函数的调用只不过多出了额外的两个步骤：

获取虚表指针，得到虚表从虚表中取出虚函数的地址读者应注意，这里的讨论为了突出主题，理想化了一些情况。

为什么类成员函数默认都不是虚函数？

既然虚函数这么好用，那为什么C++语言不把类的成员函数默认定义为虚函数呢？

其实仔细考虑一下，虚函数的“好用”主要体现在定义在基类中实现多态上，但并不是所有的类都需要被设计为基类，一昧的使用虚函数可能会造成语义上的歧义，隐藏程序员的设计。仅将需要被继承的基类中需要被重写的函数定义为虚函数，要比将所有函数定义为虚函数清晰多了。

此外，经过前面的讨论，我们也知道虚函数的效率实际上是没有常规函数高的，同样的功能中，仅从被调用过程来看，它的时间开销和空间开销都比常规函数高，每个对象还需要额外的虚指针索引虚表。