- 派生类中的虚函数 :如果派生类没有覆盖基类中的某个虚函数,那么基类中的虚函数类似于其他普通成员函数,派生类会继承其在基类中的版本。
在下面的程序中类derived继承了类base:
class base{
public:
virtual void f(){cout << "base" << ends;}
};
class derived : public base{
public:
virtual void f(){cout << "derived" << ends;}
};
int main(void){
derived a;
// a.f(); 静态类型 直接输出derived,什么类型就是什么类型,和有没有virtual没关系
base & other_name = a;
other_name.f();
return 0;
}
- 第二行没有动态绑定,调用函数f(),这个是派生类版本的,直接输出derived,什么类型就是什么类型。
- 第三行进行了动态绑定,但是只有在调用虚函数的时候,动态绑定才有效,而f()是虚函数,所以第四行输出derived。假如派生类中的f()前面去掉virtual,它仍然是虚函数,因为它覆盖(返回类型、形参列表一样)了基类的f()。
- 如果把基类的f()声明成普通函数(去掉virtual),那么此时不会发生动态绑定,调用静态类型的f(),第四行输出base。
- 在基类的f()是虚函数的前提下,如果派生类没有函数覆盖,那么derived继承了f(),然后第二行会输出derived。