错误的论点：为什么 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 中的类型擦除和原始类型。列表使用泛型，因此当您尝试使用定义原始类型创建列表时，它会使用ObjectList list;// means that list holds ObjectsList<String> listOfStrings;// means that list holds Strings现在的情况是List<List>列表是一个interface没有合适的转换的对象，因为Object在评估此语句时，JVM 会注意到您尝试使用既不是对象也不是“它的子对象”的项目List<List<? extends java.lanq.Object>> // (Object or children of it)