Dúvida Retornos covariantes

This message was edited 1 time. Last update was at 11/04/2008 07:47:43

Pessoal, lendo o livro da Kathy, página 75 sobre os retornos covariantes surgiu uma dúvida no seguinte exemplo.

Este seria, segundo o livro, um tipo de retorno covariante.
Mas o método sobrescrito(da superclasse) tem um tipo de retorno void, e o método sobrescritor(da subclasse) tem um tipo de retorno String.
Minha dúvida é se este código estaria errado, ou o tipo String seria um subtipo de void, estando este código correto??

Sinceramente acredito que o livro esteja errado, mas como não tenho certeza absoluta resolvi perguntar.
Obrigado.

eae rmlati.

pois bem... o exemplo citado a cima dá o seguinte erro :

"The return type is incompatible"

Alterar somente o tipo de retorno de um metodo, afim de sobescrever o mesmo, não é suficiente.

No caso de Tipos de Retorno Covariants, seria mais ou menos assim :

Espero que te ajude

Abraços

This message was edited 2 times. Last update was at 11/04/2008 07:10:12

No livro da Kathy o método que retorna uma String tem parametro, agora sim ele está (overload) não sei como está a tradução.

Mas no livro, o tema é sobre retornos covariantes de métodos sobrescritos, não tem nada a ver com métodos sobrecarregados.
Na verdade eu só queria saber se o tipo String é um retorno covariante para void.
De qq forma obrigado.

Bom, aqui no livro que estou lendo o exemplo que você citou está no tópico "Return Types on Overloaded Methods".

Já o do tópico "Overriding and Return Types, and Covariant Returns" seria este.

Abraço

This message was edited 2 times. Last update was at 11/04/2008 07:45:58

Valeu Gustavo tirou uma duvida minha tb.

GustavoLaguna wrote:Bom, aqui no livro que estou lendo o exemplo que você citou está no tópico "Return Types on Overloaded Methods".

public class Foo{ void go() { } } public class Bar extends Foo { String go(int x) { return null; } }

Já o do tópico "Overriding and Return Types, and Covariant Returns" seria este.
class Alpha { Alpha doStuff(char c) { return new Alpha(); } } class Beta extends Alpha { Beta doStuff(char c) { // legal override in Java 1.5 return new Beta(); } }

Abraço

A parte do livro que eu to falando é do capítulo 2 (livro português) pag 75 - A sobrescrição e os Tipos de Retorno; e Retornos covariantes.

Eu resolvi fazer um teste no Eclipse e este tipo de retorno não rola.
- The returns type is imcompatible with Foo.go()

Beleza

Oq o rmalati falou proceedi mesmo.

Estou usando a versão 1.6 do java. O exemplo deveria funcionar e nao funciona!

This message was edited 1 time. Last update was at 29/04/2009 10:15:19

Affz eu tbm fiquei com essa duvida ....
Como o rmalati disse ... o codigo da pagina 75 não compila no eclipse
Tentei ate mudar a fonte para 1.5 (pois la diz que nessa versão aquele tipo de sobrescrição era permitido xD)

Mais da o mesmo erro :
attemping to use incompatible return types

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

Puxa vida, o código não é para compilar mesmo. Está errado, e há uma errata (correção) do livro. Se você tivesse lido desde o começo teria visto que é só um erro do livro.

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