如何使用泛型实现类型安全？

Question

我有课

public class ReportItem<ReportType extends Report>{ }

和班级

public abstract class Report implements Iterable<ReportItem>{

    private List<ReportItem<? extends Report> > itemList;

    public void add(ReportItem<? extends Report> item){
        itemList.add(item);
    }

    //Some other staff

}

public class ConcreteReport extends Report{ 
    //Some staff
}

问题是 add(ReportItem<? extends Report>) 方法不安全，因为我可以提供的项目与当前报告无关，但与其他报告相关，编译器不会抱怨。

是否可以以类型安全的方式编写方法 add，即我们可以仅将 ReportItem<T> 作为参数传递，其中 T 是当前报告的类型。

Answer 1

我认为您正在寻找以下内容。

public abstract class Report<T extends Report<T>> implements Iterable<ReportItem<T>>{

    private List<ReportItem<T>> itemList;

    public void add(ReportItem<T> item){
        itemList.add(item);
    }

    //Some other stuff

}

public class ConcreteReport extends Report<ConcreteReport> { 
    //Some stuff
}

它的工作方式是：

• 您想使用从Report 扩展的内容对ReportItem<T> 进行参数化
• 您要确保ReportItem<T> 的列表都属于Report 的同一类型

为了将ReportItem<T> 的T 参数绑定到从Report 扩展的东西，您需要参数化Report 本身：

public abstract class Report<T> implements Iterable<ReportItem<T>>

您添加它需要从 Report 扩展的绑定

public abstract class Report<T extends Report> implements Iterable<ReportItem<T>>

但是你为报告的原始类型指定了界限，这不起作用，所以你需要提供Report报告接收的类型参数，即@987654333 @。

public abstract class Report<T extends Report<T>> implements Iterable<ReportItem<T>>

这样您可以使用您扩展的具体类型参数化List<ReportItem<T>>：

public class ConcreteReport extends Report<ConcreteReport> { 

这样列表将是

public List<ReportItem<ConcreteReport>> itemlist;

这是你想要的。

而且它有效！ :) 我只是希望我的解释是有道理的。