Java 8 不兼容类型

这是简单的代码

import java.util.ArrayList;
import java.util.Collections;
import java.util.HashMap;
import java.util.Map;

public class SimpleTest {

    public static void main(String[] args) {
    final ArrayList<Map<String, Object>> maps = newArrayList(
        createMap("1", "a", Collections.EMPTY_MAP, Collections.EMPTY_MAP),
        createMap("2", "b", Collections.EMPTY_MAP, Collections.EMPTY_MAP),
        createMap("3", "c", Collections.EMPTY_MAP, Collections.EMPTY_MAP)
    ); 

    System.out.println(" maps = " + maps);
    }

    public static Map<String, Object> createMap(String value1, String value2, Map<String, Object> object1, Map<String, Object> object2) {
       Map<String, Object> map = new HashMap<>();
       map.put("value1", value1);
       map.put("value1", value1);
       map.put("object1", object1);
       map.put("object2", object2);
       return map;
    }    

    public static <E> ArrayList<E> newArrayList(E... elements) {
    ArrayList<E> list = new ArrayList<E>(elements.length);
    Collections.addAll(list, elements);
    return list;
    }
}

当 JAVA_HOME 指向 JDK 8 并且我使用javac -source 1.7 SimpleTest.java I get

SimpleTest.java:9: error: incompatible types: ArrayList<Map> cannot be converted to ArrayList<Map<String,Object>>
        final ArrayList<Map<String, Object>> maps = newArrayList(
                                                                ^

当我使用-source 1.8 or no -source选项一切正常。现在，当 JAVA_HOME 指向 JDK 7 时，无论我使用什么，代码总是会编译-source 1.7或不。

最初这个问题是关于一个软件，其中 POM 文件有一个<source> and <target> set to 1.7在 JDK 8 上构建失败，但在 JDK 7 上构建正常。

现在的问题是——是什么原因导致它发生？在我看来，这似乎是某种重大的忽视。为什么在 JDK 8 上编译source set to 1.7失败？

您可以将代码简化为不需要第三方库的独立示例：

public class Test2 {
    @SafeVarargs
    static <T> ArrayList<T> newArrayList(T... arg) {
        return new ArrayList<T>(Arrays.asList(arg));
    }
    private final List<Map<String, Object>> maps = newArrayList(
        createMap(null, Collections.EMPTY_MAP)
     );

    public static Map<String, Object> createMap(String id, Map<String,String> m) {
        return null;
    }
}

这可以使用编译javac从jdk1.7开始，但不带javac从jdk1.8开始使用-source 1.7.

这里的重点是javac从jdk1.8开始仍然是一个与之前版本和选项中包含的编译器不同的编译器-source 1.7并没有告诉它模仿旧实现的行为，而是与 Java 7 兼容规格。如果旧的编译器有错误，新的编译器不必尝试重现该错误。

由于代码使用Collections.EMPTY_MAP而不是Collections.<String,String>emptyMap()，原始类型Map将被传递到createMap，使其成为具有原始结果类型的未经检查的调用Map.

这是由JLS §15.12.2.6 https://docs.oracle.com/javase/specs/jls/se7/html/jls-15.html#jls-15.12.2.6:

所选方法的结果类型确定如下：

• 如果所选方法的返回类型声明为 void，则结果为 void。

• 否则，如果方法需要未经检查的转换才能适用，则结果类型是方法声明的返回类型的擦除（第 4.6 节）。

…

似乎这种行为尚未（完全）实施javacjdk1.7的。有趣的是，当添加像这样的类型参数时，它会正确执行

public static <T> Map<String, Object> createMap(String id, Map<String,String> m)

使其成为通用方法。那么，jdk1.7就会产生同样的错误。但所引用的规则适用于all方法调用。

相比之下，使用 Java 8 合规性编译它的成功源于新的目标类型推断，它具有完全不同的规则。