为何Java中调用泛型接口原始类型的getType()会产生警告？

代码定义 #

实现类GClass #

public class GClass implements GInterface<Impl> {
    // other code
    @Override
    public Class<SomeClass> getType() {
        return SomeClass.class;
    }
}

泛型接口GInterface #

public interface GInterface<T extends OtherClass> {
    // other code
    Class<SomeClass> getType();
}

问题描述 #

当用以下方式调用getType()时，编译器会产生警告：

GInterface gi = new GClass();
Class<SomeClass> type = gi.getType(); // <- 产生警告

明明getType()的返回值是静态定义的Class<SomeClass>，没有使用泛型参数T，为什么编译器会认为这个调用不安全？

后续发现问题和变量的类型参数有关：

• 以下代码会产生警告：

GInterface gi = new GClass();
Class<SomeClass> type = gi.getType(); // <- 产生警告

• 以下代码无警告：

GInterface<?> gi = new GClass();
Class<SomeClass> type = gi.getType(); // <- 无警告

原因分析 #

这是Java对原始类型和通配符泛型类型的处理逻辑不同导致的：

1. 原始类型（Raw Type）的特性：
   当你使用GInterface这种不带泛型参数的原始类型时，编译器会将其视为非泛型代码（为兼容Java 5之前的老代码），此时会禁用所有泛型相关的类型检查机制。即使getType()的返回值不依赖泛型参数T，编译器也会把该方法的返回值视为原始类型Class，而非Class<SomeClass>。当你将这个原始类型的返回值赋值给Class<SomeClass>变量时，就会触发unchecked cast的警告——编译器无法确认这个原始类型实例的getType()返回的确实是Class<SomeClass>（虽然逻辑上我们能确定，但原始类型的处理是“一刀切”的）。

2. 通配符泛型类型的特性：
   当你使用GInterface<?>这种带通配符的泛型类型时，它是合法的泛型类型，编译器会保留泛型相关的类型信息。由于getType()的返回值定义和泛型参数T无关，编译器可以明确确定该方法的返回值就是Class<SomeClass>，因此赋值操作是类型安全的，不会产生警告。

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