Não é correto porque BB
é mais específico que AA
. Isso compilaria se você fizesse um castcast:
B oab = (B) new A ();
B oab = (B) new A ();
Isso porque, embora aqui seja o operador newnew
, um objeto que viesse de uma variável do tipo AA
poderia ter sido criada a partir de uma subclasse CC
que não fosse compatível com Bcom B
:
class C extends A{...}
A myA = new C (); B myB = myA; // aqui precisa falhar a computação
class C extends A{...}
A myA = new C ();
B myB = myA; // aqui precisa falhar a computação
Mas se você coloca o castcast basicamente está dizendo para o compilador confiar em você.