Java 泛型类型绑定(bind)。为什么这不编译？

Question

给定这个通用函数:

<T> List<T> function() { return null; }

为什么会这样编译

List<String> l = function();

虽然这不是？

List<String> l = (List<String>) function();

Answer 1

因为当你像这样进行转换时:

(List<String>) function()

编译器无法为 function() 调用推断类型参数，并回退到将 T 绑定(bind)到 Object。

虽然在

List<String> l = function();

它可以为 T 推断出正确的类型。

请注意，如果您通过显式提供类型来规避类型推断的工作，您可以强制转换:

import java.util.List;

class Test {
    public static <T> List<T> function() { return null; }

    public static void main(String[] args) {
        List<String> l = (List<String>) Test.<String>function();
        //                              ^^^^^^^^^^^^^
    }
}

---

我不知道泛型参数的确切类型推断规则。然而，它们在 JLS Section 15.12.2.7 中指定。 .