有默认参数的虚函数

《Effective C++》条款37：绝不重新定义继承来的缺省参数值

虚函数是动态绑定，而default参数是静态绑定，在编译期就已经确实能够。
以下是说明代码：

#include <cstdio>
#include <iostream>
#include <string>

using namespace std;

class Parent
{
public:
    virtual void prints(const string& str = "Parent!")
    {
        cout << str << endl;
    }
};

class Child :public Parent
{
public:
    virtual void prints(const string& str = "Child!")
    {
        cout << str << endl;
    }
};

class GrandChild:public Child
{
public:
    virtual void prints(const string& str = "GrandChild!")
    {
        cout << str << endl;
    }
};

int main(){
    Parent* p = new GrandChild;
    Child* c = new GrandChild;
    GrandChild* gc = new GrandChild;
    p->prints();
    c->prints();
    gc->prints();
    system("pause");
    return 0;
}

输出：

从输出结果可以看出，虽然prints(）是虚函数，派生类都对它进行了重写，但是在没给出新的参数时，即使父类指针指向的对象是派生类，默认参数也是以父类指针为准，而且是由父类指针的类型决定，不同指针类型采用不同默认参数。由此可见，虽然虚函数是动态绑定，但是缺省参数值是静态绑定，在编译期就已经确定。

而c++为什么会坚持这种看似不合常理的机制那？
原因是：运行期效率。如果缺省参数值是动态绑定，编译器就必须有某种办法在运行期为虚函数决定合适的缺省参数值，这比目前实行的在编译期决定缺省参数值的机制要慢而且复杂。为了程序的执行速度和编译器复杂度，c++做了取舍。