Covariant return types

This message was edited 1 time. Last update was at 20/12/2007 21:42:09

Pessoal,

fazendo um simulado aqui me deparei com isso:

"Covariant return types allow the subclass method to return a subclass of the return type of the superclass method"

nao entendi mto bem...

alguem poderia dar exemplos?

retorna um tipo que filho da superclass.

Posso subscrever meu metodo com o tipo de retorno.. desde que ele passe no teste É-UM.

JavaChild Membro desde: 02/09/2007 18:53:15 Mensagens: 112 Offline

Mais um exemplo...

Preste atenção no tipo de retorno na assinatura do método testar nas classes A e B, o tipo de retorno declarado do método da classe B é um subtipo do tipo de retorno declarado do método da classe A (class B extends A). Se quiser copie o código e execute-o, veja o resultado e depois se quiser modifique-o e faça seus próprios testes.

GUJ Master Membro desde: 30/07/2007 22:43:05 Mensagens: 1151 Offline

Saída:
método da superclasse
método da subclasse
método da subclasse

Eu pensei que retorno covariante tinha haver com isso:

public B testar(){ //retorno covariante
System.out.println("método da subclasse");
return new B();
}

Se isso não é retorno covariante o que seria?

No método raca(); é esperado a classe pai mas retorno o filho!

Seria o mesmo que: B b = new A();

anderson isso é retorno covariante sim... se você tiver uma superClasse A que tenha um metodo e um subclasse B, com um metodo subscrito dessa maneira...
O retorno covariante diz que aceita qualquer sub tipo do metodo original da superClass

Acha que isso é um retorno cavariante ???

melhor dizendo acha que isso é uma subscrição válida ?

Seria o mesmo que: B b = new A();

como assim amigo... isso daria erro não ? Supondo de A é superCLasse e B e SubClasse ?

Virtual Machine Man Membro desde: 12/09/2006 08:26:06 Mensagens: 674 Offline

Raff wrote:

Seria o mesmo que: B b = new A();

como assim amigo... isso daria erro não ? Supondo de A é superCLasse e B e SubClasse ?

dá erro sim...

This message was edited 1 time. Last update was at 21/12/2007 10:05:44

everson_z wrote:No método raca(); é esperado a classe pai mas retorno o filho!

Seria o mesmo que: B b = new A();

class Animal{ Animal raca(){ return null; } } class Dog extends Animal{ Animal raca(){ return new Dog(); } }

caramba, cada um postando uma coisa...

isso seria a mesma coisa?!

ou TEM que manter o tipo de retorno como sendo da superclasse?

GUJ Master Membro desde: 30/07/2007 22:43:05 Mensagens: 1151 Offline

No meu entendimento isso seria só Polimofismo.

E isso seria retorno covariante.

public Dog comer(){
new Dog();
}

Eu tbm acho anderson !!!!!!!!!

tem certeza disso?

entao pq isso nao compila:

bom sabemos que short é um inteiro.. posso colocar um short dentro de um inteiro, e um inteiro dentro de um long mais pq isso nao funciona?

E outra retorno covariantes faz parte do polimorfismo...

flw!

GUJ Master Membro desde: 30/07/2007 22:43:05 Mensagens: 1151 Offline

Isso não compila:

Mais isso compila:

Isso não trata de retorno covariante e sim de sobrescrição inválida. Quando vc muda o tipo vc está quebrando as regras da subscrição que diz q o metodo tem permanecer o mesmo e o tipo de retorno tem que ser mais publico que neste caso não tem como ser mais publico já que public é o mais publico de todos.

1.public
2.protected
3.default
4.private

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