genéricos de Java: ¿por qué someObject.getClass() no devuelve Class <? extends T>?

Question

Supongo que, desde el momento de la compilación, así como desde el aspecto del tiempo de ejecución, no sería un problema para .getClass() proporcionar un valor de retorno correctamente tipado.

Pero debo estar equivocado.

public class _GetClassGenerics2 { 

    static class MyClass { 
    } 

    public static void main(String[] args) { 
    MyClass myInstance = new MyClass(); 
    // here it works 
    Class<? extends MyClass> type = myInstance.getClass(); 

    myMethod(myInstance); 
    } 

    public static <T extends MyClass> void myMethod(T instance) { 
    Class<? extends T> type = instance.getClass(); 
// java.lang.RuntimeException: Uncompilable source code - incompatible types 
// required: java.lang.Class<? extends T> 
// found: java.lang.Class<capture#1 of ? extends _GetClassGenerics2.MyClass> 
    } 

} 

EDIT: no funciona con Class<T> y Class<? super T> tampoco.

Answer 1

Según the Javadoc of the getClass method:

El tipo de resultado real es Class<? extends |X|> donde | X | es la borradura del tipo estático de la expresión en la que se llama getClass.Para ejemplo, no se requiere un molde en este fragmento de código

En este caso, el valor de |X| en el fragmento de código es MyClass, por lo tanto, instance.getClass() es asignable a solamente Class<? extends MyClass> o Class<?>.

La razón de esta redacción específica es porque cuando se dice que para esta variable que tiene tipo T, donde <T extends MyClass>, puede haber varias clases que se extienden MyClass y por lo tanto capaces de satisfacer los criterios T extends MyClass. Sin información de tiempo de ejecución no hay forma de saber qué subclase de implementación concreta de MyClass se aprobó en el método. Por lo tanto, para proporcionar una solución genérica, devuelve <? extends MyClass> ya que eso sería válido para cualquier subclase de MyClass independientemente de qué instancia de clase se pase.

Answer 2

Java no admite un tipo genérico de < esto> p.

objeto podría implementar

class Object { 
    Class<this> getClass() 
} 

Pero no hay manera de getClass() para expresar que le proporcione un tipo que es la clase del objeto. El compilador tampoco tiene conocimientos nativos de lo que hace este método.

En mi humilde opinión, Este comportamiento debería haber sido admitido.

Answer 3

En lugar de

Class<? extends T> type = instance.getClass(); 

es necesario utilizar

Class<? extends MyClass> type = instance.getClass(); 

No se puede utilizar directamente el T aquí.

El motivo es la firma del método Object.getClass() (que está invocando). Es:

public final Class<? extends Object> getClass() 

Así que están tratando de convertir de Class<? extends Object> a Class<? extends T>, que no está permitido (ya que se han reducido de fundición). Se es permitido el uso de una conversión explícita:

Class<? extends T> type = (Class<? extends T>) instance.getClass(); 

va a funcionar (aunque se genera un aviso de seguridad de tipo).

Answer 4

java.lang.Class no representa un tipo (use java.lang.reflect.Type para eso). Si T, digamos ArrayList<String>, entonces no tiene sentido que haya un Class<ArrayList<String>>.

Vale la pena señalar que en este caso particular no es necesario que el método sea genérico.

public static <T extends MyClass> void myMethod(T instance) { 

es equivalente a:

public static void myMethod(MyClass instance) {