将ArrayList强制转换为通用抽象集合

Question

如何将ArrayList强制转换为通用集合？ 我在“ SearchListener”中用“ <-----------这不起作用！！！”突出显示了问题。

我正在阅读有关Class.cast（o）的信息，但我不了解如何在此处应用它。

public abstract class MyTufinCollection<T> extends AbstractCollection<T> implements ListModel<String>{

}

public class SearchListener<T,C extends MyTufinCollection<T>> implements DocumentListener{

private JList jlist;
private C staticCollectionOfTypeT;
private List<Predicate<T>> predicateList = new ArrayList<>();
 //get the String fields, and build Predicate from them.. add to predicateList.



public SearchListener(JList jlist, List<Predicate<T>> predicateList, C collection) {        
    this.jlist = jlist;
    this.staticCollectionOfTypeT=collection;
    this.predicateList=predicateList;
}

@Override
public void insertUpdate(DocumentEvent de) {
    filter();
}

@Override
public void removeUpdate(DocumentEvent de) {
    filter();
}

@Override
public void changedUpdate(DocumentEvent de) {
    filter();
}

private void filter() {
    jlist.setModel((ListModel)staticCollectionOfTypeT);
    C items = (C) jlist.getModel();

    Stream<T> itemStream = items.stream().filter(x ->{
        Stream<Predicate<T>> predicateStream= predicateList.stream();
        return predicateStream.map(predicate -> predicate.test(x)).reduce((a,b)->a && b).get();
    });
    ArrayList<T> collect = itemStream.collect(Collectors.toCollection(ArrayList::new));
    C name = (C)collect; // <-----------This Doesn't work!!!!
    jlist.setModel((ListModel)name);
}

}

Answer 1

强制转换并不意味着将A转换为B。 这仅意味着缩小视图 。

因此，如果您有一个A并且该A也是一个B ，例如，因为它是从A扩展过来的。 然后，可以通过将视图强制转换为B来缩小视图A 例如， List从Collection扩展而来，因此您可以将其强制转换为Collection 。 但是String不能从Collection扩展，您不能转换它。

在您的情况下，您尝试将ArrayList C extends MyTufinCollection<T>转换为C ，但是C extends MyTufinCollection<T> 。 ArrayList不从此扩展。 就像试图将ArrayList转换为HashSet ，它们都是Collection但是由于明显的原因而无法正常工作。

例如MyTufinCollection有一些ArrayList没有的东西，Java应该如何自动确定要做什么。 不能，强制转换将不起作用。 您将需要明确给出一种转换方法。

该术语是is-a原理。 您可以在JLS§5.5.1中阅读有关铸造的更多信息：

如果S （源）是类类型：

如果T （目标）是类类型，则|S| <: |T| |S| <: |T| ，或|T| <: |S| |T| <: |S| 。
否则 ，将发生编译时错误 。

此外，如果存在T的超类型X和S的超类型Y ，从而X和Y都是可证明是不同的参数化类型（第4.5节 ），并且X和Y的擦除 相同 ，则编译时发生错误 。