C++学习笔记-----永远不要在派生类中改变虚函数的默认参数值

时间:2022-05-12 05:27:03

提到虚函数,我们就会自然而然的想到多态,但是当虚函数中存有默认参数值的时候,在派生类中重定义这个虚函数时不可以改变这个参数的值。

请看下面的例子:

#include "stdafx.h"
#include <iostream>
using namespace std;
class Base
{
public:
Base()
{
std::cout << "Base Constructor" << std::endl;
}
virtual ~Base()
{
std::cout << "Base Destructor" << std::endl;
}

public:

virtual void g(int a, int b = 10) //虚成员函数,带有一个默认参数值10
{
cout << "Base" << a << " " << b << endl;
}

protected:
std::string Bmsg;
};


class Derive : public Base
{
public:
Derive()
{
std::cout << "Derive Constructor" << std::endl;
}
~Derive()
{
std::cout << "Derive Destructor" << std::endl;
}

public:

void g(int a, int b = 5) //继承基类的虚函数,但是将默认参数值改变成了5
{
cout << "Derive" << a << " " << b << endl;
}

private:

std::string Dmsg;
};

int main()
{

Base * pb = new Derive;
std::cout << std::endl;

pb->g(1);//调用虚函数

cout << endl;
delete pb;
pb = NULL;
return 0;
}

C++学习笔记-----永远不要在派生类中改变虚函数的默认参数值


和我们预想的一样,编译器调用了派生类的虚函数,但是输出的结果应该是5才对,为什么会输出10呢?

我们知道,pb指针是动态绑定的,即需要调用哪个作用域的函数需要看程序运行到那个时刻它指向的是什么,本例中pb指向派生类,所以会调用派生类的g函数。

但是函数的参数却是静态绑定的,它不会因为pb指向的类型的改变而改变,换句话说,我们定义pb的时候指定它的类型是Base*,是基类指针,所以函数的默认参数绑定的是基类的默认参数值,不会因为它指向的是派生类而改变。

所以无论如何,不要在派生类中改变虚函数的默认参数值。