虚函数实现运行时多态，通过vtable和vptr支持动态绑定；非静态成员函数可声明为虚，构造函数不可，析构函数应为virtual以防资源泄漏；纯虚函数使类抽象化。

override关键字用于显式声明派生类中重写基类虚函数，编译器据此严格校验签名匹配、协变返回类型等，不满足则报错，避免静默重载导致多态失效。

抽象类因含纯虚函数（=0）而无法实例化，此为编译期强制检查；派生类须显式实现所有继承的纯虚函数且签名一致，才成为具体类。

纯虚函数必须用=0声明且无函数体，含纯虚函数的类为抽象类不可实例化；析构函数可纯虚但须定义；接口类需虚析构、禁拷贝、无数据成员。

override关键字用于显式声明虚函数重写，要求签名完全匹配或满足协变规则，是C++11引入的编译期契约，可防止因拼写、const、参数类型等不一致导致的隐式重载而非重写问题。

不加virtual析构函数会导致通过基类指针delete派生类对象时仅调用基类析构函数，派生类析构被跳过，引发资源泄漏；只要类设计为多态基类或存在基类指针管理派生类生命周期的情况，就必须声明virtual析构函数。