泛型方法调用

Question

我一直在尝试泛型，很快我就遇到了一些我无法解释的事情
例如：

import java.util.*;
public class Main {
    public static void main(String[] args) {
        //We cannot create List<?> l = new ArrayList<?>();
        List<?> l = MagicClass.factory();
    }
    static class MagicClass {
        public static <T> List<T> factory() {
            return new ArrayList<T>();
        }
    }
}

我不明白

<?>

没有定义。




Answer 1

我们无法创建列表l=new ArrayList（）；

如果你真的想做，你可以做

List<?> l = new ArrayList<Object>();

或者

List<?> l = new ArrayList<String>();

或者

List<?> l = new ArrayList<Math>();

或者

List<?> l = new ArrayList<SomeBogusIrrelevantClass>();

所有这些都是正确的。只要选择满足边界的任何类型；它甚至不需要与你正在做的事情相关。

从这里，你可以看出为什么你试图做的事情是荒谬的——你有一个列表可以是ArrayList

您不能向其添加任何内容（除了null）。所以你有一个列表，其中元素只能有值null；唯一可以改变的是有多少个nulls。但在这种情况下，您最好使用一个整数。

Answer 2

示例：以下代码无法编译：

    ArrayList<?> foo = new ArrayList<String>();
    foo.add("bar");

这是因为Java不知道foo中的t是什么。foo可能是ArrayList

例如，如果你想制作一个可以接受各种列表的方法，就可以使用它

永远不能用通配符构造实例

以下代码无法编译：

ArrayList<?> foo = new ArrayList<?>();

这是因为在施工时，Java必须知道你会选择哪种类型。

但在许多情况下，它被用作有界通配符。举个典型的例子：

public void drawAll(List<? extends Shape> shapes) {
    //...
}

这个方法给出了一个Shape的列表

Answer 3

使用通配符实例化泛型类型会生成编译错误，因为通配符表示任何类型，而实例化的ArrayList应该有一个具体的类型。通配符可以用于变量或参数类型，但不能用于创建泛型类型的实例。

本教程页面也提到了这一点：

在泛型代码中，问号（？），称为通配符，表示未知类型。通配符可以在多种情况下使用：作为参数、字段或局部变量的类型；有时作为返回类型（尽管编程实践中最好更具体）。通配符永远不会用作泛型方法调用、泛型类实例创建或超类型的类型参数。

另一方面，在工厂方法中，T是编译器将推断的类型参数，并且由于List