Java泛型类型继承、List元素类型推断

Question

我有以下单级继承。我无法理解的一件事是，getLine() 被推断为BaseLine，因为BaseDocument<T extends BaseLine> 而没有强制转换。但是对于列表，这不适用，每个元素都返回为Object。我的问题是：

1. 为什么编译器不能将元素类型推断为BaseLine。

2. 如何更改实现，以便在迭代时获取元素为 BaseLine。

    public void test(){
        BaseDocument baseDocument = new Document();
        for (Object orderLine : baseDocument.getOrderLines()) {
   
        }
   
        BaseLine line = baseDocument.getLine();
    }
   
   
    static class Document extends BaseDocument<Line> {
        @Override
        public List<Line> getOrderLines() {
            return null;
        }
   
        @Override
        public Line getLine() {
            return null;
        }
    }
   
    static abstract class BaseDocument<T extends BaseLine> {
        public abstract List<T> getOrderLines();
        public abstract T getLine();
    }
   
   
    static class Line extends BaseLine {
    }
   
    static abstract class BaseLine {
    }
   

Answer 1

当你有：

BaseDocument baseDocument = new Document();

您正在使用 原始类型。原始类型会删除类中的所有通用信息。这包括其他泛型类型。所以有了上面的内容，就好像这个类是这样写的：

static abstract class BaseDocument {

  public abstract List getOrderLines();

  public abstract BaseLine getLine();
}

List 的类型参数隐含地由Object 限定，因此擦除为Object。

你不应该使用原始类型，除非你被遗留代码（在 Java 5 之前编写）强制使用。如果您不想给出实际类型，请使用通配符：

BaseDocument<?> baseDocument = new Document();
for (BaseLine orderLine : baseDocument.getOrderLines()) {
  // do something...
}

您可以保留BaseDocument 的实现原样。

Answer 2

编辑：在我看来，这个答案更不安全。检查@Slaw 的答案以获得更好的解释。正如作者所解释的，它也有缺陷。选择答案时要注意复杂性

原因在这一行BaseDocument baseDocument = new Document(); BaseDocumet<T extends BaseLine> 是泛型类型，需要声明其类型，否则无法推断 T 的类型，因此它会自动解析为 Object。

解决问题的一种方法是将baseDocument.getOrderLines() 转换为List<BaseLine>：

List<BaseLine> lines = baseDocument.getOrderLines(); 这将引发uncheked cast 警告，但项目将编译