08.2.5读书笔记

一.虚函数

1.基类指针

在运行时决定调用哪种形式的虚函数是根据基类指针指向的对象类型来决定的.虚函数可用标准的"对象/点"运算符语法进行正常访问,然而,采用这种方式忽略了其多态性的属性.只有通过基类指针来访问虚函数时,才能体现运行时的多态性.

#include <iostream>

using namespace std;

class base
...{
public:
    virtual void who()...{cout<<"base"<<endl;}
};

class deliver1:public base
...{
public:
    void who()...{cout<<"deliver1"<<endl;}
};

class deliver2:public base
...{
public:
    void who()...{cout<<"deliver2"<<endl;}
};

int main()
...{
    base bobj;
    base *p;
    deliver1 d1;
    deliver2 d2;
    p=&bobj;
    p->who();
    p=&d1;
    p->who();
    p=&d2;
    p->who();
    return 0;
}

运行结果:

base

deliver1

deliver2

2.继承虚函数

只要一个函数被声明为虚函数,不管进行了多少层的继承它都保持为虚函数.如果派生类不替换虚函数,则使用定义于基类中的虚函数.

如把上图中line17处的:public base改为public deliver1输出不变,而如果把上图中的line17屏蔽掉,则输出的deliver2为base

3.纯虚函数和抽象类

纯虚:virtual type fun-name(parameter-list)=0;

如果一个类至少有一个纯虚函数,则这个类叫做抽象类.

纯虚函数可以强迫任何派生类来定义自己的实现.如果一个类没有这么做,编译器就会报告错误.

抽象类有一个重要特征:不能用来声明对象,必须用做其他类将要继承的基类.但是,尽管这个基类是抽象类,仍然可以用它来声明指针,用来支持运行时间多态性.

最后要说的是,编译时间的多态性是运算符和函数来实现的,而运行时的多态性则是通过虚函数来实现的.