Questão de Programação — Programação Orientada a Objetos — Avança SP 2024

Polimorfismo na Programação Orientada a Objetos

Gabarito: letra C. O polimorfismo, um dos pilares da POO, permite que subclasses definam comportamentos exclusivos (sobrescrita/override) e compartilhem funcionalidades da superclasse (herança), mas não implica que subclasses sejam executadas independentemente de classes maiores — elas dependem da hierarquia de herança. Portanto, apenas as afirmativas I e II são válidas.

O polimorfismo é um conceito fundamental da programação orientada a objetos, que significa literalmente "muitas formas" (do grego poli = muitas, morphos = formas). Na prática, ele permite que objetos de classes diferentes respondam ao mesmo método de maneiras distintas, ou que uma referência de um tipo mais abstrato (superclasse) possa apontar para objetos de tipos mais concretos (subclasses). Isso é possível graças à herança, que estabelece uma relação "é-um" entre classes, e ao mecanismo de ligação tardia (late binding), que decide em tempo de execução qual implementação do método será chamada.

Existem quatro tipos principais de polimorfismo, conforme a literatura clássica:

A afirmativa I está correta porque, por meio da sobrescrita (override), uma subclasse pode fornecer uma implementação específica de um método herdado, definindo seu próprio comportamento. A afirmativa II também está correta, pois a herança garante que a subclasse compartilhe os métodos e atributos da superclasse, podendo utilizá-los diretamente ou estendê-los. Já a afirmativa III está incorreta: as subclasses dependem da superclasse na hierarquia de herança — elas não são executadas "independentemente de classes maiores". A independência total contraria o próprio princípio da herança, que estabelece uma relação de dependência estrutural.

A pegadinha desta questão está em confundir o polimorfismo com a independência total entre classes. O polimorfismo promove o desacoplamento entre objetos que usam as classes, mas as subclasses permanecem acopladas à superclasse pela relação de herança. Guarde essa distinção: é exatamente nela que as alternativas se dividem.

Item I — ✅ Correto

As subclasses podem definir seus próprios comportamentos exclusivos. Isso é a essência da sobrescrita (override), um dos mecanismos do polimorfismo por inclusão. A subclasse herda os métodos da superclasse, mas pode redefini-los para atender às suas necessidades específicas. Por exemplo, uma classe Animal pode ter o método emitirSom(), e as subclasses Cachorro e Gato o sobrescrevem para emitir sons diferentes.

Item II — ✅ Correto

As subclasses compartilham funcionalidades da superclasse por meio da herança. Esse compartilhamento é a base do polimorfismo: como a subclasse é um tipo da superclasse (relação "é-um"), ela pode ser tratada como tal, e os métodos herdados podem ser invocados de forma polimórfica. Isso permite reutilização de código e extensibilidade.

Item III — ❌ Incorreto

As subclasses não podem ser executadas independentemente de classes maiores. A herança cria uma dependência estrutural: a subclasse depende da superclasse para herdar seus membros. Sem a superclasse, a subclasse não existe como tal. A afirmativa confunde o desacoplamento promovido pelo polimorfismo (entre quem usa as classes) com a relação de dependência interna da hierarquia de herança.

Gabarito: letra C — corretos apenas os itens I e II.