Referências da superclasse e objetos da subclasse

• Java é uma linguagem fortemente tipada.

• Conversões padrão e promoções automáticas são aplicadas aos tipos primitivos.

• A compatibilidade de tipos é rigorosamente imposta.

• Normalmente, uma variável de referência de uma classe não pode referenciar um objeto de outra classe.

• Mesmo que as classes X e Y sejam estruturalmente iguais, não é possível atribuir uma referência de X a um objeto de Y porque os tipos são diferentes.

• Em geral, uma variável de referência de objeto só pode referenciar objetos de seu tipo.

• A exceção à imposição de tipos é que a variável de referência de uma superclasse pode referenciar objetos de qualquer subclasse derivada dessa superclasse.

• Como Y é derivada de X, é permitido que x2 receba uma referência a um objeto de Y.

• O tipo da variável de referência, e não o tipo do objeto que ela referencia, determina os membros que podem ser acessados.

• Quando uma referência a um objeto da subclasse é atribuída a uma variável da superclasse, só é possível acessar os membros definidos pela superclasse.

• No exemplo, x2 não pode acessar o membro b de Y, pois a classe X não tem conhecimento dos membros adicionados pela subclasse.

• Referências de subclasse atribuídas a variáveis da superclasse são comuns, especialmente ao chamar construtores em hierarquias de classes.

• Subclasses podem se beneficiar de construtores que recebem um objeto da superclasse como parâmetro, permitindo a criação de cópias de objetos.

• Nesse programa, t2 é construída a partir de t1 e, portanto, é idêntica.

• Atenção neste construtor de Triangle:
  // Constrói um objeto a partir de outro.
Triangle(Triangle ob) {
super(ob); // passa o objeto para o construtor de TwoDShape
style = ob.style;
}

• Ele recebe um objeto de tipo Triangle e o passa (por intermédio de super) para este construtor de TwoDShape:
  //Constrói um objeto a partir de outro.
TwoDShape(TwoDShape ob) {
width = ob.width;
height = ob.height;
}

• O construtor TwoDShape() espera receber um objeto do tipo TwoDShape.

• O construtor da subclasse Triangle() passa para ele um objeto do tipo Triangle.

• Isso funciona porque uma referência de uma superclasse, como TwoDShape, pode referenciar um objeto de uma subclasse, como Triangle.

• É aceitável passar uma referência de um objeto de uma classe derivada para um construtor da superclasse.

• O construtor da superclasse, TwoDShape(), só inicializa os membros pertencentes à classe TwoDShape, independentemente dos membros adicionais da subclasse Triangle.