纯虚函数

2019独角兽企业重金招聘Python工程师标准>>>

定义

纯虚函数就是在基类中声明的虚函数，它在基类中没有定义，但要求任何派生类都要定义自己的实现方法。在基类中实现纯虚函数的方法是在函数原型后面加“=0”

引入原因

• 方便的使用多态，因此常常在基类中定义虚函数
• 在很多情况下，基类本身生成对象是不合理的。例如，动物作为一个基类可以派生出老虎、孔雀等子类，蛋动物本身生成对象明显不合常理。

为了解决上述问题，引入了纯虚函数的概念，将函数定义为纯虚函数（virtual ReturnType Function() = 0）,则编译器要求在派生类中必须予以重写以实现多态性。
含有纯虚函数的类称为抽象类，它不能生成对象。
声明了纯虚函数的类是一个抽象类，所以，用户不能创建类的实例，只能创建它的派生类的实例。
纯虚函数最显著的特征是：它们必须在继承类总重新声明函数（不要后面的=0，否则该派生类也不鞥实例化），而且它们在抽象类中往往没有定义。
定义纯虚函数的目的在于，使派生类仅仅只是继承函数的接口。
纯虚函数的意义在于，让所有的类对象（主要是派生类对象）都可以执行纯虚函数的动作，但类无法为纯虚函数提供一个合理的缺省实现。所以，纯虚函数的声明就是在告诉子类的设计者，“你必须提供一个纯虚函数的实现，但我不知道你会怎样实现它”
抽象类的介绍

抽象类是一种特殊的类，它是为了抽象和设计的目的而建立的，它处于继承层次结构的较上层。
抽象类的定义：
称带有纯虚函数的类为抽象类
抽象类的作用
抽象类的主要作用是将有关的操作作为结果接口组织在一个继承层次结构中，由它来为派生类提供一个公共的根，派生类将具体实现在其基类中作为借口的操作。
所以派生类实际上刻画了一组子类的操作接口的通用语义，这些语义也传给子类，子类可以具体实现这些语义，也可以再将这些语义传给自己的子类。

使用抽象类时注意：

• 抽象类只能作为基类来使用，其纯虚函数的实现由派生类给出。如果派生类中没有重新定义纯虚函数，而只是继承基类的纯虚函数，则这个派生类仍然是一个抽象类。如果派生类中给出了基类纯虚函数的实现，则该派生类就不再是抽象类了，它是一个可以建立对象的具体的类。
• 抽象类是不能定义对象的。

纯虚函数和虚函数有什么区别

• 纯虚函数声明如下：virtual void function1()=0；
  纯虚函数一定没有定义，纯虚函数用来规范派生类的行为， 即接口。包含纯虚函数的类是抽象类，抽象类不能定义实例，但可以声明指向实现该抽象类的具体类的指针或引用。
• 虚函数的声明如下：virtual void function(parameter);
  虚函数必须实现，如果不实现，编译器将报错。
• 对于虚函数来说，父类和子类都有各自的版本。由多态方式调用的时候动态绑定。
• 实现了纯虚函数的子类，该纯虚函数在子类中就变成了了虚函数，子类的子类可以覆盖该虚函数，由多态方式调用的时候动态绑定。
• 虚函数是C++中用于实现多态的机制。核心理念就是通过基类访问派生类定义的函数。
• 在有动态分配堆上内存的时候，析构函数必须是虚函数，但没有必要是纯虚的。
• 友元不是成员函数，只有成员函数才可以使虚拟的，因此友元不能是虚拟函数。但可以通过让友元函数调用虚拟成员函数来解决友元的虚拟问题。
• 析构函数应当是虚函数，将调用相应对象类型的析构函数。因此，如果指针指向的是子类对象，将调用子类的析构函数，然后自动调用基类的析构函数。

转载于:https://my.oschina.net/u/1771419/blog/1611853