java - 这里如何推断通用类型？

Question

public static void main(String[] args) {
    Map<String, Map<Long, List<String>>> map = getHashMap();
}

static <K,V> Map<K,V> getHashMap()
{
    return new HashMap<K, V>();
}

我在 google guava 中看到了类似的代码(作为工厂方法)用于创建 Hashmap 的实例而没有提及泛型类型。我不明白上面的程序是如何推断出泛型的。我的意思是函数 getHashMap 怎么能了解 map 的类型，因为我没有将任何类型信息传递给函数。

Answer 1

getHashMap 函数不必推断类型。在调用站点，Java 语言规范要求 javac 推断类型一致 ( 15.12.2.7 Inferring Type Arguments Based on Actual Arguments )。

我相信目前的计划是(仍然)让 JDK7 支持菱形运算符，所以这种事情也适用于 new，尽管有一些明显毫无意义的语法。

Map<String, Map<Long, List<String>>> map = new HashMap<>();
                                                      ^^diamond