条款36:绝不重新定义继承而来的non-virtual函数
这篇博客我们主要讲解一下为什么派生类Derived不能重新定义父类Base中的non-virtual函数,在分析之前,请大家分析一下如下代码:
#include <iostream>
#include <string>
using namespace std;
class Base{
public:
Base(int x) :x(x){
}
void show(){
cout << "Base::show()" << endl;
}
private:
int x;
};
class Derived :public Base{
public:
Derived(int x) :Base(x){
}
void show(){
cout << "Derived::show()" << endl;
}
};
int main(){
Derived derived(10);
Base* base = &derived;
Derived* deriv = &derived;
base->show();
deriv->show();
delete base;
return 0;
}
运行结果:
可以看到,并没有向virtual函数那样表现良好,到底是什么问题呢?non-virtual函数Base::show和Derived::show都是静态绑定(statically bound)的,这样意味着,由于base被声明为Base*,通过base调用non-virtual函数show,将永远只能获得Base所定义的版本,即使base指针实际指向的是Base的派生类Derived的对象那个,然鹅并没有什么用,因为静态绑定呀!!!
另一方面,virtual函数执行动态绑定,所以它可以“智能”调用我们想要的函数。
如果你正在编写class Derived并重新定义继承自class B的non-virtual函数show,Derived对象对象坑你会表现出精神分裂的行为,即使References也会出现这种问题!因为“静态绑定”呀!PS:
静态绑定—引用版
#include <iostream>
#include <string>
using namespace std;
class Base{
public:
Base(int x) :x(x){
}
void show(){
cout << "Base::show()" << endl;
}
private:
int x;
};
class Derived :public Base{
public:
Derived(int x) :Base(x){
}
void show(){
cout << "Derived::show()" << endl;
}
};
int main(){
Derived derived(10);
Base base = derived;
base.show();
return 0;
}
运行结果:
总结:
1)适用于Base对象的每一件事,一定适用于Derived对象,因为每个Derived对象那个都是一个Base对象;
2)Base的子类Derived class一定会继承show的接口和实现,因为show是Base的一个non-virtual函数;
3)绝对不要重新定义继承而来的non-virtual函数。