java - 泛型 - 类型推断和类型删除

Question

使用 Java SE-1.7 编译的代码给出以下输出(如下)。我的理解，推断的值类型应该是Object，怎么会识别出String和Integer类型呢？

public class Generics1 {

    public class Pocket<T>{
      public T value;
      public void set( T value ) { this.value = value; }
      public void set( String value ) { this.value = (T)value; } //warning
    }

    public static void main(String[] args) {

        Pocket<Object> intPocket =  new Generics1().new Pocket<>();

        intPocket.set("foo");
        System.out.println(intPocket.value);
        System.out.println(intPocket.value.getClass().getName());

        intPocket.set(12);
        System.out.println(intPocket.value);
        System.out.println(intPocket.value.getClass().getName());
    }
}

输出:

foo
java.lang.String
12
java.lang.Integer

Answer 1

value.getClass() 返回 value 引用的对象的运行时类型。

存储在Object类型字段中的Integer仍然是一个Integer。