纯虚函数写作“返回类型 函数名(参数) = 0;”,必须无函数体,用于定义抽象接口并强制子类重写;含纯虚函数的类为抽象类,不可实例化,但可含构造函数、普通成员函数和成员变量。

纯虚函数怎么写,语法上不能漏掉 = 0
纯虚函数本质是“只声明、不实现”的成员函数,强制子类重写。定义时必须在函数声明末尾加 = 0,且不能有函数体(哪怕写个空花括号也报错)。
-
= 0不代表返回值为 0,只是语法标记——它告诉编译器:“这函数没实现,别给我生成虚函数表入口” - 如果忘了
= 0,编译器会当成普通虚函数,父类就能实例化,失去抽象约束力 - 含纯虚函数的类自动成为抽象类,不能直接
new或定义栈对象,否则报错:error: cannot declare variable 'x' to be of abstract type
抽象类里可以有非纯虚函数、构造函数和成员变量
抽象类不是“只能放纯虚函数”的空壳。它完全可以承担共用逻辑、资源初始化、状态管理等职责。
- 构造函数能正常定义和调用:子类构造时会先走父类构造,适合做通用初始化(比如日志句柄、配置加载)
- 普通成员函数可提供默认实现,子类可直接用或
override,避免重复代码 - 成员变量(包括
protected的)能被子类继承访问,用于共享状态,比如缓存、计数器、配置参数 - 注意:析构函数最好也声明为
virtual,否则通过基类指针删除派生类对象会导致未定义行为
接口规范靠纯虚函数定义,但得配合访问控制和 noexcept
用抽象类模拟接口时,重点不是“能不能继承”,而是“调用者能安全依赖什么”。光有纯虚函数不够,还得考虑契约细节。
- 所有纯虚函数应设为
public,否则外部无法调用;若需保护内部实现,用protected纯虚函数,但这就不是“接口”而是“钩子”了 - 明确是否允许抛异常:
virtual void process() = 0;允许抛任意异常;virtual void process() noexcept = 0;则调用者可放心不写 try-catch - 参数尽量用 const 引用或值传递,避免裸指针;返回类型慎用非 const 引用或指针,防止生命周期陷阱
- 不要在纯虚函数里调用其他虚函数(尤其是自己又没实现的),容易引发未定义行为
子类忘记 override 某个纯虚函数?编译器立刻拦住
这是抽象类最实在的好处:编译期强制补全接口。但要注意几个典型漏点。
立即学习“C++免费学习笔记(深入)”;
- 函数签名必须完全一致:const 修饰符、引用符、noexcept 声明都要匹配,否则算新函数,不覆盖,父类仍抽象 → 编译失败
- 子类中写了同名函数但没加
override关键字,编译器不会警告(C++11 起建议加上,能防拼写错误) - 模板类继承抽象基类时,纯虚函数不会自动实例化,得确保子类模板特化后确实实现了所有纯虚函数
- 多重继承下,若两个父类都有同名纯虚函数,子类必须显式实现一次,不能靠“继承自某一方”蒙混过关
纯虚函数不是语法糖,它是 C++ 唯一能在编译期卡死接口缺失的机制。但真正难的从来不是写 = 0,而是想清楚哪些行为必须由子类决定、哪些可以下沉、哪些该加 noexcept 或 const 限定——这些决定了调用方敢不敢放心用。










