最常见原因是派生类重写纯虚函数时签名不匹配，如漏const、参数类型不一致、返回类型不协变等，导致编译器认为未重写而仍视其为抽象类。
派生类重写了纯虚函数但编译报错“cannot declare variable of abstract type”
这种情况最常见原因不是没重写，而是重写得不匹配——函数签名（包括返回类型、函数名、参数列表、const 限定符、&/&& 引用限定）必须与基类纯虚函数**逐字节一致**。哪怕只差一个 const，编译器就认为这是个新函数，而非重写。
- 检查是否漏掉了
const：基类声明为virtual double area() const = 0;，派生类实现成double area()（无const）→ 不算重写 - 检查参数类型是否完全一致：比如基类是
virtual void draw(const std::string& s) = 0;，派生类写成void draw(std::string s)（值传递）→ 不匹配 - 检查返回类型协变是否合规：若返回指针或引用，派生类可返回更派生类型的指针（如基类返回
Shape*，派生类可返回Circle*），但普通类型（如int→long）不协变，会失败 - 使用
override关键字强制校验：在派生类函数后加上override，编译器会立刻报错指出不匹配项
派生类中声明了同名函数但没加 virtual 或写错了访问权限
纯虚函数的重写不要求显式写 virtual（C++11 起隐式继承虚性），但如果你在派生类中把函数声明成了 private 或 protected，而基类是 public，那它虽然技术上是虚函数，却无法通过基类接口被调用——某些编译器（尤其老版本）可能仍判定该类为抽象类，或导致链接时问题。
- 确保派生类中重写函数的访问权限至少和基类一样宽（通常是
public） - 避免手动删掉
virtual：虽然语法允许，但加上更清晰，且配合override可防误判 - 注意隐藏而非重写：如果派生类函数参数列表不同，哪怕只多一个默认参数，也会隐藏基类函数，而不是重写
基类有多个纯虚函数，只实现了其中一部分
抽象类的判定规则很简单：只要类中**任一**纯虚函数未被（正确）重写，该类就是抽象类。开发者常以为“我重写了 draw()，应该就能实例化了”，却忽略了基类还有 serialize() 和 clone() 两个纯虚函数没动。
- 用编辑器全局搜索基类头文件里的所有
= 0，逐条核对派生类是否都有对应实现 - 启用编译器警告：如 GCC/Clang 加
-Wabstract-vbase或-Wsuggest-override，能提示遗漏或不匹配 - 如果某些函数确实不想实现（比如不支持序列化），应考虑拆分接口：把
Drawable和Serializable分成两个独立抽象类，让派生类按需继承
析构函数是纯虚函数且未提供定义
纯虚析构函数是个特例：它允许声明为纯虚（virtual ~Base() = 0;），但**必须提供函数体**，否则链接失败；而且即使提供了定义，只要还有别的纯虚函数未实现，类仍是抽象的。
- 纯虚析构函数的定义可以是空的：
Base::~Base() {} - 它主要作用是强制派生类必须定义自己的析构函数（并保证虚析构），同时让基类不可实例化
- 但它不“抵消”其他纯虚函数的存在——该抽象还是抽象
override 和编译器警告把签名对齐问题筛干净。C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
