為什么實現接口的類不算與Java中的接口類型相同？

Question

我有

out.load(output, transactions, columnHeaders, dataFormat);

其中load定義為：

public boolean load(String outputfile, List<Transaction> transactions, List<String> columnHeaders, String dataFormat);

和

String output = "";
String dataFormat = "";
ArrayList<ARTransaction> transactions = new ArrayList<ARTransaction>();
List<String> columnHeaders = null;

哪里

ARTransaction implements Transaction

為什么transactions類型有問題？

Answer 1

public boolean load(String outputfile, List<? extends Transaction> transactions, List<String> columnHeaders, String dataFormat);

或者只是將事務聲明為List<Transaction> 。

以下是為什么你顯然不能這樣做的常見例子：

List<String> list = new ArrayList<String>();
List<Object> objList = list; //if this were possible
objList.add(Integer.valueOf(5));
String val = list.get(0);  //ClassCastException here
System.out.println(val);

Answer 2

將ArrayList<ARTransaction>的逆變類型ArrayList<ARTransaction>為List<Transaction>遇到困難。

試用List<? extends Transaction> List<? extends Transaction>

Answer 3

因為它可能不滿足Liskov替代原則 。