请解释什么是多态，以及它在面向对象编程中有哪几种主要形式？

回答思路

1. 准确描述多态的定义与意义
2. 区分编译时多态（重载）与运行时多态（重写）
3. 能举例说明多态如何提高代码扩展性和可维护性
4. 理解多态实现的基础（继承、接口、虚方法）