Как верный тип объекта возвращается, хотя тип Erasure уменьшил T до объекта

Question

Вот как метод returnObj способен возвращать объект типа типа TestGen, даже если «Тип Erasure» уменьшил T до Object ,

class TestGen 
{ 

} 

class MyGeneric<T> 
{ 
    T obj; 
    MyGeneric(T giveObj) 
    { 
     obj = giveObj; 
    } 

    T returnObj() 
    { 
     return obj; 
    } 

} 
public class TestGeneric { 

    public static void main(String[] args) { 
     MyGeneric<TestGen> mg = new MyGeneric<TestGen>(new TestGen()); 
     TestGen tg = mg.returnObj(); 

    } 

} 

Answer 1

Это обман все составителя: поскольку компилятор знает, что параметр типа MyGeneric «s является TestGen, он спокойно вставляет тип ввергнуть за сценой. Если вы декомпилировать обратный вызов от байткода, это будет выглядеть примерно так:

TestGen tg = (TestGen)mg.returnObj(); 

Компилятор подтвердил, что вызов будет иметь успех во время выполнения.