【C++】虚函数中的默认参数

  网上面试题中有一道以前没有想过，也没有试过的题。就是在继承关系中，虚函数中如果有默认参数，实际过程中，默认参数是多少。
  首先先给出结论：《Effective C++ 改善程序与设计的55个具体做法》条款37写道：绝不重新定义继承而来的缺省参数值（Never redefine function’s inherited default parameters value.）
  试验代码如下：

#include <iostream>
using namespace std;
class A {
public:
	virtual void foo (int i = 1) {
		cout << "foo in class A\n";
		cout << "i = " << i << endl << endl;
	}
	virtual ~A() = default;	// 如果不显示声明，会提示A有一个非虚的默认析构函数
};

class B : public A {
public:
	void foo(int i = 2) override {
		cout << "foo in class B\n";
		cout << "i = " << i << endl << endl;
	}
};

class C : public B {
public:
	void foo(int i = 3) override {
		cout << "foo in class C\n";
		cout << "i = " << i << endl << endl;
	}
};

int main() {
	A* p1 = new B;	p1->foo();
	B* p2 = new C;	p2->foo();
	A* p3 = new C;	p3->foo();
}

  结果如下：

foo in class B
i = 1

foo in class C
i = 2

foo in class C
i = 1

  可以发现，就是虚函数的调用肯定是体现多态的，但是默认参数就是指针实际类型的里边的参数，这是因为默认参数是静态绑定的，A *p 将使用 A 的 foo 中默认参数。
  所以总结来说，虚函数中还是不要写默认参数的好吧，否侧可能会出现没有想到的情况。
  再看一个例子，就是父类虚函数中没有默认参数，但是子类的中有的时候，会是什么情况，如下：

class A {
public:
	virtual void foo (int i) {
		cout << "foo in class A\n";
		cout << "i = " << i << endl << endl;
	}
	virtual ~A() = default;	// 如果不显示声明，会提示A有一个非虚的默认析构函数
};

class B : public A {
public:
	void foo(int i = 2) override {
		cout << "foo in class B\n";
		cout << "i = " << i << endl << endl;
	}
};

int main() {
	A* p1 = new B;
	p1->foo();	// Compile Error: "A::foo": 函数不接受 0 个参数
}

  也就是说，编译期指针肯定是按照自己的类型找方法，所以如果自己的没有默认参数，就需要传参，但是运行时动态绑定到子类的方法上。
  所以 《Effective C++ 改善程序与设计的55个具体做法》条款37写道：绝不重新定义继承而来的缺省参数值（Never redefine function’s inherited default parameters value.）