#include <iostream>
using namespace std;
class A
{
public:
virtual void f()
{
cout<<"Afun"<<endl;
}
};
/*
class A 虚函数表
A::f();
*/
class B:public A
{
public:
void g()
{
/*this->*/f();
}
};
/*
class B 虚函数表
A::f();
B::g();
*/
class C:public B
{
public:
virtual void f()
{
B::f();
cout<<"Cfun"<<endl;
}
};
/*
class C 虚函数表
A::f(); ---> C::f();
B::g();
*/
int main()
{
C c;
c.g();
/*
此刻调用c对象中的g函数,C类中并不存在g函数,但C类继承自B类,B类中有g函数,所以编译器会去调用B类中的g函数。
那么问题来了,g函数里面调用了f函数,这时候它会调用谁的f函数呢?
我刚开始本来以为会去调用A中的f函数,因为C是B的子类,父类中的函数应该调用不到子类的东西才对。
但是,我忽略一个很重要的点,那就是类的成员函数中,存在this指针,指向调用函数的对象。
那么这个时候,就不仅仅是单纯地调用f了,而是以一种“对象指针”的方式去调用函数,这就触发了C++中的多态性。
因为此时this指针指向的是C类的对象, 所以会去查C类对象的虚函数表,一查发现A::f()被C::f()覆盖了,行,那么这个时候调用的就是C类的f();
所以我们得出一个结论,那就是:C++在类的成员函数中调用虚函数时,本身就是具有多态性的。
这么一个重要的结论,我的程序设计基础老师居然在课上简单地一带而过了,根本没有讲清楚,这也造成了我考试时没有搞清楚。
补充:如果把f设为普通成员函数而不是虚函数会怎么样呢?
那么就只能调用到A::f()了,因为父类没法调用到子类的东西。
*/
return 0;
}
最后就可以理解为什么要强调在构造函数和析构函数中调用虚函数时,系统不会动态联编了。
因为在普通成员函数中调用时,系统是默认动态联编的。