什么是虚函数
- 在类的定义中，前面有
virtual关键字的成员函数称为虚函数； virtual关键字只用在类定义里的函数声明中，写函数体时不用。
class Base
{virtual int Fun() ; // 虚函数
};int Base::Fun() // virtual 字段不用在函数体时定义
{ }多态实现一
- 「派生类的指针」可以赋给「基类指针」；
- 通过基类指针调用基类和派生类中的同名「虚函数」时:
- 若该指针指向一个基类的对象，那么被调用是 基类的虚函数；
- 若该指针指向一个派生类的对象，那么被调用 的是派生类的虚函数。
这种机制就叫做“多态”，说白点就是调用哪个虚函数，取决于指针对象指向哪种类型的对象。
// 基类
class CFather
{
public:virtual void Fun() { } // 虚函数
};// 派生类
class CSon : public CFather
{
public :virtual void Fun() { }
};int main()
{CSon son;CFather *p = &son;p->Fun(); //调用哪个虚函数取决于 p 指向哪种类型的对象return 0;
}多态实现二
- 派生类的对象可以赋给基类「引用」
- 通过基类引用调用基类和派生类中的同名「虚函数」时:
- 若该引用引用的是一个基类的对象，那么被调 用是基类的虚函数；
- 若该引用引用的是一个派生类的对象，那么被 调用的是派生类的虚函数。
这种机制也叫做“多态”，说白点就是调用哪个虚函数，取决于引用的对象是哪种类型的对象。
// 基类
class CFather
{
public:virtual void Fun() { } // 虚函数
};// 派生类
class CSon : public CFather
{
public :virtual void Fun() { }
};int main()
{CSon son;CFather &r = son;r.Fun(); //调用哪个虚函数取决于 r 引用哪种类型的对象return 0;
}
}示例一
class A
{
public :virtual void Print() { cout << "A::Print"<<endl ; }
};// 继承A类
class B: public A
{
public :virtual void Print() { cout << "B::Print" <<endl; }
};// 继承A类
class D: public A
{
public:virtual void Print() { cout << "D::Print" << endl ; }
};// 继承B类
class E: public B
{virtual void Print() { cout << "E::Print" << endl ; }
};
int main()
{A a; B b; E e; D d;A * pa = &a; B * pb = &b;D * pd = &d; E * pe = &e;pa->Print(); // a.Print()被调用，输出：A::Printpa = pb;pa -> Print(); // b.Print()被调用，输出：B::Printpa = pd;pa -> Print(); // d.Print()被调用，输出：D::Printpa = pe;pa -> Print(); // e.Print()被调用，输出：E::Printreturn 0;
}示例二
class Base
{
public:void fun1() { fun2(); }virtual void fun2() // 虚函数{ cout << "Base::fun2()" << endl; }
};class Derived : public Base
{
public:virtual void fun2() // 虚函数{ cout << "Derived:fun2()" << endl; }
};int main()
{Derived d;Base * pBase = & d;pBase->fun1();return 0;
}代码修改
class Base
{
public:void fun1() { this->fun2(); // this是基类指针，fun2是虚函数，所以是多态}
}
总结
这里代码迷惑人之处在于Derived 有Base的fun1接口，调用了fun1，不像平常的调用重写的虚方法。
this 指针的作用就是指向成员函数所作用的对象， 所以非静态成员函数中可以直接使用 this 来代表指向该函数作用的对象的指针。
pBase 指针对象指向的是派生类对象，派生类里没有 fun1 成员函数，所以就会调用基类的 fun1 成员函数，在Base::fun1() 成员函数体里执行 this->fun2() 时，实际上指向的是派生类对象的 fun2 成员函数。
因此，在非构造函数，非析构函数的成员函数中调用「虚函数」，就是多态实现!!!
另外，在构造函数和析构函数中调用「虚函数」，不是多态。编译时即可确定，调用的函数是自己的类或基类中定义的函数，不会等到运行时才决定调用自己的还是派生类的函数。
