为什么在Java 8中编译该通用代码？

Question

我偶然发现了一段代码，我想知道为什么它可以成功编译：

public class Main {
    public static void main(String[] args) {
        String s =  newList(); // why does this line compile?
        System.out.println(s);
    }

    private static <T extends List<Integer>> T newList() {
        return (T) new ArrayList<Integer>();
    }
}

有趣的是，如果我newList用<T extends ArrayList<Integer>>它修改方法的签名不再起作用。

注释和响应后更新： 如果将泛型从方法移至类，则代码不再编译：

public class SomeClass<T extends List<Integer>> {
    public  void main(String[] args) {
        String s = newList(); // this doesn't compile anymore
        System.out.println(s);
    }

    private T newList() {
        return (T) new ArrayList<Integer>();
    }
}

Answer 1

如果在方法中声明类型参数，则允许调用者为其选择一个实际类型，只要该实际类型将满足约束条件即可。该类型不必是实际的具体类型，它可以是抽象类型，类型变量或交集类型，换句话说，是假设类型。因此，正如Mureinik所说，可能存在扩展String和实现的类型List。我们不能为调用手动指定交集类型，但是我们可以使用类型变量来说明逻辑：

public class Main {
    public static <X extends String&List<Integer>> void main(String[] args) {
        String s = Main.<X>newList();
        System.out.println(s);
    }

    private static <T extends List<Integer>> T newList() {
        return (T) new ArrayList<Integer>();
    }
}

当然，newList()不能满足返回这种类型的期望，但这就是该方法的定义（或实现）问题。投射ArrayList到时，您应该得到“未经检查”的警告T。唯一可能的正确实现将在null此处返回，这使该方法变得毫无用处。

重复初始语句，关键是泛型方法的 调用者 选择类型参数的实际类型。相反，当你声明泛型 类 像

public class SomeClass<T extends List<Integer>> {
    public  void main(String[] args) {
        String s = newList(); // this doesn't compile anymore
        System.out.println(s);
    }

    private T newList() {
        return (T) new ArrayList<Integer>();
    }
}

type参数是类合同的一部分，因此创建实例的任何人都会选择该实例的实际类型。实例方法main是该类的一部分，必须遵守该合同。您不能选择T想要的东西；T已经设置了实际的类型，并且在Java中，您通常甚至无法找出是什么T。

通用编程的关键点是编写独立于为类型参数选择的实际类型而工作的代码。

但是请注意，您可以使用任意类型创建 另一个 独立的实例，然后调用该方法，例如

public class SomeClass<T extends List<Integer>> {
    public <X extends String&List<Integer>> void main(String[] args) {
        String s = new SomeClass<X>().newList();
        System.out.println(s);
    }

    private T newList() {
        return (T) new ArrayList<Integer>();
    }
}

在这里，新实例的创建者将选择该实例的实际类型。如前所述，实际类型不必是具体类型。