Получите общий класс во время компиляции

Question

Хотя я знаю, что вы не можете получить тип родового во время выполнения из-за стирания стилей, мне было интересно, можно ли его получить во время компиляции.

class ObjectHandle<T extends ObjType> { 
    T obj; 
    void setObj(T o) { 
     obj = o; 
    } 
} 

class ObjType {} 
class SubObjType extends ObjType {} 

... 
ObjectHandle<SubObjType> handle = new ObjectHandle<SubObjType>(); 
... 
ObjType obj = [method that returns an ObjType]; 
if(obj instanceof [handle's generic class, here SubObjType]) { 
    handle.setObj(obj); // cast??? 
} 

Здесь компилятор знает тип родового из handle и то, что я хочу что-то, так что я не должен изменить тип handle и instanceof чека (и отливы), когда я решил изменить класс (в коде, а не во время выполнения, конечно).

Answer 1

Поскольку родовые типы подвергаются стиранию, вам нужно указать java.lang.Class где-то в коде. Один из способов передать его общий метод:

ObjType obj = /*...*/; 
handleObj(obj, SubObjType.class); 

// ... 

private <T extends ObjType> void handleObj(ObjType obj, 
              ObjectHandle<T> handle, 
              Class<T> handleableObjClass) { 
    if (handleableObjClass.isInstance(obj)) { 
     handle.setObj(handleableObjClass.cast(obj)); 
    } 
} 

Если вы не знаете, что подклассы из ObjType вы ищете, вам нужно будет добавить свойство reifiable класса в ObjectHandle, подобно тому, как Java .util.EnumSet и java.util.EnumMap сделать это:

class ObjectHandle<T extends ObjType> { 

    T obj; 

    private final Class<T> objectClass; 

    ObjectHandle(Class<T> cls) { 
     objectClass = Objects.requireNonNull(cls); 
    } 

    Class<T> getObjectClass() { 
     return objectClass; 
    } 

    void setObj(T o) { 
     obj = o; 
    } 
} 

// ... 
ObjectHandle<SubObjType> handle = new ObjectHandle<SubObjType>(); 
// ... 

ObjectType obj = /*...*/; 
if (handle.getObjectClass().isInstance(obj)) { 
    handle.setObj(handle.getObjectClass().cast(obj)); 
}