Questão de Engenharia de Software — Orientação a Objetos — FUNDATEC 2023
Engenharia de Software›Orientação a Objetos
Código
qq897104
Banca
FUNDATEC
Órgão
PROCERGS
Ano
2023
Nível
Superior
Cargo
ANC - Analista em Computação - Ênfase em Ciências de Dados
Qual é o tipo de polimorfismo no qual um objeto genérico pode fazer uso de um objeto mais específico posteriormente?
AInclusão.
BTransformers.
CParamétrico.
DCoersão.
EEstrutural.
Revelar gabarito e comentário▾
GabaritoA — Inclusão.
Comentário gerado por IA. É um apoio ao estudo, ancorado em fontes, mas pode conter imprecisões — confira sempre na fonte oficial (lei, súmula, edital e gabarito da banca). Encontrou um erro? Use “Reportar”.
Polimorfismo em Orientação a Objetos
Gabarito: letra A. O polimorfismo por inclusão (ou subtipagem) é o tipo em que um objeto genérico (referência de superclasse) pode apontar para um objeto mais específico (instância de subclasse) em tempo de execução, permitindo que métodos sejam chamados de forma polimórfica. É o tipo mais básico e essencial da programação orientada a objetos.
A questão cobra a classificação dos tipos de polimorfismo. O conteúdo de apoio descreve:
Tipos de polimorfismo: Universal (inclusão e paramétrico) e Ad-Hoc (sobrecarga e coerção).
Inclusão é justamente a capacidade de uma referência de tipo pai referenciar um objeto de tipo filho, como em Java: List lista = new LinkedList();.
Alternativa A — ✅ Correta ⟵ GABARITO
A definição apresentada na questão — "um objeto genérico pode fazer uso de um objeto mais específico posteriormente" — descreve exatamente o polimorfismo por inclusão, onde a referência é de um tipo abstrato (genérico) e o objeto real é de uma subclasse (específico).
Alternativa B — ❌ Incorreta
"Transformers" não é um tipo de polimorfismo reconhecido na literatura de orientação a objetos. É um distrator sem fundamento técnico.
Alternativa C — ❌ Incorreta
O polimorfismo paramétrico está relacionado ao uso de generics ou templates, que permitem que classes e métodos operem com tipos parametrizados. Não se trata de referência genérica para objeto específico, mas sim de abstração de tipo em tempo de compilação.
Alternativa D — ❌ Incorreta
Coerção (ou conversão implícita) é um tipo de polimorfismo ad-hoc que ocorre quando um tipo é automaticamente convertido em outro, por exemplo, int para double. Não envolve hierarquia de classes ou objetos genéricos.
Alternativa E — ❌ Incorreta
Polimorfismo estrutural não é uma categoria clássica na POO. Alguns autores usam o termo para descrever tipos que são compatíveis por sua estrutura, mas o enunciado se refere claramente ao polimorfismo por inclusão, que é comportamental e baseado em herança.
NÃO CAIA NESSA!
A banca pode tentar confundir o candidato entre inclusão e paramétrico. Lembre-se: inclusão é sobre herança e subtipagem (relação "é um"); paramétrico é sobre generalização de tipos via templates/generics (não depende de herança).