java - 为什么 Java 泛型不允许对泛型类型进行类型转换？

Question

public class Main {

    public static <T> void foo(T[] bar) {
        double d = (double) bar[0]; // Error : incompatible types
    }

    public static void main(String[] args) {
        int[] int_buf = new int[8];
        foo(int_buf);
    }
}

问题在代码中指出。

为什么 Java 泛型不允许对泛型类型进行类型转换？

Answer 1

问题比这更深。即使没有您突出显示的行，该程序也已损坏:

public class Main {
    public static <T> void foo(T[] bar) {
        // do nothing
    }

    public static void main(String[] args) {
        int[] int_buf = new int[8];
        foo(int_buf);   <-- problem is here
   }
}

Java泛型只支持引用类型作为类型参数；通用方法 foo() 可以重写如下:

<T extends Object> void foo(T[] bar) { ... }

这就是你的问题:没有 T 扩展 Object 使得 int[] 是 T[]。

其次，转换也失败的原因是我们对T一无所知，所以我们不知道存在从T到的转换双。