纯虚函数与抽象类

纯虚函数与抽象类

纯虚函数

一.纯虚函数
virtual … = 0;

•形如 
class 类名 
{ 
    virtual 返回类型 函数名 (形参表) = 0; 
};
 的虚函数，称为纯虚函数或抽象方法

–class Shape 
 { 
    public: virtual void draw (void) const = 0; 
 };

•纯虚函数可以不定义，但如果定义，必须写在类的外部

–void Shape::draw (void) const { … }

•在基类的构造和析构函数中调用纯虚函数，结果将是未定义的。
通常会在链接阶段报告失败。如果该纯虚函数有定义，编译器将在给出警告之后，选择调用基类版本

抽象类

一.纯虚函数与抽象类

•至少包含一个纯虚函数的类称为抽象类

–class Abstract 
 { 
    void foo (void) { ... } 
    virtual void bar (void) { ... } 
    virtual void hum (void) = 0; 
 };

•纯虚函数因其所代表的抽象行为而无需或无法实现，包含此种函数的类亦因其所具有的一般性而表现出抽象的特征

•抽象类往往用来表示在对问题进行分析、设计的过程中所得出的抽象概念，是对一系列看上去不同，但本质上相同的具体概念的抽象

二.抽象类不能实例化为对象

•无论是直接定义，还是通过new运算符，抽象类永远不能实例化为对象

–Shape shape (…); // 错误
–Shape* shape = new Shape (…); // 错误
–void show (Shape shape); // 错误
–Shape make (void); // 错误

三.抽象类的子类

•抽象类的子类如果不对基类中的全部纯虚函数提供有效的覆盖，那么该子类就也是抽象类

–class A 
 { // 抽象类 
    virtual void foo (void) = 0; 
    virtual void bar (void) = 0; 
 };

–class B : public A 
 { // 抽象类 
    void foo (void) { ... } 
    void bar (int x, int y) { ... } // 没有覆盖A::bar，继承之 
  };
–class C : public B 
 { // 具体类 
    void bar (void) { ... } // 覆盖B中从A继承的bar 
 };

纯抽象类

一.面向抽象

•全部由纯虚函数构成的抽象类称为纯抽象类或接口

•面向抽象编程，使得所有基于接口编写的代码，在子类被更替后，无需做任何修改或只需做很少的修改，就能在新子类上正确运行

–class Animal 
 { 
    virtual void eat (void) = 0; 
    virtual void run (void) = 0; 
    virtual void cry (void) = 0; 
 };

–Animal* animal = new Cat (...); // Dog, Ox, Sheep, ... 
 animal->eat (); 
 animal->run (); 
 animal->cry ();