这里如何推断泛型？

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>();
}

我在谷歌番石榴中看到了类似的代码（作为工厂方法）来制作Hashmap的实例而未提及泛型类型。我不明白上述程序是如何推断泛型的;我的意思是getHashMap函数如何理解类型地图，因为我没有将任何类型信息传递给该函数。

Answer 1

该getHashMap函数不必推断类型。在调用站点，Java语言规范需要javac来推断类型是否一致（15.12.2.7根据实际参数推断类型参数）。

我相信当前的计划是（仍然）让JDK7支持Diamond运算符，因此new，尽管有些语法似乎毫无意义，但这种事情也可以使用。

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