Type Inference

This message was edited 1 time. Last update was at 06/02/2008 23:21:17

Alguém sabe me explicar se o java tivesse "Type Inference" eu poderia transformar esse código:

nesse, por exemplo?

ou nesse, por exemplo?

Ficaria melhor, concordam?

Considerando que a última chamada seria feita com inferência com base em genéricos e os genéricos do Java não existem no código compilado (isso aí na última linha viraria um cast) eu acho um tanto quanto complicado, mas não impossível.

Pra ter inferência de tipos com base em genéricos o Java precisaria de uma implementação de genéricos um pouco mais "real" e com menos gambiarras.

Maurício Linhares wrote:Considerando que a última chamada seria feita com inferência com base em genéricos e os genéricos do Java não existem no código compilado (isso aí na última linha viraria um cast) eu acho um tanto quanto complicado, mas não impossível.

Exatamenta! Isso dai acabaria virando um cast, mas em compensação seria mais performático que fazer isso em runtime, não?

Maurício Linhares wrote:Pra ter inferência de tipos com base em genéricos o Java precisaria de uma implementação de genéricos um pouco mais "real" e com menos gambiarras.

Não entendi! Quais seriam as gambiarras na sua opinião e o que seria esse "um pouco mais real"?

Virtual Machine Man Membro desde: 18/03/2005 16:13:17 Mensagens: 736 Offline

ASOBrasil wrote:
Context jndi = getInitialContext( ); Object ref = jndi.lookup("MyBean/remote"); MyBeanRemote agent := PortableRemoteObject.narrow(ref, MyBeanRemote.class);

Tirando o ":", isso já é possível fazer com generics, já que Class tem um método cast() : T.

ASOBrasil wrote:
Context jndi = getInitialContext( ); Object ref = jndi.lookup("MyBean/remote"); agent := PortableRemoteObject.narrow(ref, MyBeanRemote.class);

Fazer isso seria possível com type inference sim. Já que você perguntou via PM como ficaria em Scala, seria algo como:

Moderador Membro desde: 29/07/2004 16:10:13 Mensagens: 17543 Offline

Faltou fazerem a adaptação de javax.rmi.PortableRemoteObject para generics. Ela deveria ser:

Assim poderíamos ter:

Notícias, artigos e o maior fórum brasileiro sobre Java