有人可以解释一下 < 是什么吗？超级T>意味着什么时候应该使用它，以及这个结构如何与配合使用。和 ?

发布于 2024-08-22 06:11:28 字数 151 浏览 8 评论 0 原文

我使用泛型相当长的时间，但我从未使用过像 List。

这是什么意思？如何使用？擦除后效果如何？

我还想知道：它是通用编程（模板编程？）中的标准，还是只是 java 的“发明”？例如，c# 是否允许类似的构造？

原文

分享到QQ

分享到微博

如果你对这篇内容有疑问，欢迎到本站社区发帖提问参与讨论，获取更多帮助，或者扫码二维码加入 Web 技术交流群。

发布评论

需要登录才能够评论，你可以免费注册一个本站的账号。

想你只要分分秒秒 2024-08-29 06:11:28

当您想要将一个集合中的项目消耗到另一个集合中时，可以使用此构造。例如，您有一个通用的 Stack，并且想要添加一个 popAll 方法，该方法将 Collection 作为参数，并将堆栈中的所有项目弹出到其中。根据常识，这段代码应该是合法的：

Stack<Number> numberStack = new Stack<Number>();
Collection<Object> objects = ... ;
numberStack.popAll(objects);

但只有当您像这样定义 popAll 时它才会编译：

// Wildcard type for parameter that serves as an E consumer
public void popAll(Collection<? super E> dst) {
    while (!isEmpty())
    dst.add(pop());
}

硬币的另一面是 pushAll 应该像这样定义：

// Wildcard type for parameter that serves as an E producer
public void pushAll(Iterable<? extends E> src) {
    for (E e : src)
    push(e);
}

更新： Josh Bloch 传播此助记符来帮助您记住要使用的通配符类型：

PECS 代表生产者扩展、消费者超级。

有关更多详细信息，请参阅Effective Java 第二版，第 28 项。

This construct is used when you want to consume items from a collection into another collection. E.g. you have a generic Stack and you want to add a popAll method which takes a Collection as parameter, and pops all items from the stack into it. By common sense, this code should be legal:

Stack<Number> numberStack = new Stack<Number>();
Collection<Object> objects = ... ;
numberStack.popAll(objects);

but it compiles only if you define popAll like this:

// Wildcard type for parameter that serves as an E consumer
public void popAll(Collection<? super E> dst) {
    while (!isEmpty())
    dst.add(pop());
}

The other side of the coin is that pushAll should be defined like this:

// Wildcard type for parameter that serves as an E producer
public void pushAll(Iterable<? extends E> src) {
    for (E e : src)
    push(e);
}

Update: Josh Bloch propagates this mnemonic to help you remember which wildcard type to use:

PECS stands for producer-extends, consumer-super.

For more details, see Effective Java 2nd Ed., Item 28.

回复收藏 0 原文

享受孤独 2024-08-29 06:11:28

这称为“有界通配符”。官方教程对此进行了很好的解释。

正如教程中所述，您因此知道列表包含 T 的一种子类型的对象，

例如 List 只能容纳 Integer 或只能容纳 Long，但不能同时容纳两者。

回复收藏 0 原文

望笑 2024-08-29 06:11:28

在类型理论中，这些东西被称为方差，其中是一个协变符号，而是逆变符号。最简单的解释是 ? 可以替换为协变表示法中扩展 T 的任何类型，并且 ? 可以替换为任何类型其中 T 在逆变中扩展。

使用协方差和逆变方差比乍一看要困难得多，特别是因为方差根据位置“切换”。

一个简单的例子是函数类。假设您有一个函数，它接受 A 并返回 B。正确的表示法是：A 是逆变的，B 是协变的。为了更好地理解这种情况，让我们考虑一个方法 - 我们称之为 g - 它接收这个假设的 function 类，其中 f 应该接收 Arc2D 并返回 Shape。

在g内部，这个f被调用，传递一个Arc2D，返回值用于初始化一个Area（其中需要一个形状）。

现在，假设您传递的 f 接收任何 Shape 并返回一个 Rectangle2D。由于 Arc2D 也是 Shape，因此 g 在将 Arc2D 传递给 g 时不会出现错误code>f，并且由于 Rectangle2D 也是 Shape，因此可以将其传递给 Area 的构造函数。