泛型-類型推斷和類型擦除

Question

用Java SE-1.7編譯的此代碼提供以下輸出（如下）。 我知道，值的推斷類型應該是Object，為什么會識別出String和Integer Types？

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引用的對象的運行時類型。

一個Integer存儲在類型的字段Object仍然是一個Integer 。

Answer 2

變量public T value的類型已刪除，因此本質上是public Object value 。 但是，即使您的變量沒有指定確切的類型， 實例本身仍然知道它是什么類。

例如

Object value = "bananas";
System.out.println(value.getClass().getName());

輸出：

java.lang.String