Solucionado
A resposta do exercício leva em consideração que sempre é aplicado o método de acordo com a particularidade mais específica ao objeto, certo, mas, no caso, o objeto é criado tipificado com a classe mais geral, instanciando a classe mais particular. Quando é assim, o objeto não perde as particularidades específicas dele por ser do tipo mais genérico?
Isso que eu quero dizer::::: "Quem define o que podemos chamar é a referência, que é do tipo Funcionario, e a classe Funcionario realmente não tem esse método."
Olá Camila, tudo bem com você?
O que acontece é que enquanto estamos escrevendo o nosso código, o Java enxerga apenas o TIPO da referência - como o Funcionario, por exemplo.
Agora, ao executarmos o nosso programa, é considerado apenas o que está DENTRO dessa referência! Em outras palavras, embora esteja correto dizer que "quem define o que podemos chamar é a referência", o método a ser chamado é definido em tempo de execução de acordo com o tipo do objeto. Portanto, no caso do Veiculo m = new Moto(), apesar da referência ser do tipo Veiculo, o tipo do objeto que será considerado na execução do programa é a Moto!!
Essa é a forma como o Polimorfismo é aplicado em Java, como o seu nome já diz: poli = muitas, morphos = formas. Então, embora as referências m e c do exercício sejam do tipo Veiculo, dependendo de suas implementações (Moto ou Carro), seus comportamentos podem mudar durante a execução do programa! ;)
Algo que pode deixar mais claro é analisando o seguinte exemplo:
Funcionario g = new Gerente();Apesar de estarmos declarando que a referência g é um Funcionario, nós sabemos que na verdade não existe nenhum Funcionario de verdade nesse programa já que, por de baixo dos panos, nós estamos instanciando apenas o Gerente lá na memória da nossa máquina! E se é assim, então não tem como chamarmos o método m.liga() de Funcionario sendo que nunca criamos o objeto dele.
Espero que isso ajude. Se ficou alguma dúvida é só avisar!
Abraços e bons estudos!!