抽象类

简介

　　用 abstract 修饰的类是抽象类。

　　在C++中，含有纯虚拟函数的类称为抽象类，它不能生成对象。

　　凡是包含纯虚函数的类都是抽象类。

　　抽象类是不完整的，并且它只能用作基类。它与非抽象类的不同：

　　1、抽象类不能直接实例化，并且对抽象类使用 new 运算符是编译时错误。虽然一些变量和值在编译时的类型可以是抽象的，但是这样的变量和值必须或者为 null，或者含有对非抽象类的实例的引用（此非抽象类是从抽象类派生的）。

　　2、允许（但不要求）抽象类包含抽象成员。

　　3、抽象类不能被密封。

　　当从抽象类派生非抽象类时，这些非抽象类必须具体实现所继承的所有抽象成员，从而重写那些抽象成员。在下边的示例中：

　　abstract class A{ public abstract void F();}

　　abstract class B: A{ public void G() {}}

　　class C: B{ public override void F() { // actual implementation of F }}

　　　抽象类 A 引入抽象方法 F。类 B 引入另一个方法 G，但由于它不提供 F 的实现，B 也必须声明为抽象类。类 C 重写 F，并提供一个具体实现。由于 C 中没有了抽象成员，因此可以（但并非必须）将 C 声明为非抽象类。

　　抽象类与接口紧密相关。然接口又比抽象类更抽象，这主要体现在它们的差别上：1）类可以实现无限个接口，但仅能从一个抽象（或任何其他类型）类继承，从抽象类派生的类仍可实现接口，从而得出接口是用来解决多重继承问题的。2）抽象类当中可以存在非抽象的方法，可接口不能且它里面的方法只是一个声明必须用public来修饰没有具体实现的方法。3）抽象类中的成员变量可以被不同的修饰符来修饰，可接口中的成员变量默认的都是静态常量（static final）。4）这一点也是最重要的一点本质的一点"抽象类是对象的抽象，然而接口是一种行为规范"。

定义

　　抽象类表示该类中可能已经有一些方法的具体定义，但是接口就仅仅只能定义各个方法的界面(方法名，参数列表，返回类型)，并不关心具体细节。

用法

　　1）在继承抽象类时，必须覆盖该类中的每一个抽象方法，而每个已实现的方法必须和抽象类中指定的方法一样，接收相同数目和类型的参数，具有同样的返回值，这一点与接口相同。

　　2）当父类已有实际功能的方法时，该方法在子类中可以不必实现，直接引用的方法，子类也可以重写该父类的方法（继承的概念）。

　　3）而实现 (implement)一个接口（interface)的时候，是一定要实现接口中所定义的所有方法，而不可遗漏任何一个。

　　4）另外，抽象类是不能产生对象的，但可以由它的实现类来声明对象。

　　有鉴于此，在实现接口时，我们也常写一个抽象类，来实现接口中的某些子类所需的通用方法，接着在编写各个子类时，即可继承该抽象类来使用，省去在每个都要实现通用的方法的困扰。

实例

　　为了让一个类成为抽象类，至少必须有一个纯虚函数。纯虚函数形式如下：

　　virtual return type function() = 0;

　　例如，类A有两个纯虚函数lock()、unlock()和一个虚析构函数：

　　class A

　　{

　　public:

　　virtual void lock(void)=0;

　　virtual void unlock(void)=0;

　　virtual ~A(void);

　　}

　　将函数lock()和unlock()初始化为0使它们成为纯虚函数，没有0这个初使化器，它们仅仅是虚函数。

　　class B : public A

　　{

　　protected:

　　pthread_mutex_t x;

　　public:

　　B(void);

　　~B(void);

　　virtual void lock(void)

　　{

　　ead_mutex_lock(x);

　　}

　　virtual void unlock(void) {

　　ead_mutex_unlock(x);

　　}

　　}

　　抽象类对于提供模式、蓝图和后代类遵循的原则有用。如果遵循了蓝图的语义，后代类的行为可能按抽象类提供者和使用者所期望的那样。通过使用抽象类，C++程序员可以提供C++组件的规范，在它的构建中指导组件的实现者。