C++允许类模板中定义普通虚函数，但禁止虚函数本身为模板；因虚函数表需编译期确定地址，而模板虚函数实例化不可预知，违反vtable静态布局要求。
可以，类模板里完全可以定义虚函数，但不能定义「虚模板成员函数」——这是两个完全不同的概念，很多人混淆的根源就在这里。
类模板中的普通虚函数完全合法
类模板本身是编译期生成具体类型的蓝图，而虚函数只要在每个实例化后的类中能确定唯一签名，就满足虚函数表（vtable）静态布局的要求。
比如下面这段代码没有任何问题：
template<typename T>
class Base {
public:
virtual void process() { std::cout << "Base::process\n"; }
virtual T get_value() const { return {}; }
virtual ~Base() = default; // 虚析构必须有
};
-
Base<int>和Base<std::string>各自拥有独立的 vtable，每个表里都固定包含process、get_value、~Base三个虚函数指针 - 虚函数签名不依赖模板参数以外的类型推导，编译器在实例化时就能完整确定
- 派生类模板或具体类均可重写这些虚函数，多态行为正常工作
template<typename U> virtual void foo(U) 是非法的
这才是真正被 C++ 标准禁止的写法。错误不是出在“类是模板”，而是出在“虚函数本身是模板”。
立即学习“C++免费学习笔记（深入）”；
典型报错：error: virtual function cannot be a template，位置就在函数声明行。
- vtable 要求每个虚函数地址在编译类定义时就落位，但
foo<int>、foo<double>、foo<std::vector<int>>可能在任意源文件中首次被调用才触发实例化 - 编译器无法在解析
class Base时预知会生成多少个foo版本，也就无法固定 vtable 大小和偏移 - 哪怕只特化一个版本（如
template<> virtual void foo<int>()），依然非法 ——virtual关键字根本不允许出现在任何模板声明/定义上下文中
想实现“运行时分派 + 类型泛化”，该怎么做
这不是语法限制的问题，而是设计意图的错配：虚函数解决的是运行时对象类型不确定下的动态分派；模板解决的是编译期类型已知下的泛化复用。强行糅合会导致语义模糊和实现不可行。
替代方案要按实际需求选：
- 如果分派逻辑固定、类型集合有限 → 用
std::variant<T1, T2, T3>+std::visit - 如果类型完全开放、且需要存储异构对象 → 用类型擦除，例如
std::function<void(int)>或自定义基类 +std::any搭配策略对象 - 如果只是想让不同模板实例共享同一套虚接口 → 把虚函数提到非模板基类，类模板继承它（即“模板实现 + 非模板接口”模式）
最容易被忽略的一点：虚函数表大小和内存布局在类模板实例化时就固化了，但很多人在调试时发现 sizeof(Base<T>) 不变，就误以为所有虚函数行为都“一样稳定”，其实只是没碰上那个关键的模板成员函数声明而已。
