Java：原始匿名类在其方法中丢失了泛型类型

Question

Java 编译器的这种行为让我有点不知所措。有人可以解释为什么会这样吗？考虑这个例子：

public static abstract class GenericClass<A extends GenericClass<A>> {
  protected abstract void method();
  protected <B> B getB(Class<B> bclass) {
    return null;
  }
}
// ...
GenericClass<?> gc = new GenericClass() {
  @Override
  protected void method() {
    String s = getB(String.class); // does not compile
  }
};
String s = gc.getB(String.class);  // compiles

由于new 中没有给出泛型参数，匿名类继承自原始类型GenericClass。即使方法getB 没有提及A，通用信息仍然丢失并且方法调用无法编译。为什么会这样？

此外，我无法为new 指定泛型参数的原因是因为它应该是匿名类本身，但我无法命名匿名类来传递它。我该如何正确地做到这一点？

Answer 1

存在原始类型是为了与泛型存在之前的代码兼容。它们被视为对所有通用事物的完全“退出”。如果您想要泛型，请不要使用原始类型。这就是语言设计的意图。

这里的解决方案是给类命名。是的，类可以出现在方法和其他语句块中；这样的东西被称为本地类。匿名类基本上是一个没有名字的本地类——本地类可以做任何匿名类可以做的事情。

String thisIsFine() {
    var cell = new Object() { String s; }; // example local variable to show local classes can access them
    class GenericImpl extends GenericClass<GenericImpl> {
       @Override
       protected void method() {
           cell.s = getB(String.class);
       }
    }
    new GenericImpl().method();
    return cell.s;
}