纯虚函数与抽象类

在C++中，纯虚函数（pure virtual function）是一个在基类中被声明为纯虚的虚函数，它在基类中没有具体的实现，必须在派生类中提供实现。抽象类（abstract class）是一个至少包含一个纯虚函数的类，因此无法直接实例化。抽象类通常用作其他派生类的基类，用于定义接口和共享行为。

纯虚函数

纯虚函数的声明以= 0结尾，例如：

class Base {
public:
    virtual void pureVirtualFunction() const = 0; // 纯虚函数
};

抽象类

任何包含至少一个纯虚函数的类都是抽象类。例如：

class AbstractClass {
public:
    virtual void pureVirtualFunction() const = 0; // 纯虚函数
    virtual void nonPureVirtualFunction() const {
        // 有具体实现的非纯虚函数
    }
};

由于AbstractClass包含纯虚函数pureVirtualFunction，因此它是一个抽象类。你不能直接创建AbstractClass的对象，因为抽象类没有完整的实现。

派生类

派生类必须实现基类中的所有纯虚函数，否则它也是一个抽象类。例如：

class ConcreteClass : public AbstractClass {
public:
    void pureVirtualFunction() const override {
        // 实现基类中的纯虚函数
    }
};

在这个例子中，ConcreteClass是AbstractClass的一个派生类，它提供了pureVirtualFunction的实现，因此可以实例化。

例子

下面是一个简单的例子，展示了如何使用抽象类和纯虚函数：

#include <iostream>
class Shape {
public:
    virtual void draw() const = 0; // 纯虚函数
    virtual ~Shape() {} // 虚析构函数
};
class Circle : public Shape {
private:
    float radius;
public:
    Circle(float r) : radius(r) {}
    void draw() const override {
        std::cout << "Drawing a circle with radius " << radius << std::endl;
    }
};
class Rectangle : public Shape {
private:
    float width;
    float height;
public:
    Rectangle(float w, float h) : width(w), height(h) {}
    void draw() const override {
        std::cout << "Drawing a rectangle with width " << width << " and height " << height << std::endl;
    }
};
int main() {
    // Shape s; // 错误，不能实例化抽象类
    Circle c(5.0);
    Rectangle r(3.0, 4.0);
    Shape* shapes[] = { &c, &r };
    for (const auto& shape : shapes) {
        shape->draw(); // 多态性，调用正确对象的draw方法
    }
    return 0;
}

在这个例子中，Shape是一个抽象类，它定义了一个纯虚函数draw。Circle和Rectangle是Shape的派生类，它们提供了draw函数的具体实现。在main函数中，我们创建了一个Circle对象和一个Rectangle对象，并将它们存储在一个Shape*数组中。然后，我们通过基类指针调用draw函数，这展示了多态性的行为，即调用正确对象的draw方法。由于Shape是抽象类，我们不能直接创建Shape类型的对象。