几点知识:
无论父类里面有没有虚函数,都可以定义指向子类实例的父类指针.
如果父类里没有虚函数,则使用父类指针,只能访问父类的成员,而不能访问子类里的成员.
如果父类里的虚函数不是纯虚函数,且子类里没有重写该虚函数,则用父类指针访问该虚函数的时候,跟访问父类里的普通函数一样.
如果父类里的虚函数不是纯虚函数,且子类里重写了该虚函数,则用父类指针访问该虚函数的时候访问的是子类里重写后的函数.
如果父类里的虚函数是纯虚函数,则父类是个抽象类,子类要想能够被实例化,则必须重写该纯虚函数.用父类指针访问该纯虚函数的时候,访问到的是子类里重写了的函数.
再有一个要注意的是析构函数要声明为虚函数,这样在delete父类指针的时候,才会调用实例化的子类的虚函数,否则只会调用父类的析构函数,造成子类的剩余部分没被释放,从而造成内存的泄漏.
总结:
当定义一个指向子类实例的父类指针的时候,内存中实例化了子类,由于子类继承了父类,因此内存中的子类里包含父类的所有成员.但由于声明的是父类指针,因此该指针不能够访问子类的成员.而只能访问父类的成员.然而在父类里可以声明纯虚函数和定义虚函数.使用父类指针访问虚函数或纯虚函数的时候,访问到的是子类里重写的函数. 当然,对于虚函数,如果子类里没有对其重写的话,仍然访问到父类里定义的虚函数.可见虚函数和纯虚函数的却别仅仅在于:纯虚函数没有定义,只有声明,而且它使拥有它的类成为抽象类.
无论父类里面有没有虚函数,都可以定义指向子类实例的父类指针.
如果父类里没有虚函数,则使用父类指针,只能访问父类的成员,而不能访问子类里的成员.
如果父类里的虚函数不是纯虚函数,且子类里没有重写该虚函数,则用父类指针访问该虚函数的时候,跟访问父类里的普通函数一样.
如果父类里的虚函数不是纯虚函数,且子类里重写了该虚函数,则用父类指针访问该虚函数的时候访问的是子类里重写后的函数.
如果父类里的虚函数是纯虚函数,则父类是个抽象类,子类要想能够被实例化,则必须重写该纯虚函数.用父类指针访问该纯虚函数的时候,访问到的是子类里重写了的函数.
再有一个要注意的是析构函数要声明为虚函数,这样在delete父类指针的时候,才会调用实例化的子类的虚函数,否则只会调用父类的析构函数,造成子类的剩余部分没被释放,从而造成内存的泄漏.
总结:
当定义一个指向子类实例的父类指针的时候,内存中实例化了子类,由于子类继承了父类,因此内存中的子类里包含父类的所有成员.但由于声明的是父类指针,因此该指针不能够访问子类的成员.而只能访问父类的成员.然而在父类里可以声明纯虚函数和定义虚函数.使用父类指针访问虚函数或纯虚函数的时候,访问到的是子类里重写的函数. 当然,对于虚函数,如果子类里没有对其重写的话,仍然访问到父类里定义的虚函数.可见虚函数和纯虚函数的却别仅仅在于:纯虚函数没有定义,只有声明,而且它使拥有它的类成为抽象类.
1,如果以一个基础类指针指向一个衍生类对象(派生类对象),那么经由该指针只能访问基础类定义的函数(静态联翩)
2,如果以一个衍生类指针指向一个基础类对象,必须先做强制转型动作(explicit cast),这种做法很危险,也不符合生活习惯,在程序设计上也会给程序员带来困扰。(一般不会这么去定义)
3,如果基础类和衍生类定义了相同名称的成员函数,那么通过对象指针调用成员函数时,到底调用那个函数要根据指针的原型来确定,而不是根据指针实际指向的对象类型确定。
虚拟函数就是为了对“如果你以一个基础类指针指向一个衍生类对象,那么通过该指针,你只能访问基础类定义的成员函数”这条规则反其道而行之的设计。
如果你预期衍生类由可能重新定义一个成员函数,那么你就把它定义成虚拟函数( virtual )。
Polymorphism就是让处理基础类别对象的程序代码能够通透的继续适当地处理衍生类对象。
纯虚拟函数:
virtual void myfunc ( ) =0;
纯虚拟函数不许定义其具体动作,它的存在只是为了在衍生类钟被重新定义。只要是拥有纯虚拟函数的类,就是抽象类,它们是不能够被实例化的(只能被继承)。如果一个继承类没有改写父类中的纯虚函数,那么他也是抽象类,也不能被实例化。
抽象类不能被实例化,不过我们可以拥有指向抽象类的指针,以便于操纵各个衍生类。
虚拟函数衍生下去仍然是虚拟函数,而且还可以省略掉关键字“virtual”。
看个例子:
看个例子:
#include <iostream> using namespace std; class A { public: virtual void foo() { cout << "A's foo()" << endl; bar(); } virtual void bar() { cout << "A's bar()" << endl; } }; class B: public A { public: void foo() { cout << "B's foo()" << endl; A::foo(); } void bar() { cout << "B's bar()" << endl; } }; int main() { B bobj; A *aptr = &bobj; aptr->foo(); A aobj = *aptr; //转化为A类对象 aobj.foo(); } aptr->foo()输出结果是: B's foo()//这个明白,多态性 A's foo()//这个也明白,执行A::foo(); B's bar()//虽然调用的是这个函数:A::foo(); 但隐式传入的还是bobj 的地址,所以再次调用bar();调用时还是会调用B的函数, 与虚函数指针有关 aobj.foo()输出结果是: A's foo() //这个不是指针,aobj完全是一个A的对象,与多态没有关系 A's bar()