纯虚函数必须写为 virtual void func() = 0;,= 0 不可省略或替换为 {},否则类不被视为抽象类,导致实例化时报错;= 0 必须紧贴参数列表,不可有空格;纯虚函数可带函数体但极少使用。

纯虚函数写法必须带 = 0,且不能有函数体
纯虚函数不是“没实现的虚函数”,而是语法上强制要求子类重写的接口声明。写成 virtual void func() = 0; 才合法;如果漏了 = 0,编译器就当它是普通虚函数,哪怕函数体为空也不会让类变成抽象类。
常见错误现象:error: cannot declare variable 'x' of abstract type 'Base' —— 往往是因为本该写 = 0 的地方写了 {} 或直接没写,导致编译器没识别出纯虚函数,类没被标记为抽象类,但又没提供完整实现,最后实例化时报错。
-
= 0必须紧贴在参数列表后,中间不能有空格(虽然部分编译器容忍,但标准不允许) - 纯虚函数可以有函数体(极少用),比如
virtual void log() = 0 { std::cout ,但这不改变其纯虚性质,子类仍必须重写才能实例化 - 析构函数可以是纯虚的,但**必须提供定义**,否则链接失败:
virtual ~Base() = 0 {}
抽象类无法实例化,但可以定义指针和引用
抽象类本质是“不能造出对象”的契约模板,它的价值全在多态调度里。你不能写 Base b;,但完全可以写 Base* p = new Derived(); 或 Base& ref = derived_obj;。
使用场景集中在接口隔离和运行时多态:比如图形渲染系统中,Shape 是抽象基类,Circle、Rect 继承它并实现各自的 draw(),上层只依赖 Shape* 操作,完全不关心具体类型。
立即学习“C++免费学习笔记(深入)”;
- 抽象类可以有非纯虚函数、普通成员变量、构造函数(但不能是纯虚)
- 继承抽象类时,若未实现所有纯虚函数,子类仍是抽象类,同样不可实例化
- 注意虚函数表(vtable)开销:每个抽象类对象都有 vptr,但和普通虚函数类无区别,别为此回避抽象类
接口类(Interface Class)就是只有纯虚函数的抽象类
C++ 没有 interface 关键字,所谓“接口类”是约定俗成的说法:类中所有成员函数都是 public 纯虚函数,不含数据成员,不含构造/析构实现(析构可声明为纯虚但需定义)。
典型写法:class Drawable { public: virtual ~Drawable() = 0; virtual void draw() = 0; virtual void update() = 0; };。这种结构逼近 Java/C# 的 interface,强调能力契约而非数据封装。
- 务必把析构函数设为 virtual(最好纯虚),否则通过基类指针 delete 派生类对象会未定义行为
- 不要在接口类里加 protected 成员或 non-public 函数,否则就不是纯粹的“能力声明”了
- 多个接口类可被同一派生类多重继承,这是 C++ 实现“实现多个接口”的主要方式,但要注意菱形继承问题(可用 virtual 继承缓解)
派生类忘记实现某个纯虚函数,编译错误位置可能很隐蔽
错误信息通常出现在尝试实例化派生类的地方,而不是在派生类定义处。比如你在 main() 里写 Derived d;,报错却提示 Derived 是抽象类——此时要回溯检查 Derived 是否真的实现了基类所有纯虚函数,包括从间接基类继承来的。
容易踩的坑是函数签名不一致:返回类型协变、const 修饰、引用/值参数差异都会导致“看似重写实则新增”,编译器不会警告,但纯虚函数未被覆盖。
- 用
override关键字显式标注重写函数,能捕获签名不匹配问题 - 基类纯虚函数加了
const,派生类实现也必须加,否则不算重写 - 返回类型如果是类类型,派生类可返回子类指针(协变),但基本类型不支持协变,如
virtual int get() = 0;不能用long get() override
C++ 的抽象机制很直接,但纯虚函数的语法细节和重写规则稍不留神就会绕进坑里。最常被忽略的是析构函数的 virtual + 定义组合,以及 override 的缺失导致的静默重写失败。











