虚函数声明未定义导致链接错误，因虚表需可链接地址；纯虚函数漏写=0、虚析构未定义、模板外声明等均会触发，odr-use决定是否报错。
虚函数声明但未定义导致链接器报 undefined reference
因为 C++ 标准要求：只要一个类含有虚函数（哪怕只是声明），且该类被实例化或其地址被取用，编译器就必须生成该类的虚表（vtable）。而虚表中每个虚函数项都必须指向一个**可链接的函数地址**——如果函数只有声明没有定义，链接器就找不到这个地址，于是报 undefined reference to `ClassName::funcName()'。
常见触发场景：
- 在头文件中写了
virtual void draw();，但忘了在 .cpp 里写void Shape::draw() { ... } - 纯虚函数写成了
virtual void init() = 0;（正确），但误写成virtual void init();（漏了= 0）又没实现 - 模板类中误把虚函数声明放在模板外，导致实例化时找不到非模板版本的定义
如何快速定位是哪个虚函数惹的祸
错误信息里的函数签名就是线索。比如报错：undefined reference to `Animal::speak()'，那就立刻检查 Animal 类中 speak 的声明与定义是否匹配。
实操建议：
- 用
nm -C your_object_file.o | grep vtable看虚表符号是否完整（Linux/macOS） - 在类定义里逐个注释掉虚函数声明，重新编译，缩小范围
- 如果该函数本意是纯虚函数，确认末尾有
= 0，且类中无同名非纯虚重载干扰 - 注意内联限制：虚函数不能仅在头文件中用
inline声明却不提供定义（inline virtual必须带函数体）
为什么有些虚函数没实现却没报错
不是所有虚函数未定义都会触发链接失败——关键看“是否被 ODR-use”。简单说：只要你没创建该类的对象、没取它的地址、也没通过它调用虚函数（包括基类指针/引用调用），链接器就可能不检查那个虚函数。
例如：
class Base {
public:
virtual void foo(); // 声明但未定义
};
// 没 new Base, 没 Base b;, 也没 Base* p = ...; p->foo();
// → 链接器可能沉默（但行为未定义，不可依赖）
一旦出现以下任一情况，就会炸：
-
Base b;（对象实例化） -
Base* p = new Derived;（即使Derived实现了foo，基类虚表仍需占位） -
sizeof(Base)（某些 ABI 下需访问虚表）
虚析构函数没实现是最隐蔽的坑
很多人给基类加 virtual ~Base(); 却忘记定义，结果在 delete ptr_to_base; 时链接失败。这是因为：即使派生类自己实现了析构，基类虚析构函数仍需在虚表中存在有效地址。
务必遵守：
- 只要写了
virtual ~ClassName();，就必须在某个 .cpp 中提供定义（哪怕空实现：Base::~Base() = default;或{}） - 若想强制抽象，应写成纯虚析构：
virtual ~Base() = 0;，但此时**仍需在 .cpp 中定义一次**（标准要求纯虚析构必须有定义） - 用
= default在类内定义虚析构是安全的（C++11 起），它会生成可链接符号
虚函数链接失败本质不是语法问题，而是虚表构建阶段暴露的定义缺失——它往往藏在你以为“没用到”的基类里，尤其在多层继承和工厂模式中容易被忽略。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
