基类指针指向派生类对象&派生类指针指向基类对象

静态绑定

  1. 如果以一个基础类指针指向一个衍生类对象(派生类对象),那么经由该指针只能访问基础类定义的函数
  2. 如果以一个衍生类指针指向一个基础类对象,必须先做强制转型动作(explicit cast),这种做法很危险,也不符合生活习惯,在程序设计上也会给程序员带来困扰。
  3. 如果基础类和衍生类定义了相同名称的成员函数,那么通过对象指针调用成员函数时,到底调用那个函数要根据指针的原型来确定,而不是根据指针实际指向的对象类型确定。

虚函数

  1. 通过对象指针调用成员函数时,根据指针实际指向的对象类型确定。
  2. 在构造函数中调用(纯)虚函数,不会有虚函数的效应,只会调用父类本身的那个函数定义体,如果父类没有给出函数定义,就会链接出错,
    但也却实是因为对象的构造顺序决定了不能调用子类的函数体(父类在构造的时候,子类还没有构造呢,当然不会有虚函数效果)。

纯虚函数

  1. virtual void func ( ) = 0;
    纯虚拟函数不许定义其具体动作,它的存在只是为了在衍生类钟被重新定义。只要是拥有纯虚拟函数的类,就是抽象类,它们是不能够被实例化的(只能被继承)。如果一个继承类没有改写父类中的纯虚函数,那么他也是抽象类,也不能被实例化。
  2. 抽象类不能被实例化,不过我们可以拥有指向抽象类的指针,以便于操纵各个衍生类。
  3. 虚拟函数衍生下去仍然是虚拟函数,而且还可以省略掉关键字“virtual”。

抽象类

带有纯虚函数的类称为抽象类。

构造函数

  1. 在构造函数中调用虚函数,调用的是自己类的虚函数,如果调用纯虚函数,由于没有定义,会报错。

析构函数

  1. 通过子类对象的指针删除子类对象时,无论父类的析构函数是不是虚的,都会调用父类的析构函数。但是通过父类对象的指针(指向子类对象)删除对象时,如果父类的析构函数不是虚的,那么就不会调用子类的析构函数。所以为了保证正确性,要将会被派生的类的析构函数声明为虚的。

虚函数与默认参数

  1. 虚函数重载时,子类修改了父类的缺省的参数值 ,那么将根据指针本身的类型来决定缺省参数的值,但是调的函数还是有虚函数作用的,即对象实际是什么类型将调用它所对应的函数。
    用一句话来解释原因就是:虚函数是动态绑定的(dynamically bound),但是缺省参数却是静态绑定的(statically bound)。

const

  1. 函数加上const修饰与不加const,实际上声明了两个不同的函数。所以在父类中加上const,但是子类同名同参的函数没有加const,他们是两个不同的接口,此时虚函数没有被重载。
posted @ 2020-07-06 19:13  hunter-w  阅读(2605)  评论(0编辑  收藏  举报