O conceito de polimorfismo no contexto de programação orientada a objetos é utilizado

quando supertipos herdam características de subtipos, ou seja, ocorre um reaproveitamento de código, fazendo-se com que propriedades em comum de objetos com tipos distintos sejam gerenciados em um local centralizado.

quando a implementação de um método de um objeto pode ser intercambiada sem a necessidade da utilização de herança ou de composição. Sendo assim, um mesmo objeto pode ter dois comportamentos com assinaturas de métodos distintas.

quando há uma entidade relacionamento entre dois objetos de tipos diferentes. Essa entidade relacionamento permite que sejam compartilhadas diferentes propriedades dos dois objetos em uma relação de muitos para muitos.

quando se permite escrever programas que processam objetos que compartilham a mesma superclasse, direta ou indiretamente, como se todos fossem objetos da superclasse.