将泛型与通配符一起使用不允许使用以泛型作为参数的方法

Question

如果我将泛型类声明为类似于

public class Driver<V extends Car>

Car 是接口的类。

然后，我将它与这样的东西一起使用：

Driver<?> driver = new Driver<Chevrolet>();

我不想将 car 的特定实现指定为通用。

为什么我无法调用驱动程序中以泛型类作为参数实现的方法？

例如，如果 Driver 有一个类似

public void drive(V vehicle)

It 的方法，则不允许我使用我的驱动程序实例调用该方法 (Driver)。

Answer 1

因为编译器不知道driver.drive(?vehicle)将接受什么类型的参数。应该选择雪佛兰、本田还是其他类型的车？

有关更多详细信息，您可能会发现Gilad Bracha 的泛型教程很有帮助。

你的drive()方法的目的是什么？ vehicle 参数是否需要输入 Car 的特定子类型？简单地接受汽车会更合适吗？

---

以下是我原来答案的一部分，但评论中的讨论证明这是不正确的。我把它留在这里，这样评论就不会被孤立。

尝试像这样声明你的方法：

public <T extends V> void drive(T vehicle)

看看它是否更适合你。

Answer 2

这个问题很模糊，但我相信 Angelika Langer 的 Java 泛型常见问题解答的摘录可以回答这个问题：

哪些方法和字段可以通过通配符参数化类型的引用变量访问/不可访问？

这取决于通配符的类型。

通过通配符参数化类型的引用变量使用对象受到限制。考虑下面的类：

示例（泛型类）：

class Box; {
  私人 T t；
  公共框（T t）{ this.t = t; }
  public void put(T t) { this.t = t;}
  公共 T take() { 返回 t; }
  公共布尔 equalTo(Box other) {
     返回 this.t.equals(other.t);
  }
  公共信箱复制（） {
     返回新框(t)；
  }
} 

当我们使用 Box 类型的通配符实例化的引用变量时
编译器将访问引用对象的方法和字段
拒绝某些调用。

示例（通过通配符参数化类型进行访问）：

类测试{
  公共静态无效主（字符串[] args）{
    盒子 box = new Box("abc");

    盒子.put("xyz"); // 错误
    盒子.put(null); // 好的

    String s = box.take(); // 错误
    对象 o = box.take(); // 好的

    布尔等于 = box.equalTo(box); // 错误
    equal = box.equalTo(new Box("abc")); // 错误

    盒子 box1 = box.copy(); // 好的
    框<字符串> box2 = box.copy(); // 错误
  }
}

本质上 ? 对于泛型类型系统的信息较少，因此为了强制执行类型安全，必须拒绝某些调用，因为它们不是类型安全的。

Box 可以是 Box、Box，甚至是 Box>。因此给出一个 Box; box、box.put("xyz") 必须被拒绝。

参考文献

• Angelika Langer 的 Java 泛型常见问题解答
  • 哪些方法和字段可以通过通配符的引用变量访问/不可访问参数化类型？

相关问题

• 如何我添加到 List 数据结构？