Java泛型中的通用限定符？

我理解Java中的

。

之间的主要区别

之间的主要区别
与谓词逻辑无关，与类型层次结构有关。我能理解为什么你可能会大声朗读
它实际上与谓词逻辑无关，它与类型层次结构有关。我能理解为什么你可以大声读出通配符类型（扩展T
和超级T
）构成存在类型的子集。这两种类型都可以理解为“存在某种类型（扩展|是的超类型）
T
”。关键是你不知道确切的类型

通用类型只是类型参数。例如，这里：

class List<T> { ... }

类列表{…}

T
是任意的，就像它有一个隐式的通用限定符一样。
通配符类型（扩展T

和

超级T

）构成存在类型的子集。这两种类型都可以理解为“存在某种类型（扩展|是的超类型）

T

”。关键是你不知道确切的类型

通用类型只是类型参数。例如，这里：

class List<T> { ... }

类列表{…}

---

T

是任意的，就像它有一个隐含的通用限定符一样。

我想我在这里遗漏了一些东西——但是我怎么看不到“存在”之间的关系呢(∃), “为了所有人……”(∀) 还有这些关键词。这很清楚地解释了它们的意思：一个允许在类层次结构中向下，另一个允许向上。这是疯狂的谈话，快拿着这个氰化物！这有点道理，我选择说

extends

就像地板，

super

就像天花板，但不是真的。如果你想了解相关内容奥德斯基解释道，我想我在这里遗漏了一些东西——但我怎么看不到“存在”之间的关系呢(∃), “为了所有人……”(∀) 还有这些关键词。这很清楚地解释了它们的意思：一个允许在类层次结构中向下，另一个允许向上。这是疯狂的谈话，快拿着这个氰化物！这有点道理，我选择说

extends

就像地板，

super

就像天花板，但不是真的。如果你想了解相关内容奥德斯基解释道，这与Scala的存在类型有关。