为什么实现接口的类不算与Java中的接口类型相同？

Question

I have

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

Where load is defined as:

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

and

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

where

ARTransaction implements Transaction

Why is there a problem on the type of transactions ?

Answer 1

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

Or just declare transactions as a List<Transaction> .

Here's the common example of why you obviously can't do this:

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

It is having difficulties casting the contravariant type that is from ArrayList<ARTransaction> to List<Transaction> .

Try List<? extends Transaction> List<? extends Transaction> instead

Answer 3

因为它可能不满足Liskov替代原则 。