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

キャスティングはBに変換Aを意味するものではありません。ビューを縮小することだけがを意味します。

したがって、Aがある場合、このAは、たとえばBであるため、このようになります。次に、にキャストして、これをAに縮小することができます。たとえば、ListはCollectionから拡張されており、Collectionにキャストできます。しかし、StringはCollectionから拡張されません。キャストすることはできません。

ArrayListをCにキャストしようとしましたが、C extends MyTufinCollection<T>です。 ArrayListはこれから拡張されていません。 ArrayListをHashSetにキャストしようとするのと同じですが、どちらもCollectionですが、それは明らかな理由から機能しません。

たとえば、MyTufinCollectionは、ArrayListにはないものがあります。どのようにJavaが自動的に処理するかを決定する必要があります。それはできません、鋳造は動作しません。あなたはを明示的に変換方法を与える必要があります。

用語はis-aの原則です。あなたはJLS§5.5.1でのキャスト詳細を読むことができます：

S（ソース）がクラス型の場合：T（ターゲット）|S| <: |T|、または|T| <: |S|のいずれか、その後、クラス型である場合

。
の場合、コンパイル時エラーが発生します。 XとY両方が証明可能異なるパラメータ化された型（§4.5）であるように、及び消去XのとYであることがさらに

、TのスーパーX、及びSのスーパーYが存在する場合、 と同じ、コンパイル時エラーが発生します。