java - Java 类型推断是如何工作的？

Question

有人可以解释一下下面的语法是如何工作的吗？

public static <K, V> HashMap<K, V> getMap(){
    return new HashMap<K, V>();
}

例如，如果这个方法是在我自己的一个不可实例化的 util 类中实现的，那么它可以用作静态工厂方法来创建 map 实例，对吧？

Map<Integer, String> myMap = MyUtil.getMap();

然后会返回一个新的 HashMap，其条目包含 Integer 键和 String 值，对吗？如果是，编译器和VM是如何实现map的key和entry的类型的？

如果有人能解释 Java 是如何做到这一点的，我将不胜感激。

Answer 1

您问“Java 如何做到这一点”。 Java 是在语言规范中定义的，该规范不规定规范的实现方式。因此，选择解决方案实际上取决于实现。因此，如果您真的想知道特定的编译器或解释器如何实现类型推断，我怀疑熟悉该工具的人需要解决这个问题。

如果您的问题真的是“规则是什么”，那么您会发现 specification itself 中对它们进行了很好的解释。 ，并在 Java API documentation ，并在 standard Java tutorial (降低正式程度)。

这是一个相当复杂的领域，需要处理许多棘手的案例 - 事实上，它涉及三个过程才能正确理解(还原、合并和解析)。但是如果你正在寻找一个简单的总结，我会把它表述为“在实例化一个类或方法时，用尽可能具体的类型替换每个泛型”。在您的情况下，将 K 替换为 Integer 并将 V 替换为 String 是最具体的推理。