Some casts result in an error at compile time. Some casts can be proven, at compile time, always to be correct at run time. For example, it is always correct to convert a value of a class type to the type of its superclass; such a cast should require no special action at run time. Finally, some casts cannot be proven to be either always correct or always incorrect at compile time. Such casts require a test at run time. See for §5.5 details.

entanglement wrote:
Ao ler a expressão, ele cria uma árvore sintática abstrata (AST, "Abstract Syntax Tree") e vai atribuindo os tipos a cada nó dessa árvore. Ao ver a expressão "new Tree()", ele cria um nó para essa expressão, cujo tipo é Tree.

entanglement wrote:
Só que o compilador não guarda a informação de que o tipo dessa expressão é EXATAMENTE Tree (não pode ser uma subclasse de Tree). Acho que isso é feito porque o caso em que é necessário saber esse tipo de informação é só necessário quando usar algumas particularidades do Generics (lembra-se daquelas histórias de "super T" ou "extends T" que você vê às vezes? Pois é...)

Portanto, como você está fazendo um "upcast" (cast de uma expressão cujo tipo é Tree, ou seja, o objeto retornado por essa expressão tem o tipo Tree ou então um tipo que é uma subclasse de Tree), ele simplesmente põe um "run-time check" em vez de reclamar que o cast não pode ser efetuado. E é por isso que eu pus a expressão equivalente "newTree" porque o compilador guarda exatamente a mesma descrição para o tipo dessa expressão para "new Tree()" ou "Tree newTree()".

entanglement wrote:O código abaixo roda e funciona direitinho. Por que é que você disse que ele é absurdo?
public static Tree newTree() { return new Redwood(); } ... Tree t = (Redwood) newTree();