两者之间的区别？Java中的（通配符）和类型参数

Question

有人能解释一下这两种方法的区别吗？它们是一样的吗？在我看来，它们解决的问题是一样的。如果它们相同，为什么需要<代码> ？

方法#1，无界

public static void printList(List<?> list) {
    for (Object elem : list)
        System.out.println(elem + " ");
    System.out.println();
}

方法#2，无界：

public static <T> void printList(List<T> list) {
    for (Object elem : list)
        System.out.println(elem + " ");
    System.out.println();
}

方法#1，有界

public static void printList(List<? extends Number> list) {
    for (Object elem : list)
        System.out.println(elem + " ");
    System.out.println();
}

方法#2，有界：

public static <T extends Number> void printList(List<T> list) {
    for (Object elem : list)
        System.out.println(elem + " ");
    System.out.println();
}

Answer 1

如上所述，？声明泛型代码不需要对类型的任何引用。正如Java中指出的，这可能是一个属性独立于任何类型（如集合长度）的类。

另一个原因是什么 是指当泛型代码只需要类对象提供的行为时，它提供了较少歧义的语法。如上所述，参数类型<代码>

所以如果

所以，

Answer 2

在你的例子中，完全没有区别。每个都会产生相同的输出。

泛型的最佳使用和解释要求您了解类型参数的语义以及参数的角色。原因是，在上面的第一个示例（无界通配符）中，语义是“未知类型的对象列表”和“将产生（不消耗）列表的参数”

上述方法仅生成每个列表

注意，如果<代码> 具有相同的语义（“未知类型的对象列表”），但用途不同（“列表将使用未知类型的对象”），事情会发生非常、非常彻底的变化，因此使用通配符参数（至少在没有辅助方法来捕捉对象类型的情况下）可能是不明智的（或非常困难的）。

通常不可能为所有情况断言一种通用参数形式。使用的最佳形式（通配符与具体；有界与无界；扩展与超级）取决于类型参数的语义以及参数在方法中的作用。

Answer 3

它们的相同之处在于它们接受相同的参数类型。

但是，用T（或任何东西）标识类型可以让您在其他地方引用该类型。

编辑：示例：

您的无界示例没有充分利用参数化类型的功能。您有：

public static <T> void printList(List<T> list) {
    for (Object elem : list)
        System.out.println(elem + " ");
    System.out.println();
}

对于打印字符串表示的示例来说，这已经足够了，但请考虑一下（非常人为的，没有错误处理）：

public static <T> T getSecondItem (List<T> list) {
    T item = list.get(1);
    return item;
}

返回类型是T，它允许您通过编译时类型检查安全地执行以下操作：

class MyClass {
    public void myMethod () { }
}

void somewhere () {
    List<MyClass> items = ...;
    getSecondItem(items).myMethod();
}

命名类型还允许您在多个位置共享同一类型约束，例如：

public <T> int compareLists (List<T> a, List<T> b) {
    ...
}

如果您没有命名类型，则无法指定a和b是相同列表类型的约束（您可以使用List

您还问“为什么我需要？？”。真正的答案是：你没有。我想这主要是为了美学。Java力求成为一种精确且无杂乱的语言。在很多情况下，你根本不在乎你指的是哪种类型。在这种情况下，您可以使用 没有杂乱的代码和未使用的类型参数html" target="_blank">声明。