C++虚函数遇到默认参数

1、代码

看以下代码，基类指针指向子类对象，产生多态，我们预期肯定是调用子类的show()
那么打印出来 i 应该等于 200，实际上却打印出来 i=100

#include <iostream>
using namespace std;

class base
{
public:
	virtual void show(int i=100) { cout << "base:: show i = "<<i<<endl; }
private:
	int ma;
};

class derive: public base
{
public:
	void show(int i = 200) { cout << "derive:: show i = " << i << endl;; }
private:
	int mb;
};

int main()
{
	base* p = new derive;
	cout << sizeof(derive) << endl;
	p->show();
	delete p;
}

2、分析

1、首先，基类指针指向派生类对象，且调用的函数为虚函数，肯定会产生多态，调用肯定是子类的show ,这毫无疑问；
2、在编译阶段，需要压入实参，若是用户提供了就压入用户提供的实参，若没有则压入默认参数，在编译阶段P的类型是基类，那么编译器就按照基类的参数进行入栈，在运行时根据RTTI发现P是子类型，所以调用子类的show ,；多态指的是运行时多态，以上代码编译时不存在多态，编译器只能看到p是基类，所以按照基类里的函数进行参数入栈，于是将默认参数100入栈，但是在调用是调用的子类的show ,于是打印derive:: show i = 100 。

3、总结

综上，虚函数里给默认参数时需要注意，以免产生不符合预期的结果。