C++ virtual关键字

一、序言

        在面向对象的C++语言中，virtual关键字是用来描述虚函数的，虚函数(virtual function)是一个非常重要的概念。

二、虚函数

2.1 实例代码

        虚函数是指一个类中希望被重载的成员函数，当使用一个基类指针或引用指向一个继承类对象的时候，调用一个虚函数时, 实际调用的是继承类的版本。
 

#include <iostream>
using  namespace std;

class Parent
{    
 public:
     
     char data[20];
     void Function1();    
     virtual void Function2();   // 这里声明Function2是虚函数
     
 }parent;
 
 void Parent::Function1()
 {//"::"是域操作符，表示Function1函数是Parent类的成员变量
     printf("This is parent,function1\n");
 }
 
 void Parent::Function2()
 {
     printf("This is parent,function2\n");
 }
 
 class Child:public Parent
 {
     void Function1();
     void Function2();
     
 } child;
 
 void Child::Function1()
 {
     printf("This is child,function1\n");
 }
 
 void Child::Function2()
 
 {
     printf("This is child,function2\n");
 }
 
 int main(int argc, char* argv[])
 {
     Parent *p;  　　　　　// 定义一个基类指针
     if(_getch()=='c')    // 如果输入一个小写字母c    
         p=&child;        // 指向继承类对象
     else    
         p=&parent;       // 否则指向基类对象
     p->Function1();  　　 // 这里在编译时会直接给出Parent::Function1()的入口地址。    
     p->Function2();   　　// 注意这里，执行的是哪一个Function2？
     return 0;
    
 }

2.2 编译运行

        编译运行该段代码，输入一个小写字母c，得到下面的结果：

This is parent,function1
This is child,function2

2.3 结果解析

        首先说明：

        "::" 表示 “域操作符” ，比如声明了一个类A，类A里声明了一个成员函数void f()，但没有在类的声明里给出f的定义，那么在类外定义f时， 就要写成void A::f()，表示这个f()函数是类A的成员函数。

        （1）编译运行后，为什么会有第一行的结果呢？

        因为我们是用一个Parent类的指针调用函数Fuction1()，虽然实际上这个指针指向的是Child类的对象，但编译器无法知道这一事实（直到运行的时候，程序才可以根据用户的输入判断出指针指向的对象），它只能按照调用Parent类的函数来理解并编译，这就是静态联编，所以我们看到了第一行的结果。

        （2）那么第二行的结果又是怎么回事呢？

        我们注意到，Function2()函数在基类中被virtual关键字修饰，也就是说，它是一个虚函数。虚函数最关键的特点是“动态联编”，它可以在运行时判断指针指向的对象，并自动调用相应的函数。

         （3）如果我们在运行上面的程序时任意输入一个非c的字符，结果如下：

This is parent,function1
This is parent,function2

        请注意看第二行，它的结果出现了变化。程序中仅仅调用了一个Function2()函数，却可以根据用户的输入自动决定到底调用基类中的Function2还是继承类中的Function2，这就是虚函数的作用。

        一定要注意“静态联翩 ”和“ 动态联编 ”的区别；

附录

参考：C++中virtual（虚函数）的用法 - 唯一诺 - 博客园