禁止虚函数使用缺省参数值

在C++中，虚函数是动态绑定的，但函数的缺省参数却是在编译时就静态绑定的。这意味着你最终执行的函数是一个定义在派生类，但使用了基类中的缺省参数值的虚函数。为了避免虚函数重载时，因参数声明不一致给使用者带来的困惑和由此导致的问题，规定所有虚函数均不允许声明缺省参数值。
示例：虚函数display缺省参数值text是由编译时刻决定的，而非运行时刻，没有达到多态的目的：

class Base {
public:
    virtual void Display(const std::string& text = "Base!")
    {
        std::cout << "Base:" << text << std::endl;
    }

    virtual ~Base(){}
};

class Sub : public Base {
public:
    virtual void Display(const std::string& text  = "Sub!")
    {
        std::cout << "Sub:" << text << std::endl; 
    }

    virtual ~Sub(){}
};

int main()
{
    Base* base = new Sub();
    Sub* sub = new Sub();

    ...

    base->Display();  // 程序输出结果: Base! 而期望输出：Sub!
    sub->Display();   // 程序输出结果: Sub!

    delete base;
    delete sub;
    return 0;
};

　　

 

解释如下：虚函数是动态绑定的（即在运行时），但缺省参数是静态绑定的（即在编译时），默认参数在编译的时候已经写死了,不会动态的。

这意味着你最终调用的是一个定义在派生类，但使用了基类中的缺省参数值的虚函数。

原因：

 

可能大家会说为什么不让缺省参数值被动态绑定呢？

答案和运行效率有关。如果缺省参数值被动态绑定，编译器就必须想办法为虚函数在运行时确定合适的缺省值，这将比现在采用的在编译阶段确定缺省值的机制更慢更复杂。做出这种选择是想求得速度上的提高和实现上的简便，所以大家现在才能感受得到程序运行的高效。