请解释虚函数的概念，并说明多态是如何通过虚函数实现的。

回答思路

1. 准确描述虚函数定义及其在基类中的声明要求
2. 说明虚函数表（vtable）和虚指针（vptr）的作用
3. 解释动态绑定（运行时多态）与静态绑定的区别
4. 能通过示例说明覆盖（override）和调用规则