网上面试题中有一道以前没有想过,也没有试过的题。就是在继承关系中,虚函数中如果有默认参数,实际过程中,默认参数是多少。
试验代码如下:
#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();
system("pause");
return 0;
}
结果如下:
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 个参数
system("pause");
return 0;
}
也就是说,编译期指针肯定是按照自己的类型找方法,所以如果自己的没有默认参数,就需要传参,但是运行时动态绑定到子类的方法上。
所以 《Effective C++ 改善程序与设计的55个具体做法》条款37写道:绝不重新定义继承而来的缺省参数值(Never redefine function’s inherited default parameters value.)