通配符与TypeParameter

Question

class Employee<T extends Number> {  // valid
}

class Employee<? extends Number> { // invalid
}

private static void test(List<? super Number> list1) { // valid
}

private static <T>void test(List<T super Number> list1) { // invalid
}

和t之间到底有什么区别，什么时候使用什么？

为什么对于类定义，？不起作用，但它可以用于列表；为什么t可以用于类定义，但不能用于列表？




Answer 1

在引入泛型类型标记t之前，不能使用它。

在方法示例中，您试图在错误的地方声明t，这是无效语法。你得事先介绍一下。

然而，对于类示例，您已经将其放在了正确的位置。

public class Foo< HERE > { ... }

public < HERE > void foo(...) { ... }

public class Foo<T extends Number> { ... }

// or

public <T extends Number> void foo(...) { ... }

public <T extends Number> void foo(List<T> list) { ... }

请注意，T super number是无效的，因为它没有什么意义，除了T或number或Object之外，不能提供更多信息，这取决于您试图实现的目标。您可以在Java泛型方法：super不能使用？

通配符是另一回事。它们不是必须首先引入的泛型类型标记，例如t。相反，它们澄清了您想要接受的类型范围。

例如，类似于

public static void foo(List<? super Dog> list) { ... }

public static void foo(List<? extends Dog> list) { ... }

可以用列表 或列表 调用。我们称这样的列表为dog的生产者（或提供者）。准确地说，这些都是可以提供狗的名单。所以dog dog=list.get(0)可以工作。

您可以阅读更多关于通配符是什么以及它们如何在PECS（Producer Extends Consumer Super）中工作的细节？

通常，当您实际上仍然需要在整个代码中维护类型安全时，您将使用泛型类型标记t。即。当您需要能够为类型命名时。否则使用通配符？。

public static <T> void addToList(List<T> list, T element) {
    list.add(element);
}

public static void printAll(List<?> list) {
    for (Object object : list) {
        System.out.println(object);
    }
}