解释继承、方法重写和抽象类是如何支持多态性的。