interfaces Java y tipos devueltos

Question

Considere tengo la siguiente interfaz:

public interface A { public void b(); } 

Sin embargo quiero cada una de las clases que implementan para tener un tipo de retorno diferente para el método b().

Ejemplos:

public class C { 
    public C b() {} 
} 

public class D { 
    public D b() {} 
} 

¿Cómo defino mi interfaz para que esto fuera posible?

Answer 1

Si el tipo de retorno debe ser el tipo de la clase que implementa la interfaz, lo que quiere que se llama un F-bounded type:

public interface A<T extends A<T>>{ public T b(); } 

public class C implements A<C>{ 
    public C b() { ... } 
} 

public class D implements A<D>{ 
    public D b() { ... } 
} 

En palabras, A declara un parámetro de tipo T que asuma el valor de cada tipo de concreto que implementa A. Esto se usa generalmente para declarar cosas como clone() o copy() métodos que están bien tipados. Como otro ejemplo, es usado por java.lang.Enum para declarar que el método compareTo(E) heredado de cada enum aplica solo a otras enumeraciones de ese tipo en particular.

Si utiliza este patrón con la suficiente frecuencia, se encontrará con escenarios en los que necesita this para ser del tipo T. A primera vista podría parecer obvio que es , pero usted necesita realmente para declarar un método abstract T getThis() el que los ejecutores tendrán que implementar trivialmente como return this.

[1] Como comentaron los comentaristas, es posible hacer algo furtivo como X implements A<Y> si X y cooperan adecuadamente. La presencia de un método T getThis() hace aún más claro que X está eludiendo las intenciones del autor de la interfaz A.

Answer 2

genéricos.

public interface A<E>{ 
    public E b(); 
} 

public class C implements A<C>{ 
    public C b(){ 
     return new C(); 
    } 
} 

public class D implements A<D>{ 
    public D b(){ 
     return new D(); 
    } 
} 

buscar hasta genéricos para más detalles, pero (muy), básicamente, lo que sucede es que A deja E 's escriba hasta las clases de aplicación (C y D).

Así que, básicamente, una no sabe (y no tiene que saber) lo que E podría estar en cualquier aplicación dada.

Answer 3

Desde Java supports covariant return types (desde Java 1.5), que puede hacer:

public interface A { public Object b(); }