扩展方法返回类型的 Java 泛型

Question

看看这三个类。Minatchi 允许扩展自身，这样它的方法的返回类型也可以扩展。为了说明，我使用了静态方法。

public class Minatchi<T extends Minatchi<?>>{

  static public <T extends Minatchi<?>>
    List<T> listAll(){
      return
        (List<T>) query();
  }
}

所以我将 Minatchi 子类化为 Lady

public class Lady
extends Minatchi<Lady>{

}

这是有问题的行为发生的地方。

public class HelloMinatchi{

  private void listA(){
    List<Lady> uvs = Lady.listAll();
    for (Lady uv: uvs){
      logger.info(uv.getName() );
    }
  }

  private void listB(){
    for (Lady uv: Lady.listAll()){
      logger.info(uv.getName() );
    }
  }
}

方法 listA 和 listB 本质上是一样的。listA 将列表放入中间变量 uvs，而 listB 直接将 listAll 放入 for 循环 header 中。

但是，对于 listB，编译器会提示 Cannot convert Minatchi to Lady。

所以这个问题是关于 Java 泛型的设计完整性的。又一个泛型提示。

这是有意的设计特性还是无意的设计错误，Java 泛型设计者不知道如何解决。如果是故意的，他们为什么要这样做？如果有错误，他们是否计划解决它？

或者这是我个人的问题，我不知道声明泛型的更好方法？如果是这样，请告诉我怎么做。

(我使用了一个通用的 Minatchi 类，因为我也有非静态方法要暴露给类扩展，我在问题中遗漏了这一点。)

Answer 1

静态方法不采用类的泛型类型定义。即 listAll()方法不知道 Lady (在 extends Minatchi<Lady> 中)。

它的返回类型由表达式的左侧推断:

• 在listA()左侧定义它期望 List<Lady>
• 在listB() forEach 循环看起来也应该期待一个 Lady ，但似乎没有正确指示编译器使用 forEach 循环。

制作方法listB()工作是告诉它使用什么通用类型:

for (Lady uv : Lady.<Lady>listAll()) {..}