ObjectMapper 可以生成无效类型列表（java8）

Question

这与其说是代码出了什么问题，不如说是java为什么允许这段代码工作？

使用 com.fasterxml.jackson.databind.ObjectMapper 可以创建一个列表，其中填充的数据类型对于声明的列表应该是无效的。

我告诉它将List<Potato> 转换为List<Potato> 并将结果存储在List<Tractor> 中

public class ObjectMapperExample {
    public static void main(String[] args){
        List<Potato> potatoList = new ArrayList<>();
        //add a potato to the potatoList

        List<Tractor> tractorList = new ObjectMapper()
                .convertValue(potatoList, new TypeReference<List<Potato>>() {});
        //add another tractor to the tractorList

        System.out.println(tractorList.getClass());
        System.out.println(tractorList.toString());
        System.out.println(tractorList.get(1).getClass());
        System.out.println(tractorList.get(0).getClass());
    }
}

土豆类

public class Potato {
   // properties and getters/setters
}

拖拉机.class

public class Tractor {
   // properties and getters/setters
}

此代码实际上会编译并运行，直到您尝试直接与tractorList 中的Potato 对象交互。结果输出...

类 java.util.ArrayList

[土豆@20e2cbe0，拖拉机@68be2bc2]

类拖拉机

线程“main”java.lang.ClassCastException 中的异常：无法在 ObjectMapperExample.main(ObjectMapperExample.java:27) 处将土豆转换为 Tractor

所以问题是，为什么 java 仍然运行它？具有Potato 对象的List<Tractor> 不应该作为第一个元素在某处引发异常吗？直接访问元素时会抛出异常，这是有道理的，但是它是如何设法创建一个具有不兼容对象类型的 List 开始的呢？

这是我实际运行的屏幕截图...

Answer 1

因为ObjectMapper::convertValue 在泛型声明中是虚假的：

public <T> T convertValue(Object fromValue, TypeReference<?> toValueTypeRef) 
  throws IllegalArgumentException
public <T> T convertValue(Object fromValue, JavaType toValueType)
  throws IllegalArgumentException

T和TypeReference<?>之间没有关系：编译器通过上下文推断T的真实类型，因为上下文是：

List<Tractor> tractorList = new ObjectMapper().convertValue(potatoList, new TypeReference<List<Potato>>() {});

它试图推断T的类型：List<Tractor>匹配和TypeReference<List<Potato>>匹配TypeReference<?>：TypeReference可能与输出类型完全无关，这就是它能够创建@列表的原因987654333@。并且由于类型擦除启动，这在虚拟机中是可能的。

似乎同样适用于使用JavaType的方法。

另一个使用Class<T> 的方法不适用于您的情况，因为您不能使用List<Tractor>.class。

[edit] 如果您希望重现相同类型的问题，那么您可以这样做：

List<Potato> potatoes = asList(new Potato());
List<Tractor> tractors = badStuff(potatoes);

private static <T> T badStuff(Object value) {
  return (T) value; // should raise a warning due to the cast
}

T 是从上下文中推断出来的，在该上下文中，这将是 List<Tractor>。一些编译器可能会对此感到窒息（Javac 可能会接受这一点，而 Eclipse 编译器不会接受，反之亦然）并需要精确类型：

List<Tractor> tractors = MyType.<List<Tractor>>badStuff(potatoes);

如果您想更深入地了解，这可能会有所帮助：type inference。