virtual只用于类内声明，定义中禁止使用；派生类重写推荐用override而非virtual以获编译检查；static函数、构造函数等不可用virtual；inline virtual语法允许但内联效果受限；构造/析构中虚调用仅限当前类版本。
virtual 关键字只写在类内声明中，定义里绝对不能写
virtual 是声明期语义，告诉编译器“这个函数支持动态绑定”，它不参与函数体实现逻辑。一旦在基类的成员函数声明前加了 virtual，该函数就成为虚函数；后续所有派生类中同签名函数自动继承虚属性，无需、也不允许在定义（即函数体实现）处重复加 virtual。
常见错误是把 virtual 错误地写在类外定义上，比如：
class Base {
public:
virtual void foo();
};
void Base::foo() virtual { ... } // ❌ 编译错误：virtual 不能出现在定义中
正确写法是声明带 virtual，定义时完全省略：
class Base {
public:
virtual void foo(); // ✅ 声明处加 virtual
};
void Base::foo() { ... } // ✅ 定义处不加 virtual
派生类重写时 virtual 和 override 的取舍
派生类中重写虚函数，virtual 关键字可省略，但强烈建议显式加上 virtual 或更推荐用 override（C++11 起）。
-
virtual显式标注：延续虚函数语义，提高可读性 -
override更优：编译器会校验是否真有匹配的基类虚函数，拼错名、参数少个 const、返回类型不协变等都会报错 - 只写
virtual不写override：失去编译期检查，容易因签名微小不一致导致隐藏（hiding）而非重写（overriding）
反例（看似重写，实为隐藏）：
class Base { public: virtual void bar(int) const; };
class Derived : public Base {
public:
void bar(int); // ❌ 少 const → 不是重写，是新函数，基类 const 版本被隐藏
};
加 override 后，上述代码直接编译失败，问题暴露得早。
哪些地方根本不能用 virtual
virtual 是类成员函数专属修饰符，以下场景用了就是语法错误：
- 静态成员函数：
static virtual void func()→ ❌static和virtual语义冲突（无this指针，无法查 vtable） - 构造函数：
virtual Base()→ ❌ 构造期间对象类型未完全确定，vptr 尚未就绪，调用虚函数行为未定义 - 析构函数以外的其他特殊成员函数（如
operator=）虽可加virtual，但极少必要；而析构函数几乎**必须**声明为virtual（若类设计为多态基类） - 全局函数或命名空间内函数：没有所属类，
virtual无意义
inline 和 virtual 能不能一起用
可以声明为 inline virtual，但实际效果受限：
- 类内定义的虚函数默认是
inline（如virtual void f() { }），但编译器通常不会真正内联——因为虚调用需查 vtable，无法在编译期确定目标地址 - 类外定义的虚函数即使加
inline，也大概率不会被内联，尤其通过指针/引用调用时 - 真正想内联的函数，应避免走虚调用路径；若既要多态又要极致性能，考虑策略模式 + 模板替代虚函数
所以，inline virtual 更像是语法允许的“技术可行”，而非“工程推荐”。日常编码中，优先保证语义清晰（virtual + override），别依赖编译器对虚函数做内联优化。
最易被忽略的一点：虚函数表（vtable）是在对象构造完成之后才完全可用的；这意味着在构造函数或析构函数里调用虚函数，哪怕写了 override，实际调用的仍是当前正在构造/析构的那个类的版本，不是最终派生类的——这是语言机制决定的，不是 bug，但极易踩坑。
C++免费学习笔记（深入）：立即使用
在学习笔记中，你将探索 C++ 的入门与实战技巧！
