C++ 虚函数的缺省参数

一、背景

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

二、应用

 
#include <iostream>
 
using namespace std;
 
class A  
{ 
public: 
    virtual void Fun(int number = 10)  
    {  
        cout << "A::Fun with number " << number;  
    }    
};  
  
   
  
class B: public A    
{    
public:  
    virtual void Fun(int number = 20)
    {   
        cout << "B::Fun with number " << number << endl;  
    }  
};  
    
  
int main()    
{ 
    B b; 
    A &a = b; 
    a.Fun(); 
 
    return 0;
}  

运行结果

三、分析

在C++中，虽然虚函数的调用是通过动态绑定来确定的，但是虚函数的缺省参数却是通过静态绑定确定的。显然，a的静态类型是A的引用，而动态类型是B的引用，因此，当a调用虚函数Fun()时，根据动态绑定规则，它调用的是B的成员函数Fun()；而对于虚函数的缺省参数，根据静态绑定规则，它将number确定为A中给出的缺省值10。

那为什么不让缺省参数值被动态绑定呢？

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

参考：

https://blog.youkuaiyun.com/qtyl1988/article/details/37604011