C++ 中的virtual关键词

C++ 中的virtual关键词

动态绑定

所谓动态绑定，我的理解就是一个函数在调用之前无法得知参数的具体类型（基类还是派生类）。C++ Primer上描述了两种动态绑定的情况：

要触发动态绑定，必须满足两个条件：一、指定为虚函数的成员函数。二、通过基类类型的引用或指针进行函数调用。

基类和派生类的关系

派生类是由基类派生而来，其包含基类的所有内容，并进行扩展和修改（覆盖）。比如对基类Base和派生类Derived来说，我们可以说Derived就是Base类型的，也就是说在使用Base类型做形参的函数调用中都可以使用Derived类型。这个是安全的，因为派生类本身就包含了基类子对象。

virtual关键词

上面提到动态绑定的两个条件，第一条要求成员函数为虚函数。虚函数使用virtual关键词进行声明。现在看一个例子：

void printClass(const Base &item)
{
    cout << item.size()<< item.price()<<endl;
}

其中，size()函数在基类Base中声明为普通成员函数，而price()函数在基类Base中声明为虚成员函数。类Derived是Base类的派生类,且在Derived类中对price()类进行了覆盖。对于以下调用：

Base base；
Derived derived;
printClass(base);
printClass(derived);

由于printClass的参数是基类类型，而size()函数是普通成员函数，因此两个函数调用时都调用了基类（派生类中包含基类的子对象）的size()，即Base::size()。而对于虚函数price()来说，第一个调用调用的是Base::price()，第二个调用的是Derived::price()。