Java泛型无中间变量编译失败的疑问及相关问题

咱们先把你的代码贴出来方便分析：

public class GenericsAreWeird {
    public static void main(String... args){
        // 此代码正常
        Dog d = getIt();
        d.woof();
        // 此代码编译失败
        // getIt().woof();
        // 此代码编译通过但运行时抛出ClassCastException
        Cat c = getIt();
        c.meow();
    }
    private static <T extends Animal> T getIt(){
        return (T) new Dog();
    }
    public static class Animal {}
    public static class Cat extends Animal{
        public void meow(){}
    }
    public static class Dog extends Animal{
        public void woof(){}
    }
}

为什么Dog d = getIt();能通过编译？ #

这本质是泛型类型推断+擦除机制共同作用的结果：

1. 当你把getIt()的返回值赋值给Dog类型变量时，编译器会根据赋值目标自动推断泛型方法的类型参数T为Dog。此时编译器认为getIt()会返回Dog类型，所以允许赋值。
2. 但Java的泛型是擦除式泛型，运行时所有泛型类型信息都会被清除。你的getIt()方法在编译后会被擦除成这样：

   private static Animal getIt(){
       return (Animal) new Dog();
   }
   

   赋值给Dog d时，编译器会自动插入一个隐式的强制转换：Dog d = (Dog) getIt();。因为实际返回的对象确实是Dog，所以这个转换在运行时没问题。

而Cat c = getIt();能编译通过的原因类似：编译器推断T为Cat，但运行时getIt()返回的是Dog对象，隐式转换(Cat) getIt()就会抛出ClassCastException——这就是你疑惑的“编译通过但运行报错”的根源：编译器无法在编译时验证(T) new Dog()这个转换的安全性（因为T是类型参数，编译时不知道具体是什么），只会给你一个“未检查转换”的警告（如果开启了编译警告的话），把安全性的责任交给了你。

为什么Dog d = getIt(); d.woof();和getIt().woof();不等价？ #

核心还是类型推断的上下文不同：

• 前者有明确的赋值目标Dog d，编译器可以精准推断T=Dog，所以getIt()的返回类型被视为Dog，自然能调用woof()方法。
• 后者没有明确的目标类型，编译器只能根据泛型方法的上界T extends Animal推断T=Animal，而Animal类并没有woof()方法，所以编译直接失败。

如果想让后者通过编译，你可以显式指定类型参数，告诉编译器你要的是Dog类型：

GenericsAreWeird.<Dog>getIt().woof();

这样编译器就会把getIt()的返回类型视为Dog，就能正常调用woof()了。

泛型一直是这样工作的吗？ #

是的，Java从Java 5引入泛型开始，就采用了擦除式泛型的设计——这是为了兼容泛型出现之前的旧代码，但也确实带来了一些“反直觉”的场景，比如你遇到的这种编译时无法检测的转换错误。

其他编译器未检测到类相关错误的类似场景 #

除了你遇到的未检查泛型转换，还有这些常见情况：

• 未检查的集合类型转换：比如List<String> strList = (List<String>) new ArrayList<Object>();，编译时只会有警告，运行时如果往集合里加入非String元素，取出时强制转换就会报错。
• 原始类型的使用：比如直接用List而不是List<String>，可以往里面添加任何类型的对象，取出时如果强制转换为特定类型，很可能抛出ClassCastException。
• 泛型数组的强制转换：Java不允许直接创建泛型数组（比如new List<String>[10]会编译报错），但如果用List<String>[] arr = (List<String>[]) new List[10];这种强制转换，编译会有警告，运行时如果往数组里放入List<Integer>，后续操作就可能出错。
• 通配符类型的不当转换：比如List<?> list = new ArrayList<Integer>();，取出元素时只能转成Object，如果强行转成Integer，编译时会有警告，运行时如果集合实际类型不匹配就会报错。

内容的提问来源于stack exchange，提问作者codebox