C++编译与运行：其三、虚函数、虚表和多态

对于非虚非静态成员函数的调用，是在编译期间就明确了的。简单地说，调用的时候将this指针传入函数，后面根据this指针指向的对象执行程序。但是在虚函数中却不一样。

一、虚函数执行原理：虚函数指针和虚函数表

虚函数表：存在于常量区，为一个类所公有，其中记录了多个虚函数指针，分别指向该类中定义的所有虚函数。注意，父类和子类的分别有两个虚函数表。

虚函数指针：存在于每一个对象中，指向这个对象的类型对应的那一张虚函数表。

看代码：

class Father{
public:
    virtual void f(){
        cout<<"I am father"<<endl;
    }
};

int main() {
    Father * ptr = new Father;
    ptr->f();
}

ptr->f()执行过程如下：
（1）通过ptr指针找到堆上的Father对象；
（2）在这个对象上，找到虚函数表指针；
（3）在虚函数表里面找到虚函数f()，执行。

在继承关系下，父类和子类分别有两个虚函数表。
（1）假如父类中定义了一个虚函数，但是子类中没有这个虚函数，那么子类的虚函数表就存储父类的这个虚函数的函数指针。
（2）假如父类中定义了一个虚函数，子类重写了这个虚函数，那么在子类的虚函数表中，父类的虚函数就会被舍弃，存储子类重写的虚函数的函数指针。
看代码：

class Father{
public:
    virtual void f(){
        cout<<"I am father"<<endl;
    }
};

class Son : public Father{
public:
    void f(){
        cout<<"I am son"<<endl;
    }
};

int main() {
    Father * ptr = new Son;
    ptr->f();
}

输出：

I am son

ptr->f()执行过程如下：
（1）通过ptr指针找到堆上的Son对象；
（2）在这个对象上，找到Son虚函数表指针；
（3）Son重写了虚函数f()，所以虚函数表中存储的f()是子类重写的版本。
（4）调用子类重写的f()，输出I am son。
简单明了，多态就是这么实现的。

如果不用指针，把对象建立在栈上，效果一样。

二、一段让人费解的代码

工作中，有同事写了一段和下面类似的代码：

class Father{
public:
    void f(){
        cout<<"I am father"<<endl;
    }

    void t(){
        f();
    }
};

class Son : public Father{
public:
    void f(){
        cout<<"I am son"<<endl;
    }
};

int main() {
    Son son;
    son.t();
}

请问输出什么呢？答案是：

I am father

原因如下：
（1）f()函数不是虚函数，其行为在编译时候已经确定了；
（2）t()函数调用的是父类中的f()函数，这个行为也是在编译的时候就已经确定了。编译的时候没有对象的概念，所以编译器只知道t()函数调用的是属于父类的f()函数，其函数签名在编译的时候已经定死了。

三、关于虚函数的总结

（1）虚表存在于常量区，为一个类所公有，其中记录了多个虚函数指针，分别指向该类中定义的所有虚函数。注意，父类和子类的分别有两个虚函数表。
（2）虚表指针存在于每一个对象中，指向这个对象的类型对应的那一张虚函数表。
（3）假如父类中定义了一个虚函数，但是子类中没有这个虚函数，那么子类的虚函数表就存储父类的这个虚函数的函数指针。
（4）假如父类中定义了一个虚函数，子类重写了这个虚函数，那么在子类的虚函数表中，父类的虚函数就会被舍弃，存储子类重写的虚函数的函数指针。
（5）只有碰到虚函数，才需要考虑运行时多态。否则函数的调用关系在编译的时候就已经确定了。