我什么时候应该在 Java 泛型中使用 `` 和 `` ？

泛型和 的使用与

在 Java 中，泛型允许在更广泛的类型上进行类型安全操作。然而，当在和之间进行选择时，就会出现问题。 在某些情况下，例如下面介绍的情况：

Map<String, Class<? extends Serializable>> expected = null;
Map<String, Class<java.util.Date>> result = null;
assertThat(result, is(expected)); 

由于传递给assertThat方法的参数类型不正确，该方法需要一个Matcher，因此该代码无法编译。延伸T>而不是 Matcher。为了理解为什么会发生这种情况，我们需要深入研究泛型类型中协变的概念。

协变表明子类型可以安全地分配给超类型。换句话说，一个 Class对象可以分配给一个 Class目的。然而，反之则不然： Class对象不能分配给 Class object.

这是因为协变仅适用于类型参数本身，而不适用于它包含的类型参数。在我们的示例中，java.util.Date 是 Serialized 的子类型，但 Class不一定是 Class 的子类型extends Date>.

将assertThat方法的签名更改为Matcher通过允许匹配器与实际类型的任何子类型相匹配来解决此问题。这为代码片段中的情况提供了必要的灵活性。

但是，需要注意的是，使用 存在潜在的缺点。在此背景下。例如，在某些情况下，它可能会导致意外行为或降低类型安全性。因此，应该明智地使用它并仔细考虑。

关于assertThat方法的通用性，它允许进行类型检查以确保所使用的匹配器与结果类型兼容。虽然这并不能完全消除运行时错误的可能性，但它通过防止不兼容的匹配增加了安全级别。

以上是我什么时候应该在 Java 泛型中使用 `` 和 `` ？的详细内容。更多信息请关注PHP中文网其他相关文章！