虚函数不能是模板函数，因为虚函数表在类解析时需固定大小，而模板实例化延迟到调用点，导致无法预知所有函数地址；替代方案是策略类+类模板参数化实现静态多态。
编译器无法在类定义阶段确定虚函数表大小
虚函数表（vtable）必须在类被解析（parse）时就固定大小，而成员函数模板的实例化是延迟到调用点才发生的。比如 template<typename t> virtual void f(T)</typename> 可能被 f<int></int>、f<:string></:string>、f<mytype></mytype> 多次实例化，每次生成一个独立函数地址。编译器若要填满 vtable，就得提前扫描整个项目所有翻译单元，找出全部可能的模板实参 —— 这在多文件工程中不可行，也违背 C++ 单遍解析的设计原则。
模板实例化产生的是多个独立函数，不是“同一个函数的不同重载”
很多人误以为 handle<int> 和 handle<double> 是类似重载的关系，其实它们是完全不同的函数类型，各自有独立的符号名和地址。虚函数机制依赖“一个函数名对应一个 vtable 槽位”，但模板成员函数名本身不绑定具体实现，只有实例化后才落地。这导致：
- virtual 修饰的是声明，而模板声明不产生实际函数；
- 派生类无法 override 一个尚未实例化的模板签名；
- 即使你写了 template<typename T> void handle(T) override，编译器也无法验证它是否覆盖了基类中某个具体实例 —— 因为基类里根本没实例。
替代方案：策略类 + 类模板参数化
想达到“运行时多态 + 编译期泛型”的效果，得绕开虚函数表机制，改用静态多态组合。常见做法是：
- 把处理逻辑抽成独立的策略类模板，如 template<typename T> struct Handler { static void process(T); }；
- 让主类成为类模板，把策略类型作为模板参数传入，如 template<typename Strategy = DefaultHandler> class Processor；
- 在 Processor::run() 中调用 Strategy::process(x)；
- 需要动态切换行为时，用类型擦除（如 std::function）或运行时分支（如 if (type_id == int_id) ...）补足，而不是强求虚函数表承载泛型。
容易忽略的关键点：错误信息往往不提“模板”二字
当你写 template<typename T> virtual void foo(T)，Clang/GCC 的报错通常是：error: virtual function cannot be a template 或更模糊的 error: expected ';' at end of declaration（因语法解析失败）。它不会解释“因为 vtable 不支持”，也不会提示你该用策略模式 —— 这个设计限制埋得很深，只在标准文档 [class.virtual] 和编译器实现层面体现。一旦卡在这里，优先检查是不是试图用虚函数解决本该由模板参数或类型擦除承担的问题。
