安全でない型キャスト警告を与えるコレクションを返す汎用メソッド

Question

Typeのクラスを返すメソッドを定義すると、Baseを拡張するすべての型でメソッドをオーバーライドできないはずですか？

MultiEntryModel.java（親クラス）

protected abstract <T extends Model> List<T> getDataList(); 

ProgramData.java

public class ProgramData extends MultiEntryModel { 
    ... 
     @Override 
     protected List<Program> getDataList() { 
      return programs; 
     } 
} 

Program.java

public class Program extends Model { 
    ... 
} 

私は危険なタイプを取得しています：以下の例を見てみましょうPrograms.javaで警告をキャストしますが、Modを拡張するProgram型のオブジェクトを含むListを返していますこれは、基底クラス<T extends Model>のメソッドシグネチャで示されているとおりです。どうして？

Answer 1

protected abstract <T extends Model> List<T> getDataList(); 

これは、リストがどのTのために安全でなければならどの返されることを意味します。たとえば：あなたは戻っているリストがList<Program>ある場合

List<SomeModel> someModelList = thing.getDataList(); 

、これは安全ではないとしている - あなたがそのリストにSomeModelを追加することができますので、および/または、あなたはからSomeModelを取得しようとすることができますリスト。 Programがサブタイプ/スーパータイプProgramである場合、これらの操作の1つのみが安全です。そうでなければ、どちらも安全ではありません。

は、メソッドに型変数を定義しないでください - クラスにそれを置く：

abstract class TheClass<T extends Model> { 
    protected abstract List<T> getDataList(); 
} 

class ProgramClass extends TheClass<Program> { 
    protected List<Program> getDataList() { return programs; } 
}