“pure-specifier on function-definition”错误的直接原因是将=0写在函数定义（含{}或=default）处，而C++规定=0仅允许出现在类内纯虚函数声明中，定义时不可出现=0。
“pure-specifier on function-definition”错误的直接原因
这个错误发生在你把 = 0 写在了函数定义（即实现）处，而不是仅写在声明处。C++ 语法明确规定：纯虚函数的 = 0 只能出现在类内声明中；一旦写了函数体（哪怕为空），就属于定义，不能再带 = 0。
典型错误写法：
class Base {
public:
virtual ~Base() = 0 {} // ❌ 错误：声明和定义混在同一行，= 0 和 {} 冲突
};
正确拆分声明与定义的写法
必须严格分离：类内只声明（带 = 0），类外单独定义（不带 = 0，哪怕函数体为空）。
- 类内声明写
virtual ~Base() = 0;，结尾是分号，不是花括号 - 类外定义写
Base::~Base() { }或Base::~Base() = default;，不能出现= 0 - 定义可以放在 .cpp 文件里，也可以在头文件中 inline 定义（但需确保只被包含一次，或用
inline关键字）
正确示例：
C++ Code Review Master
下载
组合式C++代码评审方案，融合静态分析、AI推理、多轮迭代评审和C++专项检查，适用于PR审查、增量代码审查、全项目评审和代码质量评分，触发词包括review cpp、cpp代码评审、C++review、代码审查。
立即学习“C++免费学习笔记（深入）”；
class Base {
public:
virtual ~Base() = 0; // ✅ 声明：有 = 0，无函数体
};
Base::~Base() {} // ✅ 定义：无 = 0，有函数体（可为空）
为什么编译器这么严格？
因为 = 0 是“纯虚”语义标记，只对声明起作用；而函数体代表“有实现”，两者逻辑上互斥。编译器在解析时会先检查语法结构，一旦发现 = 0 和 {} 或 = default 同时存在，立刻报错，不进入语义分析阶段。
- 即使你写
virtual ~Base() = 0 = default;，也一样报错——= default是定义，不能和= 0共存 - 如果用了
inline，仍要遵守规则：inline Base::~Base() { }是合法的，但inline virtual ~Base() = 0 { }不合法 - 这个限制和
override、final等说明符不同，它属于语法硬约束，没有例外
容易忽略的边界情况
真正容易栽跟头的地方，往往不在主流程，而在细节拼写和上下文干扰：
- 头文件里不小心把声明和定义写在同一行（尤其复制粘贴时漏删分号或加了花括号）
- 使用模板类时，在类内定义析构函数并加
= 0，误以为模板能绕过该限制（不能） - 在类内用
= delete或= default替代纯虚意图，结果既没达到抽象效果，又破坏了多态销毁路径 - IDE 自动补全插入了
= 0，你顺手敲了{}却没注意冲突
最稳妥的做法：纯虚析构函数永远只在类内声明带 = 0，定义一律挪到类外，哪怕只写一行空花括号。
