爲什麼實現接口的類不是與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>到List<Transaction>困難。

嘗試List<? extends Transaction>代替

Answer 3

因爲它可能無法滿足Liskov substitution principle。