如果你知道潜在的机制，这会有所帮助。C++将C程序员使用的一些编码技术形式化，用“覆盖”代替“类”-具有公共头段的结构将用于处理不同类型的对象，但具有一些公共数据或操作。通常，覆盖的基本结构（公共部分）具有指向函数表的指针，该函数表指向每个对象类型的不同例程集。C++做了同样的事情，但隐藏了机制，即C++ptr->func（…），其中func是C的虚拟（*ptr->func_table[func_num]）（ptr，…），派生类之间的变化是func_table内容。[非虚拟方法ptr->func（）仅转换为mangled_func（ptr，..）。]

这样做的结果是，您只需要了解基类就可以调用派生类的方法，即，如果例程了解类a，您可以向它传递派生类B指针，那么所调用的虚拟方法将是B的虚拟方法，而不是a的虚拟方法。

virtual关键字强制编译器选择对象类中定义的方法实现，而不是指针类中的方法实现。

Shape *shape = new Triangle(); 
cout << shape->getName();

在上面的示例中，默认情况下将调用Shape:：getName，除非getName（）在基类Shape中定义为virtual。这迫使编译器在Triangle类而不是Shape类中查找getName（）实现。

虚拟表是编译器跟踪子类的各种虚拟方法实现的机制。这也被称为动态调度，并且存在一些与之相关的开销。

最后，为什么在C++中甚至需要虚拟，为什么不将其作为Java中的默认行为？

C++基于“零开销”和“按需付费”的原则。因此，除非您需要，否则它不会尝试为您执行动态调度。为界面提供更多控制。通过使函数非虚拟化，接口/抽象类可以控制其所有实现中的行为。

您需要至少1个级别的继承和一个升级来演示它。下面是一个非常简单的示例：

class Animal
{        
    public: 
      // turn the following virtual modifier on/off to see what happens
      //virtual   
      std::string Says() { return "?"; }  
};

class Dog: public Animal
{
    public: std::string Says() { return "Woof"; }
};

void test()
{
    Dog* d = new Dog();
    Animal* a = d;       // refer to Dog instance with Animal pointer

    std::cout << d->Says();   // always Woof
    std::cout << a->Says();   // Woof or ?, depends on virtual
}

虚拟函数用于支持运行时多态性。

也就是说，virtual关键字告诉编译器不要在编译时做出（函数绑定的）决定，而是推迟到运行时”。

您可以通过在函数的基类声明中的关键字virtual之前使其成为虚拟函数。例如类基础{虚虚函数（）；}当基类具有虚拟成员函数时，从基类继承的任何类都可以使用完全相同的原型重新定义该函数，即只能重新定义功能，而不能重新定义函数的接口。类派生：公共基{void函数（）；}基类指针可用于指向基类对象和派生类对象。当使用基类指针调用虚拟函数时，编译器在运行时决定要调用函数的哪个版本（即基类版本或重写的派生类版本）。这被称为运行时多态性。

您必须区分重写和重载。如果没有virtual关键字，则只能重载基类的方法。这只意味着隐藏。假设您有一个基类base和一个派生类Specialized，它们都实现了void foo（）。现在有一个指向Base的指针指向Specialized的实例。当您对其调用foo（）时，您可以观察到virtual的不同之处：如果该方法是虚拟的，则将使用Specialized的实现，如果缺少，则将选择Base的版本。最好不要重载基类中的方法。使方法非虚拟化是作者告诉你它在子类中的扩展不是有意的。

我认为您所指的是这样一个事实：一旦方法被声明为virtual，您就不需要在重写中使用“virtual”关键字。

class Base { virtual void foo(); };

class Derived : Base 
{ 
  void foo(); // this is overriding Base::foo
};

如果在Base的foo声明中不使用“virtual”，那么Derived的foo将只是隐藏它。