嘿，作为一个写了多年C++的老司机，我来给你拆解那些非纯虚函数不可的场景——你已经知道它能把类变成抽象类、强制派生类实现对应方法，但肯定想搞清楚啥时候离了它就玩不转对吧？

1. 定义必须遵守的接口契约，杜绝“偷懒”的派生类 #

有些时候，基类的核心方法根本不应该有默认实现，因为每个派生类的逻辑完全不一样。比如你做一个图形库，Shape类的area()方法，总不能给个默认返回0吧？这时候把它设为纯虚函数，编译器就会帮你把关：任何继承Shape的类如果不实现area()，直接编译报错。

class Shape {
public:
    virtual double area() const = 0; // 纯虚函数，无默认实现
    virtual ~Shape() = default; // 基类析构必须是虚函数，防止内存泄漏
};

// 正确的派生类：必须实现area()
class Rectangle : public Shape {
private:
    double width, height;
public:
    Rectangle(double w, double h) : width(w), height(h) {}
    double area() const override {
        return width * height;
    }
};

// 错误示例：如果不实现area()，编译直接失败
// class Triangle : public Shape {
//     double base, height;
// };

2. 打造“纯接口型”基类，只做规范不干活 #

有些类从设计上就不是用来实例化的，它只是一个“模板”或者“接口”，所有具体逻辑都交给派生类。比如一个PaymentProcessor（支付处理器），基类根本不需要知道怎么处理支付宝、微信支付，它只需要定义processPayment(double amount)这个接口。用纯虚函数就能把基类变成纯接口，确保它永远不会被实例化，同时强制所有支付方式都实现核心功能。

class PaymentProcessor {
public:
    virtual bool processPayment(double amount) = 0;
    virtual ~PaymentProcessor() = default;
};

class AlipayProcessor : public PaymentProcessor {
public:
    bool processPayment(double amount) override {
        // 调用支付宝API的逻辑
        cout << "支付宝支付 " << amount << " 元成功" << endl;
        return true;
    }
};

class WeChatProcessor : public PaymentProcessor {
public:
    bool processPayment(double amount) override {
        // 调用微信支付API的逻辑
        cout << "微信支付 " << amount << " 元成功" << endl;
        return true;
    }
};

3. 从根源上禁止实例化基类 #

有些基类天生就是“抽象概念”，比如Animal（动物），你不会去创建一个“Animal对象”，只会创建Dog、Cat这些具体的动物。这时候把Animal的核心方法（比如makeSound()）设为纯虚函数，编译器就会直接阻止你实例化Animal，避免写出Animal myAnimal;这种逻辑错误的代码。

4. 团队协作时统一代码规范 #

在多人协作的项目里，纯虚函数是个“强制契约”。比如你们要做一个日志系统，定义一个Logger基类，把logInfo()、logError()、logWarn()都设为纯虚函数，那么所有负责开发具体日志实现（比如文件日志、控制台日志、数据库日志）的同事，都必须实现这些方法，不会出现某个日志类漏掉关键功能的情况，极大降低了沟通成本和后期维护的坑。

小彩蛋：纯虚函数也可以有实现？ #

哦对了，C++里纯虚函数其实可以有默认实现，但派生类还是必须重写它。这种场景适合有通用逻辑但又必须让派生类自定义部分逻辑的情况：

class Base {
public:
    virtual void setup() = 0;
};

// 纯虚函数的默认实现
void Base::setup() {
    cout << "执行通用初始化逻辑：加载配置文件" << endl;
}

class Derived : public Base {
public:
    void setup() override {
        Base::setup(); // 调用基类的通用逻辑
        cout << "执行派生类专属初始化：连接数据库" << endl;
    }
};

不过这种用法不算特别常见，前面那几个场景才是纯虚函数的核心刚需。

内容的提问来源于stack exchange，提问作者Amol GAIKWAD