public class animal {
public void shou() {
System.out.println("叫了一声");
}
}
public class cat extends animal{
//什么都没有
}
public class dog extends animal {
//什么都没有}
public class test {
public static void main(String[] args) {
animal a=new animal();
animalcry(a);
cat b=new cat();
animalcry(b);
dog c=new dog();
animalcry(c);
}
static void animalcry(animal a) {
a.shou();
}
}
子类没有重写，一样实现了多态。为什么还说重写是必要条件呢

这个问题嘛 不知道咋解释 俺学的也不是很深 不过你有没有发现 你写这些个继承有什么意义嘛？

动物是叫，但是没说明怎么叫，如果你子类狗重写了叫方法，你不就可以重写成狗汪汪汪的叫？狗叫和动物叫是一样的吗？所有动物叫起来都一个样？重写不就是为了具体写出每种动物的叫法吗？

其实多态的最常见的目的是为了扩展性。
比如说一个list接口，jdk有各种自带实现，但是你自己也可以通过实现list接口去做各种扩展。别人也可以去依赖你的拓展，但一切都是基于list接口的标准。
更贴近实际开发的例子就是lambda表达式了，每一个lambda表达式（本质是匿名内部类）都是多态用途的典型体现。其他诸如mybatis的sql拦截钩子之类的也是同样的道理。通过接口达成标准化最终实现高拓展性是多态的目的。

animal a=new dog() a.shou() 这是多态，a对象同时具有动物和狗两种状态，所有方法都不重写的话(仅考虑父子类都存在的方法)，那么意味着至少在这个程序中，狗不能独立于动物成为一种新状态，我是这样想的可能有错，另一个想法是一个动物对象可以被创建为猫对象，也可以被创建为狗对象，一个对象可以有多种状态