c++ 虚函数与默许实参

c++ 虚函数与默认实参

c++ primer 中原文：

像其他任何函数一样，虚函数也可以有默认实参。通常，如果有用在给定调用中的默认实参值，该值在编译时确定。如果一个调用省略了具有默认值的实参，则所用的值由调用该函数的类型定义，与对象的动态类型无关。通过基类的引用或指针调用虚函数时，默认实参为在基类虚函数声明中指定的值，如果通过派生类的指针或引用调用虚函数，则默认实参是在派生类的版本中声明的值。

在同一虚函数的基类版本和派生类版本中使用不同的默认实参几乎一定会引起麻烦。如果通过基类的引用或指针调用虚函数，但实际执行的是派生类中定义的版本，这时就可能会出现问题。在这种情况下，为虚函数的基类版本定义的默认实参将传给派生类定义的版本，而派生类版本是用不同的默认实参定义的。

#include <iostream>
using namespace std;
class A
{
  public:
    virtual void Display( int i=0 )
    {
        cout<<"A:  "<<i<<endl;
    }  

};

class B : public A
{
   public:
    virtual void Display( int i=1 )
    {
        cout<<"B:  "<<i<<endl;
    }

};

int main()
{
 
  B b;
  A *p = &b;
  
  p->Display(4);
  p->Display();  //virtual是动态绑定，而缺省参数值却是静态绑定

  return 0;
}

结果如下：

c++ 虚函数与默许实参

第二行并不是我们想要的结果，我们期望的输出应该是B: 1。这也印证了 如果一个调用省略了具有默认值的实参，则所用的值由调用该函数的类型定义，与对象的动态类型无关 这句话。

effective 条款37 中提到： virtual 函数是动态绑定，而缺省参数值却是静态绑定。

请记住：绝对不要重新定义一个继承而来的缺省参数值，因为缺省参数值都是静态绑定，而virtual函数 --你唯一应该覆写的东西----却是动态绑定。

相关推荐