Dúvida no Ex. 5 da Aula 1 - Herança, reescrita e polimorfismo

Mauricio, Boa Tarde !

Seguinte no exercício o pergunta sobre o código abaixo correto ?

  Conta c = new Conta();
  Conta cc = new ContaCorrente();
  Conta cp = new ContaPoupanca();

é o seguinte , esse código ele roda perfeitamente , o que está acontecendo nesse trecho de código , ao chamar as variáveis cc e cpdo tipo conta , elas estão ficando mais genéricas , e a JVM consegue entender que cada conta é diferente , devido o fato da instancia ser de conta diferente ;

claro para isso acontecer é necessário que as classes seja filhas de Conta .

 Conta cc = new ContaCorrente();

essa linha corresponde exatamente a essa

ContaCorrente cc = new ContaCorrente();

nesse ultimo caso está especificando mais o tipo da variável .

conseguiu perceber ? fui claro na explicação ?

Espero ter ajudado, Bons estudos

Acho que deu para entender.

Upando o resolvido apenas para ampliar a discussão:

A JVM entende qualquer um dos objetos instanciados de Subclasses, como objetos do tipo da superclasse normalmente, o que nos permite da clarar, no exemplo supracitado uma new ContaCorrente(); como sendo do tipo Conta e assim sucessivamente