纯虚函数用“virtual 返回类型 函数名(参数) = 0;”定义，无函数体（析构函数除外），含纯虚函数的类为抽象类、不可实例化；必须由派生类实现，否则仍为抽象类。
纯虚函数的定义方式和语法特征
纯虚函数是 C++ 中用 = 0 显式声明的虚函数，它不提供实现，只规定子类必须重写。只要一个类中包含至少一个纯虚函数，这个类就自动成为抽象类，无法实例化。
常见错误是把普通虚函数误当作纯虚函数，比如写成 virtual void func();（缺 = 0），这仍是可实例化的普通类；或者写成 virtual void func() = 0 {}（带函数体却标纯虚），编译器会报错。
- 正确写法：
virtual void draw() = 0; - 不能有函数体（除非是纯虚析构函数，见下文）
- 可以在类外定义纯虚函数体，但毫无意义，且调用它会导致未定义行为
- 纯虚函数可以有默认参数，但派生类重写时不会继承该默认值
为什么需要纯虚析构函数？
抽象基类通常用于多态销毁，比如通过 Base* 指针 delete 子类对象。如果基类析构函数不是虚的，子类析构逻辑不会被调用；而如果它是纯虚的，又必须提供定义——否则链接失败。
所以标准做法是：声明为纯虚，但**必须在类外提供定义**。
立即学习“C++免费学习笔记（深入）”；
class Shape {
public:
virtual ~Shape() = 0; // 纯虚析构函数
};
Shape::~Shape() {} // 必须定义，哪怕为空
- 不定义会导致链接错误：undefined reference to `Shape::~Shape()`
- 即使纯虚，析构函数仍需定义，因为对象销毁时总会调用它
- 普通成员纯虚函数可以不定义，但析构函数例外
纯虚函数与接口规范的实际约束力
纯虚函数强制派生类实现，但它不约束参数名、注释、异常说明或 noexcept，也不检查函数逻辑是否符合语义契约。它只保证“有这个函数签名”，不保证“做对的事”。
比如 virtual int area() const = 0; 要求子类提供 area()，但无法阻止子类返回负数或抛出异常（除非你额外加 noexcept 或文档约定）。
- 接口规范靠纯虚函数 + 文档 + 测试共同维持，单靠语法不够
- 若想进一步约束行为，可用
noexcept、const、返回类型等细化签名 - 多个纯虚函数组合才构成完整接口，例如
open()、read()、close()一起定义资源管理契约
抽象类不能实例化，但能定义指针和引用
这是多态的基础。你不能写 Shape s;，但可以写 Shape* p = new Circle; 或 const Shape& ref = circle;。编译器禁止直接构造，但完全支持间接使用。
容易忽略的一点是：抽象类的子类如果没实现全部纯虚函数，它自己也是抽象类。只有所有纯虚函数都被覆盖后，类才“落地”为具体类。
- 派生类中重写纯虚函数时，
virtual关键字可省略，但建议保留以提高可读性 - 重写函数的 const/noexcept 修饰符必须与基类一致，否则不算重写（而是重载）
- 使用
override关键字能帮助编译器检查是否真正重写了纯虚函数
抽象类的核心价值不在“不能 new”，而在于用类型系统把契约提前到编译期——但契约细节是否被正确履行，仍取决于开发者对 = 0 后面那行声明的理解深度。
