抽象类用于为所有子类提供布局和蓝图的基类,至少必须有一个纯虚函数,不能声明此类型对象,必须派生新类,对抽象基类中声明的所有纯虚函数提供实际定义,抽象类必须至少有一个后代它才会发挥作用。抽象类不是一种语言结构,但它被C++语言结构所支持。
例如:
#include<pthread.h>
class A{
public:
virtual void lock() = 0;
virtual void unlock() = 0;
virtual ~A(){}
};
class B: public A
{
public:
B() {}
~B(){}
virtual void lock() {pthread_mutex_lock(mtx_);}
virtual void unlock() {pthread_mutex_unlock(mtx_);}
protected:
pthread_mutex_t mtx_;
};
将函数lock()和unlock初始为0使它们成为纯虚函数,具有纯虚函数的任何类都不能创建运行时对象。B从A派生,并提供了两个纯虚函数的定义,如果类B只实现了其中一个纯虚函数,那么类B也被认为是一个抽象类,因为它仍然包含一个纯虚函数。
纯虚函数充当实现策略,任何用户在使用前必须实现纯虚函数,它的语义应当在子类实现时得到保存,也就是说lock()函数实现里不应该实现解锁操作。
总之,抽象类对于提供模式、蓝图和后代类遵循的原则有用,如果遵循了蓝图的语义,后代类的行为可能按抽象类提供者和使用者所期望的那样。通过抽象类,C++程序员可以提供C++组件的规范,在它构建中指导组件的实现者。