Что такое полиморфизм в Java?

Полиморфизм — способность объекта принимать разные формы. В Java два вида: compile-time (overloading — перегрузка методов с разными параметрами) и runtime (overriding — переопределение метода в наследнике). Runtime полиморфизм работает через виртуальную таблицу методов — JVM в рантайме определяет, какой метод вызвать по реальному типу объекта, а не по типу ссылки. Animal a = new Cat(); a.speak() — вызовется Cat.speak(). Это основа для паттернов Strategy, Template Method.