错误的论点：为什么 List<List<>> 不等于 List<Object>？

Question

以下代码给我一个编译错误：public static Function<int[], Stream<Tuple2<Formatter, List<Object>>>> acquisitionColors = (col) -> Seq.of(            Tuple.tuple(Formatter.COLOR,                    Seq.of(                            Seq.of(col).toList(),                            Seq.of(                                    Seq.of("Stop", "Stoq", null, "red").toList(),                                    Seq.of("Learning", "Learninh", null, "gray").toList(),                                    Seq.of("Stop", "Stoq", null, "red").toList(),                                    Seq.of("Reduce", "Reducf", null, "orange").toList(),                                    Seq.of("Keep", "Keeq", null, "green").toList(),                                    Seq.of("Increase", "Increasf", null, "blue").toList()                            ).toList()                    ).toList()            )    );Wrong 2nd argument type. Found: 'java.util.List<java.util.List<? extends java.lang.Object>>', required: 'java.util.List<java.lang.Object>' Inspection info:  tuple (Formatter,java.uti.List<java.lang.Object>) in Tuple cannot be applied to (Formatter,java.util.List<java.util.List<? extends java.lanq.Object>>)但是，如果我用 a 包装该列表Collections.singletonList，它会起作用：public static Function<int[], Stream<Tuple2<Formatter, List<Object>>>> acquisitionColors = (col) -> Seq.of(            Tuple.tuple(Formatter.COLOR,                    Collections.singletonList(                     ...                    ).toList())            )    );为什么会发生这种情况？

Answer 1

为什么我不能投射 a List<List<Object>>to List<Object>？不是List<Object>也Object吗？

因为Java 泛型不是隐式多态的。。List<Object>意味着它可以Object在给定列表中包含任何内容，甚至是 a Map<?, ?>，但是当您将其转换为 a 时List<List>，包含任何内容不再有意义Object，并且仅限于List

使用时效果如何Collections.singletonList()？

仅仅是因为按照文档Collections.singletonList()返回 a ，所以编译器不会在运行时抱怨它。

Answer 2

答案的两部分： List<Object>是不变的，因此键入的表达式List<List<? extends java.lanq.Object>>不能分配给List<Object> Google 以获取 Java 中的方差，例如： DZone 关于 Java 中方差的文章

public static <T> List<T> singletonList(T o)是一个通用方法。对于泛型方法，应用类型推断。在您的上下文中，T 应该是一个对象，并且List<List<? extends java.lanq.Object>>可以转换为对象。

Answer 3

您应该看看 Java 中的类型擦除和原始类型。

列表使用泛型，因此当您尝试使用定义原始类型创建列表时，它会使用Object

List list;

// means that list holds Objects

List<String> listOfStrings;

// means that list holds Strings

现在的情况是List<List>

列表是一个interface没有合适的转换的对象，因为Object在评估此语句时，JVM 会注意到您尝试使用既不是对象也不是“它的子对象”的项目

List<List<? extends java.lanq.Object>> // (Object or children of it)