关于虚函数的默认实参的问题

A.h
class A{
public:
  //...
    virtual void log(int a, int b = 2, int c = 3) const;
};

A.cpp
void A::log(int a, int b, int c) const{
    std::cout << "A class \n";
    std::cout << "{" << a << "," << b << "," << c << "}" << std::endl;
}

B.h
#include "A.h"
class B : public A{
    //...
    virtual void log(int a, int b = 7, int c = 9) const override ;
    virtual ~B()  override ;
};

B.cpp
void B::log(int a, int b, int c) const{
    std::cout << "B class \n";
    std::cout << "{" << a << "," << b << "," << c << "}" << std::endl;
}
main.cpp
#include "A.h"
#include "B.h"
int main() {
    A a;
    B m;
    A* pa;
    pa = &m;
    pa->log(99);
    pa = &a;
    pa->log(55);
    return 0;
}

程序输出为 

B class 
{99,2,3}
A class 
{55,2,3}

可以看到，当pa指针指向不同的对象时，调用的虚函数是不一样的，发生了动态绑定，但是默认实参使用的都是基类的虚函数的默认实参。

C++primer中讲道：

和其他函数一样，虚函数也可以拥有默认实参。如果某次函数调用使用了默认实参，则该实参由本次调用的静态类型决定。

因为指针是基类的指针，所以使用基类的默认实参，即使实际调用了派生类的虚函数。

因此，作者也强调，

如果虚函数使用实参，则基类和派生类中定义的默认实参最好一致。